New methodology to develop certified safe and secure aeronautical software - An embedded router case study
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.
Origine : Fichiers produits par l'(les) auteur(s)