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.
Published 2010