This paper is a tutorial on the principles and applications of static verification of dynamic properties to development, verification and validation of embedded applications. The topics covered include what static verification of dynamic properties 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 run-time errors.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Next Generation Testing Tools for Embedded Automotive Applications


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Deutsch, Alain (Autor:in)

    Kongress:

    SAE 2004 World Congress & Exhibition ; 2004



    Erscheinungsdatum :

    08.03.2004




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Next generation testing tools for embedded automotive applications

    Deutsch,A. / PolySpace Technologies,US | Kraftfahrwesen | 2004


    2004-01-0716 Next Generation Testing Tools for Embedded Automotive Applications

    Deutsch, A. / SAE | British Library Conference Proceedings | 2004



    Silicone RTV technologies for next generation automotive applications

    Klaassen, Egbert / Riley, Gail | Tema Archiv | 2008


    Development Tools for Automotive Embedded Software

    Lauff, Ulrich / Sienel, Wolfgang | SAE Technical Papers | 2008