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 条

[21] Quality requirements for real-time safety-critical systems
Kirner, TG
CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 965 - 973
[22] Safety properties ensured by the OASIS model for safety critical real-time systems
David, V
Delcoigne, J
Leret, E
Ourghanlian, A
Hilsenkopf, P
Paris, P
COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 45 - 59
[23] Testing embedded real-time systems
En-Nouaary, A
Khendek, F
Dssouli, R
SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 417 - 424
[24] Kernel for embedded real-time systems
Zuberi, KM
Shin, KG
1996 IEEE REAL-TIME TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 1996, : 241 - 249
[25] Middleware for real-time and embedded systems
Schmidt, DC
COMMUNICATIONS OF THE ACM, 2002, 45 (06) : 43 - 48
[26] Graphical embedded real-time systems
Beker, H
DR DOBBS JOURNAL, 1997, 22 (04): : 54 - +
[27] Real-time demosaicking for embedded systems
Hsu, Wei
Fuh, Chiou-Shann
ICCE: 2007 DIGEST OF TECHNICAL PAPERS INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS, 2007, : 471 - 472
[28] Scheduling for embedded real-time systems
Balarin, F
Lavagno, L
Murphy, P
Sangiovanni-Vincentelli, A
IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (01): : 71 - 82
[29] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
Mzid, Rania
JOURNAL OF SUPERCOMPUTING, 2024, 80 (08): : 11431 - 11473
[30] Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization
De Simone, Luigi
Mazzeo, Giovanni
2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2019), 2019, : 308 - 313

← 1 2 3 4 5 →