Model-Based Development processes in the automotive industry typically use high-level modeling languages to build the reference models of embedded controllers. One can use formal verification tools to exhaustively verify these design models against their requirements, ensuring high quality models and a reduction in the cost and effort of functional testing. However, there is a gap, in terms of processes and tools, between the informal requirements and the formal specifications required by the verification tools. In this paper, we propose an approach that tries to bridge this gap by (i) identifying the verifiable requirements through a categorization process, (ii) providing a set of templates to easily express the verifiable requirements, and (iii) generating monitors that can be used as specifications in design verification tools. We demonstrate our approach using the Simulink Design Verifier tool for design verification of Simulink/Stateflow models.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Design Verification of Automotive Controller Models


    Weitere Titelangaben:

    Sae International Journal of Passenger Cars- Electronic and Electrical Systems
    Sae Int. J. Passeng. Cars – Electron. Electr. Syst


    Beteiligte:
    Rajeev, A. C. (Autor:in) / Ramesh, S. (Autor:in) / Mohalik, Swarup (Autor:in)

    Kongress:

    SAE 2013 World Congress & Exhibition ; 2013



    Erscheinungsdatum :

    2013-04-08


    Format / Umfang :

    6 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Design verification of automotive controller models

    Rajeev,A.C. / Mohalik,S. / Ramesh,S. et al. | Kraftfahrwesen | 2013


    Design Verification of Automotive Controller Models

    Rajeev, A.C. / Mohalik, S. / Ramesh, S. et al. | British Library Conference Proceedings | 2013



    Automated design verification of automotive electrical circuits

    Price, C. / McManus, A. / Snooke, N. et al. | British Library Conference Proceedings | 1999


    Automotive failsafe system design for controller integrity

    Park,J. / Suh,I.H. / Infineon Technologies,KR et al. | Kraftfahrwesen | 2010