This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Hierarchical Accumulative Validation of Executable Control Specifications

Journal Article
ISSN: 1946-4614, e-ISSN: 1946-4622
Published April 08, 2013 by SAE International in United States
Hierarchical Accumulative Validation of Executable Control Specifications
Citation: Farnsworth, J., Ueda, K., Mizuno, H., and Yoshida, M., "Hierarchical Accumulative Validation of Executable Control Specifications," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 6(1):186-193, 2013,
Language: English


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.