Date: 31/03/2009

MathWorks introduced IEC certification kit and DO qualification kit

The MathWorks has introduced two new development tools called IEC certification kit and DO qualification kit for industrial, aerospace, and automotive high rel designers to efficiently use Model-Based Design or PolySpace code verification to develop high-integrity systems.

IEC Certification Kit (for IEC 61508) contains TÜV SÜD certificates and certification reports, along with additional materials that are made exclusively for the MathWorks products and versions being employed. IEC Certification Kit supports Real-Time Workshop Embedded Coder and PolySpace code verification products, which includes the MISRA-C 2004 code analyzer.

DO Qualification Kit (for DO-178) includes tool operational requirements, tool qualification plans, test case models and code. DO Qualification Kit supports Simulink Verification and Validation, SystemTest, and PolySpace code verification products. Engineers can use the kit materials to help address the individual components of each standard's tool qualification requirements and produce the required evidence to demonstrate compliance.

"Our customers expressed a need for additional guidance when using Model-Based Design or PolySpace code verification to create high-integrity systems that comply with tightly defined industry guidelines and standards," said Jon Friedman, Aerospace & Defense and Automotive Industry marketing manager, The MathWorks. "The Certification and Qualification Kits will help engineers streamline their current and future high-integrity systems development using MathWorks tools."

Both the tools are immediately available for details
visit: www.mathworks.com/products.