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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Hierarchical Accumulative Validation of Executable Control Specifications


    Additional title:

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


    Contributors:

    Conference:

    SAE 2013 World Congress & Exhibition ; 2013



    Publication date :

    2013-04-08


    Size :

    8 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    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 Archive | 2000