A viewgraph presentation on the software safety certification plug-in of an auto-generated code is shown.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A Software Safety Certification Plug-in for Automated Code Generators


    Contributors:

    Conference:

    Software Assurance Symposium ; 2006 ; Morgantown, WV, United States


    Publication date :

    2006-01-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)

    Denney, Ewen / Schumann, Johann / Greaves, Doug | NTRS | 2006



    Model based development with code generators - verification, testing and certification

    Lalo, Marc / Barriault, Steve / Wissing, Klaus | Tema Archive | 2007



    Formal Certification Methods for Automated Vehicle Safety Assessment

    Zhao, Tong / Yurtsever, Ekim / Paulson, Joel A. et al. | IEEE | 2023