There is one engineering activity that has not yet fully benefited from the paradigm of normal development when it comes to verification and validation: software engineering. Software validation is still often mostly based on test techniques which consist in enumeratively executing the application a high number of times. If you achieve to run a high enough number of executions without observing any error, then the software is considered as validated. This does unfortunately not imply that the software is free of runtime errors. Indeed, detecting a runtime error during tests requires special drafts to fulfil. This paper is a tutorial on the principles and applications of static verification by Abstract Interpretation to development, verification and validation of embedded applications. The topics covered include what Abstract interpretation is, how it works, how it can help in verification and validation activities. It will also present an industrial tool for the automatic detection of runtime errors.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Accelerate testing for automotive applications


    Weitere Titelangaben:

    Testbeschleunigung für fahrzeugtechnische Anwendungen


    Beteiligte:
    Deutsch, Alain (Autor:in) / Wissing, Klaus (Autor:in)


    Erscheinungsdatum :

    2006


    Format / Umfang :

    8 Seiten, 7 Bilder


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Using Model-Based Design to Accelerate FPGA Development for Automotive Applications

    Sharma, Sudhir / Chen, Wang | SAE Technical Papers | 2009



    VCSELs accelerate new OCT applications

    British Library Online Contents | 2013


    A Requirements Engineering Approach to Accelerate Innovation in Automotive Electronics

    Kress, Andreas / Eberhardt, Markus / Donig, Jens | VDE-Verlag | 2017