Development of ISO 26262 compliant software based on Model-Based Design and certified Automatic Code Generation

This paper presents an approach for the development of ISO 26262 compliant software applications based on Model-Based Design and certified Automatic Code Generation. When using such a method, strong benefits can be achieved in reducing software verification costs while meeting the objectives of ISO 26262 at the highest ASIL levels.


Related


Securing the smart and connected home

With the Internet of Things and Smart Home technologies, more and more devices are becoming connected and therefore can potentially become entry points for attackers to break into the system to steal,...

Accurate and fast power integrity measurements

Increasing demands on power distribution networks have resulted in smaller DC rails, as well as a proliferation of rails that ensure clean power reaches the pins of integrated circuits. Measuring r...

 


E-Mail Newsletters

nlsc240

Our 3 E-Mail Newsletters: EETimes/EDN Europe, Embedded News and Power Electronics News inform about the latest news in technology and products, as well as technical know-how like white papers, webinars, articles, etc.


B & S / ECE Magazine

- latest issue is online now -

June 2018

Content Highlights

Cover Story

The challanges of IoT security and how to harden the edge

Download now