MathWorks unveils Simulink Code Inspector, strengthening support for DO-178 certification

Source code verificationPosted by Courtney E. Howard

NATICK, Mass., 10 Sept. 2011. MathWorks has introduced Simulink Code Inspector, which facilitates the review of source code generated from Simulink models, for aerospace engineers to use 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.

Verifying code against requirements can be 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 produces verification and traceability reports that can be reviewed, archived, and shared with certification authorities, reducing verification time and cost. 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 an automated, flexible environment for Model-Based Design and DO-178 development and verification, says a company spokesperson. 
“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,” says  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.” 
Simulink Code Inspector is available immediately. U.S. list prices start at $11,000. 

Get All the Military Aerospace Electronics News Delivered to Your Inbox or Your Mailbox

Subscribe to Military Aerospace Electronics Magazine or email newsletter today at no cost and receive the latest information on:

  • C4ISR
  • Cyber Security
  • Embedded Computing
  • Unmanned Vehicles

Military & Aerospace Photos

Most Popular Articles

Related Products

SBC-K7 Embedded PC for Instrumentation and Control

The SBC-K7 is an ideal platform for embedded instrumentation that combines an Atom PC running Win...

CPU-PPC460EX-VME Processor Board

The CPU-PPC460EX-VME PowerPC processor board is designed for rugged, conduction and convection co...

PC/104 SBC and Peripherals

Kontron PC/104 Standalone Single Board Computers (SBCs) serve in every format, even with consiste...

General Micro "Horizon" C299

The C299 Horizon is a third generation, 6U cPCI SBC module based on GMS’ upgradable CPU technolog...

Rugged Mobile Communications Server

Advanced communications server designed to be deployed in environments where it needs to meet cer...

RR2P Removable Canister RAID System

Transportable data storage for mobile field use aboard planes, ships and ground transport. 2U, du...

API DC Link Power Film Capacitors

High reliability DC link capacitors for power inverter applications which require superior life e...

XPort9200 Conduction- or Air-Cooled 12-Channel High-Speed CAN Bus XMC or PMC

The XPort9200 is a conduction- or air-cooled 12-channel CAN bus XMC or PMC module. Each high-spee...

Related Companies

GE Intelligent Platforms

Provides software, hardware and services with expertise in automation and embedded computing. We offer a unique found...

Innovative Integration

  Since 1988, Innovative Integration has grown to become one of the world's leading suppliers of DSP and data ac...

General Micro Systems Inc

Since 1979, General Micro Systems has been providing the most diverse line of single-board computers in the industry....

Elma Electronic Inc

Who we are...   About Elma Electronic Systems   The Systems division of Elma Electronic Inc. supplies the

Winchester Systems Inc

At its founding in 1981, Winchester Systems introduced its first 5 MB disk system for Intel development system users....

API Technologies Corp

Who We Are API Technologies is a dominant technology provider of RF/microwave, microelectronics, and security technol...

Extreme Engineering Solutions Inc (X-ES)

 Extreme Engineering Solutions, Inc. (X-ES) is a leader in the design, manufacture, and support of standard and ...

GE Intelligent Platforms

GE Intelligent Platforms is a leading global provider of embedded computing systems and modules for a wide range of a...


The Intel Xeon-D processor and its role in high-performance embedded computing (HPEC)

The rugged Intel Xeon-D server-class multicore microprocessor is set to revolutionize high-performance embedded computing. By itself, the processor will bring unprecedented power to embedded computing applic...

Harsh Environment Protection for Advanced Electronics and Components

This webinar will offer an opportunity to learn more about ultra-thin Parylene conformal coatings – how they are applied, applications they protect today, and the properties and benefits they offer, includin...

Press Releases


Curtiss-Wright Corporation today announced that its Defense Solutions division has received a contract from Sierra Nevada Corporation (SNC) to supply its small form factor ...

Innovative Integration Announces the FMC-Servo

Camarillo, CA June 19, 2015, Innovative Integration, a trusted supplier of signal processing and data acquisition hardware and software solutions, today announced the FMC-S...


Curtiss-Wright Corporation today announced that its Defense Solutions division has further enhanced its innovative VRD1 high definition (HD) video management system (VMS) w...

All Access Sponsors

Mil & Aero Magazine

August 2015
Volume 26, Issue 8

Download Our Apps




Follow Us On...


Military & Aerospace Electronics

Weekly newsletter covering technical content, breaking news and product information

Cyber Security

Monthly newsletter covering cyber warfare, cyber security, information warfare, and information security technologies, products, contracts, and procurement opportunities

Defense Executive

Monthly newsletter covering business news and strategic insights for executive managers

Electronic Warfare

Quarterly newsletter covering technologies and applications in electronic warfare, cyber warfare, optical warfare, and spectrum warfare.

Embedded Computing Report

Monthly newsletter covering news on embedded computing in aerospace, defense and industrial-rugged applications

Unmanned Vehicles

Monthly newsletter covering news updates for designers of unmanned vehicles