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.
FOR MORE INFORMATION visit MathWorks online at www.mathworks.com.