Design verification technology promises comprehensive analysis of design models against the specified properties, thereby overcoming the limitations of traditional simulation-based and testing-based approaches. It helps in detecting design bugs early, thereby reducing the software development cycle time and cost. In this paper, we present our experiences with three state-of-the-art design verification tools - Reactis Validator, Simulink Design Verifier and Embedded Validator - for Simulink/Stateflow models. We also identify some challenges in employing them in an industrial production environment. We also suggest some automation steps to ease the design verification effort.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Applying Design Verification Tools in Automotive Software V&V


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2011 World Congress & Exhibition ; 2011



    Erscheinungsdatum :

    2011-04-12




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Applying Design Verification Tools in Automotive Software V&V

    Rao, A.C. / Rajeev, A.C. / Yeolekar, A. et al. | British Library Conference Proceedings | 2011



    Graphic Results of Applying CAD Tools to Design Automotive Braking Systems

    Mihai, G.A. / Daniela, G. / Luiza, D. | British Library Conference Proceedings | 2010


    Applying software dependence analysis for automotive embedded software

    Sukumaran,S. / Haines,T. / Ramesh,S. et al. | Kraftfahrwesen | 2011


    Applying Software Dependence Analysis for Automotive Embedded Software

    S, Ramesh / Sukumaran, Srihari / Haines, Trenton | SAE Technical Papers | 2011