The development of high-integrity systems within the automotive, aerospace, and industrial automation and machinery industries is characterized by demonstrating compliance with international standards for functional safety.

Engineers developing embedded software that complies with functional safety standards report that using Model-Based Design:

  • Reduces development and certification time
  • Enables them to identify the majority of errors in modelling phase
  • Increases reusability of core models

Get detailed guidance for each step of your development and verification process. MathWorks engineers can help you apply Model-Based Design to comply with industry standards such as IEC 61508, DO-178C, and ISO 26262.

Ask for a free initial consultation on your verification process, from requirements validation to code verification, including tool independence paths. Learn how you can use simulation, code and model verification, and code generation to demonstrate standards compliance by using Model-Based Design with MATLAB® and Simulink®.

Consult with MathWorks engineers to learn how to:

  • Automate manual steps to check compliance with standards such as IEC 61508, DO-178C, and ISO 26262
  • Capture requirements and establish traceability between requirements, design, test, and code
  • Check compliance of models and code using static analysis and formal methods
  • Automatically generate production code for your hardware
  • Qualify tools according to your standard’s requirements

“Using Model-Based Design to design, implement, and verify our software for the highest functional safety standard enabled our team to save costs, increase efficiency, and ensure software quality. Without Model-Based Design, more engineers would be needed to complete the project in the same time frame.”

Cheng Hui, KOSTAL