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.
New methodology to develop certified safe and secure aeronautical software — An embedded router case study
2011-10-01
1575078 byte
Conference paper
Electronic Resource
English
A certified multilevel secure minicomputer operating system
Tema Archive | 1977
|Embedded direct numerical simulation for aeronautical CFD
Online Contents | 2001
|