A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems
OpenMP* has recently gained attention in the embedded domain by virtue of the augmentations implemented in the last specification. Yet, the language has a minimal impact in the embedded real-time domain mostly due to the lack of reliability and resiliency mechanisms. As a result, functional safety p...
| Autores: | ; ; ; ; |
|---|---|
| Tipo de documento: | Capítulo de livro |
| Data de publicação: | 2017 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositório: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | Inglês |
| OAI Identifier: | oai:upcommons.upc.edu:2117/107846 |
| Acesso em linha: | https://hdl.handle.net/2117/107846 https://dx.doi.org/10.1007/978-3-319-65578-9_16 |
| Nível de acesso: | Acesso aberto |
| Palavra-chave: | High performance computing OpenMP Embedded domain Real-time embedded systems Supercomputadors Àrees temàtiques de la UPC::Enginyeria electrònica |
| _version_ | 1878733537338720256 |
|---|---|
| author | Royuela, Sara |
| author2 | Duran, Alejandro Serrano, Maria A. Quiñones, Eduardo Martorell, Xavier |
| author2_role | author author author author |
| author_browse | Duran, Alejandro Martorell, Xavier Quiñones, Eduardo Royuela, Sara Serrano, Maria A. |
| author_facet | Royuela, Sara Duran, Alejandro Serrano, Maria A. Quiñones, Eduardo Martorell, Xavier |
| author_role | author |
| collection | UPCommons. Portal del coneixement obert de la UPC |
| description | OpenMP* has recently gained attention in the embedded domain by virtue of the augmentations implemented in the last specification. Yet, the language has a minimal impact in the embedded real-time domain mostly due to the lack of reliability and resiliency mechanisms. As a result, functional safety properties cannot be guaranteed. This paper analyses in detail the latest specification to determine whether and how the compliant OpenMP implementations can guarantee functional safety. Given the conclusions drawn from the analysis, the paper describes a set of modifications to the specification, and a set of requirements for compiler and runtime systems to qualify for safety critical environments. Through the proposed solution, OpenMP can be used in critical real-time embedded systems without compromising functional safety. |
| eu_rights_str_mv | openAccess |
| format | bookPart |
| id | ES_5814b22ca85b6320529bafa28f2dc3a0 |
| institution | Universitat Politècnica de Catalunya (UPC) |
| instname_str | Universitat Politècnica de Catalunya (UPC) |
| language | eng |
| network_acronym_str | ES |
| network_name_str | España |
| oai_identifier_str | oai:upcommons.upc.edu:2117/107846 |
| publishDate | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| publisherStr | Springer |
| reponame_str | UPCommons. Portal del coneixement obert de la UPC |
| spelling | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems Royuela, Sara Duran, Alejandro Serrano, Maria A. Quiñones, Eduardo Martorell, Xavier High performance computing OpenMP Embedded domain Real-time embedded systems Supercomputadors Àrees temàtiques de la UPC::Enginyeria electrònica OpenMP* has recently gained attention in the embedded domain by virtue of the augmentations implemented in the last specification. Yet, the language has a minimal impact in the embedded real-time domain mostly due to the lack of reliability and resiliency mechanisms. As a result, functional safety properties cannot be guaranteed. This paper analyses in detail the latest specification to determine whether and how the compliant OpenMP implementations can guarantee functional safety. Given the conclusions drawn from the analysis, the paper describes a set of modifications to the specification, and a set of requirements for compiler and runtime systems to qualify for safety critical environments. Through the proposed solution, OpenMP can be used in critical real-time embedded systems without compromising functional safety. This work was funded by the EU project P-SOCRATES (FP7-ICT-2013- 10) and the Spanish Ministry of Science and Innovation under contract TIN2015- 65316-P. Peer Reviewed Springer https://hdl.handle.net/2117/107846 https://dx.doi.org/10.1007/978-3-319-65578-9_16 |
| spellingShingle | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems Royuela, Sara High performance computing OpenMP Embedded domain Real-time embedded systems Supercomputadors Àrees temàtiques de la UPC::Enginyeria electrònica |
| title | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems |
| title_full | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems |
| title_fullStr | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems |
| title_full_unstemmed | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems |
| title_short | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems |
| title_sort | A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems |
| topic | High performance computing OpenMP Embedded domain Real-time embedded systems Supercomputadors Àrees temàtiques de la UPC::Enginyeria electrònica |
| topic_facet | High performance computing OpenMP Embedded domain Real-time embedded systems Supercomputadors Àrees temàtiques de la UPC::Enginyeria electrònica |
| url | https://hdl.handle.net/2117/107846 https://dx.doi.org/10.1007/978-3-319-65578-9_16 |