New methodology to develop certified safe and secure aeronautical software - An embedded router case study - ENAC - École nationale de l'aviation civile Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

New methodology to develop certified safe and secure aeronautical software - An embedded router case study

Antoine Varet
  • Fonction : Auteur
  • PersonId : 959610
Nicolas Larrieu

Résumé

The methodology presented can improve safe and secure software development. The SNG Router case study extends aeronautical network capabilities. Additional tool chains to complete formal checking toolkit is also presented. A compatibility check is performed between methodology and D0178C. An extension of network security requirements for router SNG is presented.
Fichier principal
Vignette du fichier
156varet_final_submission.pdf (817.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01022284 , version 1 (30-01-2021)

Identifiants

Citer

Antoine Varet, Nicolas Larrieu. New methodology to develop certified safe and secure aeronautical software - An embedded router case study. DASC 2011, 30th IEEE/AIAA Digital Avionics Systems Conference, Oct 2011, Seattle, United States. pp 1-24, ⟨10.1109/DASC.2011.6096284⟩. ⟨hal-01022284⟩
74 Consultations
282 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More