Safety requirements engineering for early SIL tailoring / by Markus Fockel ; supervised by: Prof. Dr. Eric Bodden. Paderborn, 2019
Inhalt
- Abstract
- Zusammenfassung
- Danksagung
- 1 Introduction
- 1.1 Advanced Driver Assistance System EBEAS
- 1.2 Problem Statement
- 1.3 Overview of the Solution
- 1.4 Thesis Structure
- 2 Foundations
- 2.1 Development Process for Safe Cyber-Physical Systems
- 2.2 Automotive Safety Standard ISO 26262
- 2.3 Safety Integrity Levels in other Safety Standards
- 2.4 Safety Analysis using Fault Trees
- 2.5 ASIL Tailoring
- 2.6 Model-based Systems Engineering with CONSENS
- 2.7 Modal Sequence Diagrams (MSDs)
- 2.8 Goal Structuring Notation (GSN)
- 3 ASIL Tailoring Process on Functional Safety Requirements
- 3.1 Contributions
- 3.2 Overview of Process Steps and Work Products
- 3.3 Analyzing the Environment and Hazards
- 3.4 Specifying Functions and Requirements
- 3.5 Safety Analysis and ASIL Allocation
- 3.6 Allocating Functions to System Architecture
- 3.7 Assumptions & Limitations
- 3.8 Related Work
- 3.9 Conclusion
- 4 Specifying Formal Functional Safety Requirements
- 4.1 Contributions
- 4.2 System Requirements Specification Contents
- 4.3 Systematic Development and Refinement of Functional Safety Requirements
- 4.3.1 Deriving the Top-Level Function Hierarchy from the Environment
- 4.3.2 Structure of MSD Specifications for Functional Safety Requirements
- 4.3.3 Refining the Function Hierarchy and Safety Requirements
- 4.4 Specifying Functional Safety Requirements with MSDs
- 4.5 Integrating MBRE and NLRE for Safety Requirements Engineering
- 4.6 Assumptions & Limitations
- 4.7 Related Work
- 4.7.1 Function Hierarchies
- 4.7.2 Formal Functional Safety Requirements
- 4.7.3 MBRE-NLRE Integration for Safety
- 4.8 Conclusion
- 5 Safety Analysis and ASIL Allocation on Functional Safety Requirements
- 5.1 Contributions
- 5.2 Safety Analysis on Functional Requirements
- 5.2.1 Component Fault Tree Meta Model and Profile
- 5.2.2 Linking Hazards to Failures
- 5.2.3 Generating Component Fault Trees
- 5.3 ASIL Allocation on the Function Hierarchy
- 5.3.1 Calculating ASILs on CFTs
- 5.3.2 Allocating ASILs to Functions and Functional Safety Requirements
- 5.3.3 Application to other Safety-Critical Domains
- 5.4 Assumptions & Limitations
- 5.5 Related Work
- 5.6 Conclusion
- 6 Documenting ASIL Tailoring Arguments
- 6.1 Contributions
- 6.2 Safety Case Construction
- 6.3 Assumptions & Limitations
- 6.4 Related Work
- 6.5 Conclusion
- 7 Evaluation
- 8 Conclusion
- Bibliography
- List of Abbreviations
- List of Definitions
- List of Figures
- List of Tables
- A Case Study Models
- B Paper Contributions