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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Denney, Ewen (Autor:in) / Schumann, Johann (Autor:in) / Greaves, Doug (Autor:in)

    Kongress:

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


    Erscheinungsdatum :

    01.01.2006


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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 Archiv | 2007



    Technology briefing - software

    Kimberley,W. | Kraftfahrwesen | 2004