The MathWorks today announced that its Real-Time Workshop Embedded Coder 5.3, PolySpace Client for C/C++ 7.0.1, and PolySpace Server for C/C++ 7.0.1 products are qualified according to the ISO/DIS 26262-8 standard. The TÜV SÜD qualification assessment provides evidence to automotive engineers using Model-Based Design with defined verification and validation measures that the tools are suitable for developing safety-related software for ISO 26262.
The qualification improves confidence in the correct execution of activities and tasks required by ISO 26262 defined Automotive Safety Integrity Level (ASIL) A through ASIL D. Each of the qualified tools has a certification report defining a set of verification and validation measures, which embedded system developers need to complete when using the tools to develop their high-integrity applications. Further support is provided through The MathWorks IEC Certification Kit product, which includes the certificates, certification reports, workflow documentation, and additional artifacts to document the ISO/DIS 26262-8 tool qualifications for the products listed above.
“With the upcoming ISO 26262 standard, automotive engineers using Model-Based Design will have an explicitly defined set of requirements for high-integrity systems and the added advantage of being equipped with the tools used to develop them,” said Jon Friedman, automotive industry marketing manager at The MathWorks. “The TÜV assessment and resulting tool qualification offer automotive engineers the first commercially available production code generation and verification tools qualified to ISO/DIS 26262-8. This certification helps these engineers integrate MathWorks products further in their design, verification, and validation processes and illustrates our continued commitment to the automotive industry’s software development needs.”
“The successful ISO/DIS 26262-8 tool qualification demonstrated the feasibility of applying this functional safety standard to both development and verification tools and created a benchmark for future tool qualifications,” said Frank Rauch, technical certifier at TÜV SÜD Automotive GmbH. “The definition of suitable verification and validation measures to be used in combination with the qualified tools provides the practitioner with the necessary guidance to successfully apply Model-Based Design and rigorous code verification tools. The scalable selection of these verification measures described in a verification and validation workflow document gives users the flexibility to integrate the qualified tools into a broad variety of software development processes while complying with the requirements of ISO/DIS 26262 up to and including ASIL D.”
As part of the tool qualification activity, TÜV SÜD has assessed the software development processes and customer bug reporting procedures at The MathWorks offices in Natick, Massachusetts, USA, and Grenoble, France, which develop the referenced tools.
MathWorks is the leading developer of mathematical computing software. MATLAB, the language of technical computing, is a programming environment for algorithm development, data analysis, visualization, and numeric computation. Simulink is a graphical environment for simulation and Model-Based Design for multidomain dynamic and embedded systems. Engineers and scientists worldwide rely on these product families to accelerate the pace of discovery, innovation, and development in automotive, aerospace, electronics, financial services, biotech-pharmaceutical, and other industries. MathWorks products are also fundamental teaching and research tools in the world's universities and learning institutions. Founded in 1984, MathWorks employs more than 2,000 people in 15 countries, with headquarters in Natick, Massachusetts, USA. For additional information, visit mathworks.com.
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.