How to model fault propagations in a complex mixed-criticality and mixed-compliance software system

How to model fault propagations

Elektrobit’s Lukas Bulwahn and Michael Armbruster explain how to model a software architecture that enables the development of a software system free from interference between architectural elements.




This presentation shows an approach on how to model a software architecture which enables the development of an argument on different aspects of freedom from interference in between architectural elements. The approach is relevant to analyze software architectures in context of functional safety, containing elements of different origin and quality.

Key topics and takeaways:

  • Multiple partition and mitigation mechanisms exist in an embedded system by design
  • Large software systems are composed of mixed-criticality and mixed-compliance software
  • Modeling propagations and mitigations is key to argue freedom from interference in such systems


Resource type
Webinar recording


Related content

To learn more about EB Corbos Linux, click here.

How to model fault propagations

Click on the button to load the content from Pardot.

Load download form
Learn more