Accelerating the pace of engineering and science

Model-Based Design for High-Integrity and Business-Critical System Development

Sam Oliver, MathWorks

Do you want to understand how to refine your system or software development practices to improve quality? Are you identifying critical design issues or bugs late in the design process? Does this create difficulty when meeting project deadlines or budgets? Are you required to meet system quality standards such as ISO® 26262, IEC 61508, IEC 62304, DO-178B, or MISRA®? Learn how many organisations are using a development process based on an executable system-level model, otherwise known as Model-Based Design, to improve the quality of their designs and code through verification and validation using Simulink.

Model-Based Design is a powerful development method that allows you to reduce time to market and improve quality. This session builds on the modelling and simulation capabilities of the Simulink platform and introduces tools and techniques that enable you to verify and validate your models early in the development process, trace requirements to your models and code, check modelling standards automatically, manage regression and unit testing, and apply formal methods to prove the absence of run-time errors in both models and source code. The adoption of these formal verification and validation techniques ensures that your software systems meet your quality and safety goals.

Key capabilities of these individual tools are highlighted by using a number of product demonstrations.

Product Focus

  • Simulink

Recorded: 9 Oct 2012