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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Varet, A. (author) / Larrieu, N. (author)


    Publication date :

    2011-10-01


    Size :

    1575078 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English







    Methodology to develop urban freight regulatory plans: Ciudad Juarez case study

    Salgado, David / Aldrete, Rafael M. / Valdez-Ceniceros, Gabriel A. et al. | TIBKAT | 2019