Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

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.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal-enac.archives-ouvertes.fr/hal-01022284
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : samedi 30 janvier 2021 - 20:47:07
Dernière modification le : mardi 19 octobre 2021 - 11:02:47

Fichier

156varet_final_submission.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

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, ⟨10.1109/DASC.2011.6096284⟩. ⟨hal-01022284⟩

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

144