In this document, it will be discussed how software faults can be inadvertently introduced into applications which code is automatically generated from a design automation tool. The authors explain that these faults can be embedded into the model itself because of scaling, timing and data dictionary issues. Then, we introduce how an advanced static verification technique called Semantic Analysis can help locate and eliminate these errors from the generated code and the model itself.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Modellbasierte Entwicklung eines Code-Generators - Verifikation, Testen und Zertifizierung


    Beteiligte:
    Lalo, Marc (Autor:in) / Barriault, Steve (Autor:in) / Wissing, Klaus (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    10 Seiten, 1 Bild, 3 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    A Software Safety Certification Plug-in for Automated Code Generators

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


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

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



    ISM Code Certification

    Tema Archiv | 1997


    Task Design and Verification Testing for Certification of Avionics Equipment

    Sherry, L. / IEEE / AIAA | British Library Conference Proceedings | 2004