Separation of functional and time interference concerns for efficient AMC 20-193 compliance - IRT Saint Exupéry - Institut de Recherche Technologique
Communication Dans Un Congrès Année : 2024

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-04649192 , version 1

Citer

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⟩
145 Consultations
54 Téléchargements

Partager

More