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
To learn more about EB Corbos Linux, click here.