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 条

[31] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
Rania Mzid
[J]. The Journal of Supercomputing, 2024, 80 : 11431 - 11473
[32] EXPERT SYSTEMS TECHNOLOGY FOR SAFETY-CRITICAL REAL-TIME SYSTEMS.
Theuretzbacher, N.
[J]. Electrical communication, 1986, 60 (02): : 147 - 153
[33] Functional safety in real-time Ethernet
Kaufleitner, Franz
Meindl, Anton
[J]. CONTROL ENGINEERING, 2006, 53 (09) : 22 - +
[34] On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems
Alahmad, Bader
Gopalakrishnan, Sathish
[J]. PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2018), 2018,
[35] Scheduling and Timing Analysis for SAFETY-CRITICAL REAL-TIME SYSTEMS
Burns, Alan
Dale, Chris
[J]. ELECTRONICS WORLD, 2010, 116 (1886): : 18 - 20
[36] FORMAL METHODS FOR THE SPECIFICATION AND DESIGN OF REAL-TIME SAFETY CRITICAL SYSTEMS
OSTROFF, JS
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 18 (01) : 33 - 60
[37] Schedulincr and timina analysis for safety-critical real-time systems
Burns, Alan
Dale, Chris
[J]. Electronics World, 2010, 116 (1887): : 18 - 20
[38] Synchronization and communication results in safety-critical real-time systems
Lonn, Henrik
[J]. Doktorsavhandlingar vid Chalmers Tekniska Hogskola, 1999, (1535): : 1 - 157
[39] SaveCCM -: a component model for safety-critical real-time systems
Hansson, H
Åkerholm, M
Crnkovic, I
Törngren, M
[J]. PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE, 2004, : 627 - 635
[40] Models for automatic generation of safety-critical real-time systems
Buckl, Christian
Regensburger, Matthias
Knoll, Alois
Schrott, Gerhard
[J]. ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 580 - +

← 1 2 3 4 5 →