ASTERIOS Checker : A Verification Tool for Certifying Airborne Software - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

ASTERIOS Checker : A Verification Tool for Certifying Airborne Software

Amira Methni
Emmanuel Ohayon
  • Fonction : Auteur
  • PersonId : 1066328
François Thurieau
  • Fonction : Auteur
  • PersonId : 1066329

Résumé

As the number of embedded systems has grown regularly over the past decades, the development and certification costs of safety-critical software has increased accordingly. For the aeronautics industry, certification activities are covered by DO-178C, which provides guidance for developing airborne software; and its companion document DO-330 covers the qualification of tools used for the development of such software. In this paper, we present ASTERIOS , a solution for the design, generation and execution of safety critical real-time applications; then we present the certification strategy we advocate for systems developed using our technology. This strategy relies on the use of an automated verification tool called ASTERIOS Checker , qualified in accordance with DO-330. This paper presents the technology behind the code generation engine of ASTERIOS and the verification activities automated by ASTERIOS Checker. It shows how the use of such an automated, qualified tool enables to benefit from design abstractions and relatively complex code generation engines while developing certified systems at the highest level of certification.
Fichier principal
Vignette du fichier
main.pdf (437.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02508852 , version 1 (16-03-2020)

Identifiants

  • HAL Id : hal-02508852 , version 1

Citer

Amira Methni, Emmanuel Ohayon, François Thurieau. ASTERIOS Checker : A Verification Tool for Certifying Airborne Software. 10th European Congress on Embedded Real Time Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02508852⟩

Collections

ERTS2020
221 Consultations
283 Téléchargements

Partager

Gmail Facebook X LinkedIn More