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

Antoine Varet 1 Nicolas Larrieu 1
1 TELECOM - ENAC - Laboratoire de Télécommunications
Abstract : 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.
Keywords : aerospace safety formal verification security of data software engineering
Type de document :
Communication dans un congrès
DASC 2011, 30th IEEE/AIAA Digital Avionics Systems Conference, Oct 2011, Seattle, United States. pp 1-24, 2011, 〈10.1109/DASC.2011.6096284〉
Liste complète des métadonnées
https://hal-enac.archives-ouvertes.fr/hal-01022284
Contributeur : Laurence Porte <>
Soumis le : mardi 9 septembre 2014 - 11:11:43
Dernière modification le : mardi 30 janvier 2018 - 18:22:03

Identifiants

Collections

TELECOM | TELECOM-RESCO | ENAC

Citation

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, 2011, 〈10.1109/DASC.2011.6096284〉. 〈hal-01022284〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

56

Picto

Contact  : publications@enac.fr