Verification and Validation of Embedded Software Systems

At the MathWorks Automotive Conference 2010, DAF Trucks and MonkeyProof Solutions presented the challenge DAF Trucks was facing with the increasing importance and complexity of software in vehicle development, the chosen strategy (migration to Model-Based Design), the transition and migration needs, a tool suite, and some early findings on the chosen approach and environment.

In this session, we will present our progress, tangible results, and findings two years down the road. Perspectives that will be covered are design quality and project management in vehicle development; the design environment and tool suite for design data management, traceability, and testing; and ISO 26262 reflections on the current workflow. We share results yielded by the adoption of Model-Based Design and discuss how project management is supported by a well-defined workflow and supporting infrastructure and design environment. We also share an evaluation of the workflow and design environment in light of ISO 26262.

Note: Simulink Verification and Validation transitioned to Simulink Check, Simulink Coverage, and Simulink Requirements in R2017b.