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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Next Generation Testing Tools for Embedded Automotive Applications


    Additional title:

    Sae Technical Papers


    Contributors:

    Conference:

    SAE 2004 World Congress & Exhibition ; 2004



    Publication date :

    2004-03-08




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Next generation testing tools for embedded automotive applications

    Deutsch,A. / PolySpace Technologies,US | Automotive engineering | 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 Archive | 2008


    Next Generation Automotive Security

    Ziska, A. | British Library Conference Proceedings | 2007