A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems
Cita com:
hdl:2117/107846
Document typePart of book or chapter of book
Defense date2017-08-17
PublisherSpringer
Rights accessOpen Access
Except where otherwise noted, content on this work
is licensed under a Creative Commons license
:
Attribution-NonCommercial-NoDerivs 3.0 Spain
Abstract
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.
CitationRoyuela, S. [et al.]. A Functional Safety OpenMP∗ for Critical Real-Time Embedded Systems. A: International Workshop on OpenMP 2017. "IWOMP 2017: Scaling OpenMP for Exascale Performance and Portability". Springer, 2017, p. 231-245.
ISBN978-3-319-65577-2
Publisher versionhttps://link.springer.com/chapter/10.1007/978-3-319-65578-9_16
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
A functional safety OpenMP for critical.pdf | 302,6Kb | View/Open |