This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Verification, Validation, and Test with Model-Based Design
ISSN: 0148-7191, e-ISSN: 2688-3627
Published October 07, 2008 by SAE International in United States
Annotation ability available
Model-Based Design with automatic code generation has long been employed for rapid prototyping and is increasing being used for mass production deployment. With the focus on production usage, comes the need to implement a comprehensive V&V strategy involving models and resulting code.
A main principal of Model-Based Design is that generated code should behave like the simulation model. It should also be possible to verify that the model or design was fully implemented in the code. As a result, the transformation of models into generated code must be done in a way that facilitates traceability between the model and code. Also automated tests should be performed to determine that the code executes properly in its final software and hardware environments.
For example in a typical commercial vehicle application, the control algorithm and plant model are simulated together in a system simulation environment. Once the system model satisfies the requirements, the control model is checked to ensure that it has been fully exercised or covered. Once checked, code is then generated for production applications. The code is analyzed, tested, and compared to the original model results. Common model and code verification activities include software-in-the-loop (SIL), processor-in-the-loop (PIL), and hardware-in-the-loop (HIL) testing. In addition to functional results, it is important especially for high-integrity systems, that the model and code have been checked and assessed to known standards.
This paper describes recent advances in verification, validation, and test technologies involving Model-Based Design with production code generation.
CitationErkkinen, T. and Conrad, M., "Verification, Validation, and Test with Model-Based Design," SAE Technical Paper 2008-01-2709, 2008, https://doi.org/10.4271/2008-01-2709.
- International Standard IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements 1st 1998
- Erkkinen Tom The MathWorks Breiner Scott Deere John Automatic Code Generation - Technology Adoption Lessons Learned from Commercial Vehicle Case Studies SAE 2007 08AE-22 www.mathworks.com/mason/tag/proxy.html?dataid=9939&fileid=44540