Embedded Software for Safety Critical Applications

Production code generation with Model-Based Design has replaced document-based development and manual coding in various domains in automotive, industrial automation, aerospace and medical. Safety-related applications are increasingly developed using Model-Based Design as well. For these applications, software development and quality assurance activities within Model-Based Design must meet the requirements of the safety standard relevant to the particular domain.

This microsite comprises webinars, white papers and technical articles as well as customer applications showcasing workflows for developing safety-related application software a with respect to Model-Based Design and specific requirements for software development processes to be compliant with development standards like ISO 26262 (automotive), DO-178C (aerospace) and IEC 61508 (industrial automation).

Designing Supervisory Control for Safety-Critical Systems

Using Model-Based Design, MathWorks engineers will showcase how to develop and test a supervisory control module. The workflow spans the software development process from modeling and simulation of complex state machines, to open-loop and closed-loop testing and automatic PLC code generation.  Through simulation based testing we uncover design flaws at an early stage of development.

During our presentation, we will show how to:

  • Model and simulate a supervisory control system
  • Link and trace requirements to the model
  • Apply testing and coverage tools to prove correctness of the control algorithm
  • Generate IEC 61131 structure text from the model for deploying the algorithm to a PLC system

Developing and Verifying Active Safety Features Using MATLAB and Simulink

Active safety technology is continuously evolving, however, there is one thing that is not changing: these systems must function consistently and be robust in an unpredictable environment. A system level simulation will not only allow you to assess the performance of the system early on in the design process, but also provide the ability to more thoroughly test for robustness.

In this webinar, we will use a lane keep assistant system as an example to show how you may perform system level simulation, including multi domain active system components, such as image processing, and control systems.

TI Hercules MCU Optimized Code from Simulink for IEC 61508 and ISO 26262

MathWorks and Texas Instruments engineers demonstrate a new workflow for generating TI Hercules MCU optimized code from Simulink for IEC 61508 and ISO 26262 functional safety standards. We will walk through a safety-critical application workflow that includes:

  • A demonstration from Texas Instruments of Processor-in-the-Loop (PIL) testing with Simulink and TI Hercules MCUs
  • IEC 61508 and ISO 26262 certification assistance capabilities in Model-based Design workflow
  • An overview of safety-critical applications

BAE Systems: Model-Based Design of Safety-Critical Avionics Systems

BAE Systems Electronic Systems is a lead supplier of avionic systems to the aerospace and defence sector. Flight control computers, active inceptors, mission computers, helmet-mounted displays, and head-up displays all require a higher level of functionality and complexity than ever before. The combination of increased complexity and certification demands, from standards such as DO-178C and DO-254, requires robust and highly automated development processes. This presentation describes some of those challenges and how they are being overcome by model-based development processes at BAE Systems Electronic Systems.

Related User story: BAE Systems Delivers DO-178B Level A Flight Software on Schedule with Model-Based Design

Verification and Validation According to ISO 26262: A Workflow to Facilitate the Development of High-Integrity Software

Model-Based Design with production code generation has been extensively utilized throughout the automotive software engineering community because of its ability to address complexity, productivity, and quality challenges. Engineers have begun to consider Model-Based Design for developing embedded software for applications such as lane departure warning and electromechanical steering that need to comply with ISO 26262 and other functional safety standards.

Developers of high-integrity in-vehicle software need to understand and implement the standard‘s requirements pertaining to software development. Due to the widespread utilization of Model-Based Design to develop automotive E/E systems, it is of particular importance to set up ISO 26262 compliant Model-Based Design processes and tool chains.

Industry Standards

Model-Based Design is used for developing embedded software in the automotive, industrial automation and machinery, and other industries and application areas. Engineers use Model-Based Design to produce software that complies with corresponding standards. These applications need extra consideration to address the constraints imposed by the standard and to produce the required evidence to demonstrate compliance.

Case Studies & more


Products for Embedded Systems


Coding safe and secure applications

The debate about safety and security concerns in high integrity software applications is a hot topic of discussion in modern software management. The need to address these concerns is present in e...

Best practices for static analysis tools

This paper reviews a number of the growing complexities that embedded software development teams are facing, including the proliferation of third-party code, increased pressures to develop secure ...

Making things come alive in a secure way

Considering the security of one single business application is not enough anymore. With the IoT, multiple applications across multiple industries can share and exchange data across different types...

Monitoring and Securing the Smart Grid

Smart grids use phasor measurement units (PMUs) to assess and manage independently operated grid systems. National Instruments, Hewlett Packard Enterprise, and OSIsoft created a "best of bree...

Monetizing the IoT: Show Me the Money

The Internet of Things (IoT) is disrupting entire industries around the world. There is a lot of ‘new’ –including new devices, software, services – along with new opportunities...