Simulink Code Inspector Strengthens MathWorks Support for DO-178 Certification

New Product Automates Reviews of Source Code Generated from Simulink

Natick, Massachusetts, United States - (8 Sep 2011)

SimulinkCodeInspector_215.jpg

MathWorks today introduced Simulink Code Inspector, which facilitates the review of source code generated from Simulink models. Aerospace engineers can now use Simulink Code Inspector to create detailed model-to-code and code-to-model inspection reports that help satisfy source code verification and traceability objectives specified in DO-178B Table A-5.

Traditionally, verifying code against requirements is a time-consuming and error-prone process that requires manually reviewing code line-by-line against a project checklist. Simulink Code Inspector uses an automated process to verify the generated code’s structure against its model. This process checks for structural equivalency by systematically comparing the blocks, parameters, and settings used in a model against the operations, operators, and data in the generated code.

Simulink Code Inspector also produces verification and traceability reports that can be reviewed, archived, and shared with certification authorities, dramatically reducing verification time and cost. With Simulink Code Inspector, engineers prepare models for code inspection by using a specific subset of Simulink blocks and model parameters commonly used for high-integrity systems. They can then generate and inspect code from the models, and review the inspection and traceability reports.

The combination of Simulink for system design and simulation, Embedded Coder for flight code generation, and Simulink Code Inspector for source code review provides aerospace engineers with a highly automated and flexible environment for Model-Based Design and DO-178 development and verification.  

“Aerospace engineers who work on high-integrity systems are under constant pressure to not just meet the stringent requirements of the systems they design, but also keep pace with industry demands for increased development speed and quality,” said Jon Friedman, aerospace and defense industry manager, MathWorks. “With Model-Based Design already established as a design workflow, these engineers have been extending their use of MathWorks tools for projects and large programs requiring certification. Simulink Code Inspector enables engineers to take another step toward reducing certification bottlenecks and streamlining the certification process.” 

About MathWorks

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 2400 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.