The application of Model-Based Development (MBD) techniques for automotive control system and software development have become standard processes due to the potential for reduced development time and improved specification quality. In order to improve development productivity even further, it is imperative to introduce a systematic Verification and Validation (V&V) process to further minimize development time and human resources while ensuring control specification quality when developing large complex systems. Traditional methods for validating control specifications have been limited by control specification scale, structure and complexity as well as computational limitations restricting their application within a systematic model-based V&V process. In order to address these issues, Toyota developed Hierarchical Accumulative Validation (HAV) for systematically validating functionally structured executable control specifications. HAV can be implemented in a production vehicle development cycle to ensure specification quality while saving development time and reducing required staff. Toyota confirmed that HAV can be implemented to successfully validate executable control specifications for production control system development.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Hierarchical Accumulative Validation of Executable Control Specifications


    Weitere Titelangaben:

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


    Beteiligte:
    Mizuno, Hideaki (Autor:in) / Farnsworth, Jared (Autor:in) / Ueda, Koichi (Autor:in) / Yoshida, Michio (Autor:in)

    Kongress:

    SAE 2013 World Congress & Exhibition ; 2013



    Erscheinungsdatum :

    2013-04-08


    Format / Umfang :

    8 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    Multiple Domain Experience in Systems Engineering Using an Executable Specifications Tool

    Winton, I. / IEEE / AIAA | British Library Conference Proceedings | 1994


    Executable Formal Models for Validation and Specless Verification

    Greve, D. / IEEE / AIAA | British Library Conference Proceedings | 2000


    Executable formal models for validation and specless verification

    Greve, D. / Wilding, M. | Tema Archiv | 2000