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


General principles of PCBs design

How to design PCBs correctly, to reach boards which are cost-effective to produce and to populate? Which are the most important PCB design principles? What about production technology of PCB? We have ...

The Next Level of Embedded Software Development

With the rapid expansion of complex technology into everyday life, the importance of software is growing exponentially. This complimentary webinar presented by Siemens PLM Software will show how emb...

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


Q&A about SuperTest for compiler users

Compilers are extremely complex programs with many options. A compiler error can break an application in unexpected ways that may be hard to debug. Even if the compiler supplier has tested the com...

New connectivity protocols for small IoT devices

The most popular of the new connectivity protocols for small IoT devices are MQTT, CoAP, LWM2M and 6LoWPAN. This article gives some information on each of these, and a comparison of their differen...

Turning Signal Integrity Simulation Inside Out

What does it mean to turn signal integrity simulation inside out? - ANSYS is pursuing a strategy in which electromagnetic simulation is primary and circuit analysis supports the electromagnetic soluti...

Secure Software Licensing for Industry 4.0

The future of the industry is digital and intelligent. At the core of the new infrastructure, we find Cyber Security 4.0 and Digital Business 4.0, both facilitated by CodeMeter Embedded 2.0. The b...

Runtime Visualization for Embedded/IoT Software

Percepio develops runtime visualisation tools for RTOS based development in the embedded IoT space. It's software defined tracing tool is called Tracealyzer and gives over 25 graphical views int...

Securely connecting the Embedded World

Evgueni Kolossov, R&D Director at PRQA talks about the importance of securely connecting the embedded world. He discusses how: 1.          ...

Renesas Synergy Platform Overview

Renesas Synergy™ Platform ― a complete and qualified platform that accelerates embedded development, inspiring innovation and enabling differentiation. The platform allows developers to im...

 


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