Separation of functional and time interference concerns for efficient AMC 20-193 compliance - IRT Saint Exupéry - Institut de Recherche Technologique Access content directly
Conference Papers Year : 2024

Separation of functional and time interference concerns for efficient AMC 20-193 compliance

Abstract

Safety-critical real-time systems must comply with stringent certification requirements, including temporal ones. Failure to comply with those temporal requirements may contribute to the system failure. Therefore, timing considerations, such as response times, are of the foremost importance for such systems. As the use of multi-/many-core hardware platforms is becoming inevitable in the avionics industry, due to the increasing computing performance required by modern embedded systems, integration activities are getting more and more complex. Increasing concurrency and parallelism exacerbates integration issues and introduces new challenging problems. To answer those challenges, certification authorities have issued guidelines, referenced as A(M)C 20-193, describing some objectives to fulfill for multi-/many-core integration. The present paper describes how a time-aware approach, based on the Synchronous Logical Execution Time paradigm (sLET), makes the design and integration of A(M)C 20-193 compliant safety-critical multi-/many-core systems easier by separating functional and time interferences concerns.
Fichier principal
Vignette du fichier
ERTS24-paper final.pdf (502 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04649192 , version 1 (16-07-2024)

Licence

Copyright

Identifiers

  • HAL Id : hal-04649192 , version 1

Cite

Damien Chabrol, Jean Guyomarc'H, Fabien Siron, Guillaume Phavorin, Sam Thompson, et al.. Separation of functional and time interference concerns for efficient AMC 20-193 compliance. ERTS2024, Jun 2024, Toulouse, France. ⟨hal-04649192⟩
0 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More