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.
Hierarchical Accumulative Validation of Executable Control Specifications
Sae International Journal of Passenger Cars- Electronic and Electrical Systems
Sae Int. J. Passeng. Cars – Electron. Electr. Syst
SAE 2013 World Congress & Exhibition ; 2013
2013-04-08
8 pages
Aufsatz (Konferenz)
Englisch
Multiple Domain Experience in Systems Engineering Using an Executable Specifications Tool
British Library Conference Proceedings | 1994
|Executable Formal Models for Validation and Specless Verification
British Library Conference Proceedings | 2000
|Executable formal models for validation and specless verification
Tema Archiv | 2000
|