Model-Based Design is used for developing embedded software in the automotive, industrial automation and machinery, and other industries and application areas. Engineers use Model-Based Design to produce software that complies with IEC 61508 – a functional safety standard. These applications need extra consideration to address the constraints imposed by the standard and to produce the required evidence to demonstrate compliance.
IEC 61508 was developed for the industrial automation industry, but derivatives for other industries such as rail (EN 50128), medical (IEC 62304), and machinery (IEC 62061) exist. In automotive, the international standard ISO 26262 is used for the passenger cars segment. IEC 61508 is still used for commercial vehicles – especially off-highway vehicles.
IEC Certification Kit aids certification for IEC 61508 and its derivative standards including ISO 26262. It supports Embedded Coder and Polyspace code verification products.
More about MathWorks support for IEC 61508:
- SAE Paper: Model-Based Design for Safety-Related Applications
- SAE Paper: A Verification and Validation Workflow for IEC 61508 Applications
- MBEES Paper: Model-Based Design for IEC 62304 Medical Devices
- Video: Edit-Time Checking to Find Compliance Issues Earlier (1:28)
- Video: Developing Embedded Software for Induction Motor Control Using Model-Based Design (19:49)