Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/107846

A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems
Royuela, Sara; Duran, Alejandro; Serrano, Maria A.; Quiñones, Eduardo; Martorell, Xavier
Barcelona Supercomputing Center
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
-Àrees temàtiques de la UPC::Enginyeria electrònica
-High performance computing
-OpenMP
-OpenMP
-Embedded domain
-Real-time embedded systems
-Supercomputadors
-OpenMP
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
Artículo - Versión presentada
Capítulo o parte de libro
Springer
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Royuela, Sara; Martorell, Xavier; Quiñones, Eduardo; Pinho, Luis Miguel
Serrano, Maria A.; Royuela, Sara; Quiñones, Eduardo
Royuela, Sara; Serrano, Maria A.; García Gasulla, Marta; Mateo Bellido, Sergi; Labarta Mancho, Jesús José; Quiñones Moreno, Eduardo
Serrano, Maria A.; Melani, Alessandra; Bertogna, Marko; Quiñones, Eduardo