MathWorks for avionics and other safety-critical software

摘要

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.