Larrucea Ortube, Asier: Development and certification of dependable mixed-criticality embedded systemsEntwicklung und Zertifizierung von zuverlässigen eingebetteten Mixed-Criticality-Systemen. 2017
Content
- Zusammenfassung
- Abstract
- Acknowledgements
- Contents
- List of Figures
- List of Tables
- Abbreviations
- 1 Introduction
- 2 Background
- 2.1 Mixed Criticality Systems
- 2.2 Certification Standards
- 2.3 Dependability
- 2.4 Fault Containment
- 2.5 Complexity Management
- 2.6 Structuring of Mixed-Criticality Embedded Systems
- 2.7 Partitioning in Time and Value Domains
- 2.8 Virtualization
- 2.9 COTS Multi-Core Devices
- 2.10 Mixed-Criticality Networks
- 2.11 Modular Safety Cases
- 2.12 Cross-Domain Mixed-Criticality Patterns
- 3 State Of The Art
- 4 DREAMS Architecture Style
- 5 Modular Safety Cases
- 5.1 A Modular Safety Case for an IEC 61508 compliant Generic Hypervisor
- 5.2 A Modular Safety Case for an IEC 61508 compliant Generic Safety Partition
- 5.3 A Modular Safety Case for an IEC 61508 compliant Generic COTS multi-core device
- 5.4 A Modular Safety Case for an IEC 61508 compliantGeneric Mixed-Criticality Network
- 6 Cross-Domain Mixed-Criticality Patterns
- 7 Case Study – Wind Turbine
- 7.1 Safety Standards
- 7.2 System Architecture
- 7.3 System of System, Product Line and Modularity
- 7.4 Cross-Domain Patterns
- 8 Conclusions
- Bibliography
- Appendices
- Publications