A viewgraph presentation describing a certification tool to check the safety of auto-generated codes is shown. The topics include: 1) Auto-generated Code at NASA; 2) Safety of Auto-generated Code; 3) Technical Approach; and 4) Project Plan.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    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

    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



    Technology briefing - software

    Kimberley,W. | Automotive engineering | 2004