A Functional Safety OpenMP* for Critical Real-Time Embedded Systems

被引：11
|
作者：
Royuela, Sara [1 ]
Duran, Alejandro [2 ]
Serrano, Maria A. [1 ]
Quinones, Eduardo [1 ]
Martorell, Xavier [1 ]
机构：
[1] Barcelona Supercomp Ctr, Barcelona, Spain
[2] Intel Corp Iberia, Madrid, Spain
来源：
SCALING OPENMP FOR EXASCALE PERFORMANCE AND PORTABILITY (IWOMP 2017) | 2017年 / 10468卷
关键词：
D O I：
10.1007/978-3-319-65578-9_16
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：231 / 245
页数：15
相关论文
共 50 条
  • [1] Towards an OpenMP Specification for Critical Real-Time Systems
    Serrano, Maria A.
    Royuela, Sara
    Quinones, Eduardo
    [J]. EVOLVING OPENMP FOR EVOLVING ARCHITECTURES, 2018, 11128 : 143 - 159
  • [2] Introducing a component technology for safety critical embedded real-time systems
    Sandström, K
    Fredriksson, J
    Åkerholm, M
    [J]. COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 194 - 208
  • [3] Functional Uncertainty in Real-Time Safety-Critical Systems
    Baruah, Sanjoy
    Burns, Alan
    Griffin, David
    [J]. PROCEEDINGS OF THE 30TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS, RTNS 2022, 2022, : 1 - 11
  • [4] Functional programming of real-time reconfigurable embedded systems
    Strelzoff, Alan G.
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2006, 2 (1-2) : 106 - 113
  • [5] Towards a Real-Time Smart Prognostics and Health Management (PHM) of Safety Critical Embedded Systems
    Pimentel, Juliano
    McEwan, Alistair A.
    Yu, Hong Qing
    [J]. 2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 696 - 703
  • [6] Guaranteeing timeliness in safety critical real-time systems
    Aussagues, C
    David, V
    [J]. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998, 1999, : 83 - 89
  • [7] Decomposition in real-time safety-critical systems
    Mukherjee, P
    Stavridou, V
    [J]. REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
  • [8] Decomposition in Real-Time Safety-Critical Systems
    Paul Mukherjee
    Victoria Stavridou
    [J]. Real-Time Systems, 1998, 14 : 183 - 202
  • [9] Accelerated Secure Boot for Real-Time Embedded Safety Systems
    Nasser, Ahmad M.K.
    Gumise, Wonder
    Ma, Di
    [J]. SAE International Journal of Transportation Cybersecurity and Privacy, 2019, 2 (01):
  • [10] Real-time embedded systems
    Bate, I
    Liu, S
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 2002, 13 (04): : 154 - 155
12345