Date: 13th Apr 2011
Mathwork's Simulink verification tools
qualified for automotive ISO 26262
MathWorks has announced that TÜV SÜD certified
Simulink Design Verifier and Simulink Verification and Validation
for use in ISO 26262 compliant development processes allowing
automotive engineers to use this tool to develop embedded
systems for vehicles more confidently.
MathWorks classified and pre-qualified the automatic test
case generation capability of Simulink Design Verifier and
the model coverage measurement capability of Simulink Verification
and Validation according to the latest version of ISO 26262-8.
TÜV SÜD subsequently assessed the tool classifications
and pre-qualification results.
To further assist automotive engineers using early verification
and validation for Model-Based Design, MathWorks enhanced
the IEC Certification Kit product with certification evidence,
reference workflows, and ISO 26262 tool qualification artifact
templates for Simulink Design Verifier and Simulink Verification
and Validation. With these recent additions, the IEC Certification
Kit extends ISO 26262 tool qualification support for Model-Based
Design and verification products, which already includes
Embedded Coder and Polyspace code verifiers.
To support additional activities addressed by the ISO 26262
functional safety standard, MathWorks continues to work
closely with partners offering complementary technology.
As an example, medini analyze, a functional safety analysis
tool offered by ikv++ technologies AG, can be used to automate
automotive safety integrity level (ASIL) determination and
decomposition as well as detailed safety analysis activities
as required by ISO 26262 when developing high-integrity
systems using Simulink.