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

 


WSI's OLED Professional innovations create more value for You.

WSI are the PMOLED manufacturer and our factory located in Chun-Nan in Taiwan. Our products are the market leader and pioneer in PMOLED module, including the monochrome, area colors and full color one...


SKIPPER UBT21 - a Bluetooth 4.0 USB serial adapter for industrial and medical use

SKIPPER UBT21 is a Bluetooth 4.0 USB serial adapter for industrial and medical use. It incorporates a Bluetooth Dual-Mode Stack, supports ranges of up to 300 meters and transferrates of 720 kbit/s (ne...


Three of a kind - Versatility based on Low Power ARM Cortex-A15

At this year's Embedded World, MEN has presented three low power, ARM Cortex-A15-based solutions on different form factors: a VMEbus SBC, an industrial box PC and a COM Express Mini module. All so...


Enabling Embedded IoT

Eurotech, a long-time leading provider of embedded systems and a global leader in IoT enablement, showed its new modules and Multi-service IoT Gateways at Embedded World 2017. The newly introduced Eu...


PLS’ UDE and new UAD2next allow more powerful trace analysis of embedded multicore systems

The new Universal Debug Engine 4.8 from PLS Development Tools offers a bunch of new and improved features for trace analysis of embedded multicore systems. With the new access device UAD2next PLS cont...


Disruptive technologies

Rahman Jamal, Global Technology & Marketing Director, National Instruments, talks about disruptive technologies in the consumer world, but also in measurement, automation, and the embedded industr...


AdaCore Announces Availability of QGen Debugger at Embedded World 2017

Jose Ruiz, technical lead at AdaCore for the company's QGen automatic code generator toolset for model-based development, discusses that product and explains what differentiates it from other prod...


SECO IoT roadmap: from the proof of concept to the market

During Embedded World 2017 Gianluca Venere, SECO Director of Global Sales, leads us to discover the company's Industrial IoT roadmap showcased at SECO's main booth, along with the latest UDOO ...


Internet of Chocolate

HCC show off an embedded chocolate vending machine using MQTT to connect to a broker in the cloud. There is an important message behind this cool demo – security and reliability of embedded soft...