Technical Articles

Model-Based Design for Large High-Integrity Systems: A Discussion on Verification and Validation

By Mike Anthony, Matt Behr, Matt Jardin, and Richard Ruff, MathWorks


The increasing prevalence of safety standards, including DO-178B, DO-278, and DO-254, for unmanned systems is forcing organizations to re-evaluate strategies for system verification and validation. One result of these re-evaluations is that more and more organizations are adopting Model-Based Design for system design. While simulation is well-accepted for requirements validation, models are often not fully leveraged throughout verification and validation processes.

This paper shows how models can be used throughout requirements validation, system design, implementation, and testing. Techniques for establishing traceability, ensuring conformance to design standards, and verifying the output of each design stage are highlighted.

This paper was presented at AUVSI's Unmanned Systems North America 2010 conference.

Read full paper.

Published 2010

View Articles for Related Capabilities

View Articles for Related Industries