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


Introductions


Products for Embedded Systems


Related


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


Building Secure & Reliable IoT Devices

Network security will be one of the defining issues for embedded developers connecting to the IoT. Mass connectivity will present new risks as companies transmit and store data to create much rich...

Embedded Systems Safety & Security Survey

Andrew Girson, CEO of Barr Group, shares key findings of their 2017 Embedded Systems Safety & Security Survey. With responses from more than 1,700 qualified engineers worldwide, the independen...

What you say is what you get: an Ada story

Over the past 30+ years, Ada technology has matured into a unique toolset allowing programmers to achieve software reliability at a very affordable cost. It’s available for small microcontro...