NATICK, Mass., 6 Jan. 2012. Software design tool specialist MathWorks in Natick, Mass., is introducing Release 2012b (R2012b) software to enable engineers using the DO Qualification Kit to qualify Simulink and Polyspace verification tools for DO-178C and supplements including DO-331.
This DO-178C support offers program managers and their certification authorities a standardized global approach and framework for adopting model-based design and accelerating embedded system certification.
The DO-178B software standard deals with the safety of software used in airborne systems. The U.S. Federal Aviation Administration (FAA) in Washington applies DO-178B for guidance to determine if software will perform reliably in aircraft.
The R2012b DO Qualification Kit supports Simulink and Polyspace products for DO-330 Software Tool Qualification Considerations; DO-331 Model-Based Development and Verification; DO-332 Object-Oriented Technology and Related Techniques; DO-333 Formal Methods; DO Qualification Kit provides documentation, test cases, and procedures to help qualify supported Simulink and Polyspace software verification tools for projects that need to meet aerospace standards. The kit also includes tool qualification plans, tool operational requirements, and other materials required for qualifying software verification tools (Criteria 2 and 3).
Enhancements to DO Qualification Kit build on existing MathWorks DO-178 capabilities, including the DO-178 Process Deployment Advisory Service.
For more information contact MathWorks online at www.mathworks.com.
MathWorks unveils Simulink Code Inspector, strengthening support for DO-178 certification
LDRA, MathWorks deliver increased integration, move unit testing upstream in workflow
Design tool for DO-254-based complex airborne electronics hardware design introduced by The MathWorks and Mentor Graphics.