Model-Based Safety and Assessment

Name: Model-Based Safety and Assessment | 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings
Brand: Springer
Price: 69.54 EUR
Availability: OnlineOnly

7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020, Proceedings

Marc Zeller Kai Höfig(Herausgeber*in)

Springer (Verlag)

Erschienen am 3. September 2020

XI, 255 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-030-58920-2 (ISBN)

69,54 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Contents
Safety Models and Languages
A Visual Notation for the Representation of Assurance Cases Using SACM
1 Introduction
2 Representation of Assurance Cases
2.1 Goal Structuring Notation
2.2 Claim-Argument-Evidence
2.3 Structured Assurance Case Metamodel
3 Assurance Case Representation Using SACM Argumentation Notation
3.1 Basic Elements
3.2 Different Types of Claim and Relationship
4 SACM: Potential Benefits
5 Conclusion and Future Work
References
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities
1 Introduction
2 Problem Description and Related Work
2.1 DDIs and Open Dependability Exchange (ODE) Meta-model v2.0
2.2 Generic Infusion Pump System
2.3 Related Work
3 Digital Dependability Identity for GIP System
3.1 GIP System DDI Overview
3.2 Top-Level Safety Argument
3.3 Hazard Identification and Risk Assessment Argument
3.4 Critical Cause Identification Argument
3.5 Risk Control Measure Definition Argument
3.6 Analytic Risk Reduction Argument
3.7 Safety Validation Argument
4 Conclusion
References
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling
1 Introduction
2 Background - PCA Infusion Pump
3 Open PCA Pump Architecture
4 Medical Device Risk Management Concepts
5 AADL Error Modeling for the OpenPCA System
6 AADL Error Modeling Analysis Support
7 Related Work
8 Conclusion
References
State-Space Modeling
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation
1 Introduction
2 Hybrid Redundancy and Its Modelling
3 Markov Modelling
3.1 Markov Model of Single Component Systems
3.2 Markov Model of a Simple TMR Architecture
3.3 Markov Model of a Reconfigurable TMR Architecture
4 Systematic Model Construction
5 Reliability Analysis of Reconfigurable NMR Architecture Supported with a Hot Standby Spare
6 Numerical Results
7 Conclusion
References
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems
1 Introduction
2 Steering System
3 Preliminaries
3.1 Semi-Markov Process
3.2 Transition Timers
4 Branching Transitions
4.1 Use Case Example
4.2 Semi-Markov Kernel for SMPs with Branching Transitions
4.3 Semi-Markov Kernel of Steering System
5 Tool Support for SMPs with Branching Transitions
6 Conclusions
References
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming
1 Introduction
2 Preliminary
2.1 Modelling of the SIS and PM Tests
2.2 The Probability of Failure on Demand (PFD)
2.3 The Optimization Problem Formulation
3 The Solution
3.1 Discretization of the Optimization Problem
3.2 Numerical Solution to the Optimization Problem
4 Numerical Examples
4.1 Description of SIS
4.2 PM Schedule for 1 Main Test and 2 Partial Tests
4.3 PM Schedule for 3 Main Tests and 5 Partial Tests
5 Conclusions
References
Dependability Analysis Processes
Counterexample Interpretation for Contract-Based Design
1 Introduction
2 Contract-Based Design and Motivating Example
3 Approach
3.1 Step 1: Modeling and Verification
3.2 Step 2: Identifying the Erroneous Specification
3.3 Step 3: Translating the LTL Specification to a SystemModel(K)
3.4 Step 4: Identifying Erroneous States in the Counterexample
3.5 Step 5: Identifying Erroneous Variables in the Counterexample
3.6 Step 6: Identifying Violated Contract Details
3.7 Step 7: Presentation of Results
4 Evaluation
5 Related Work
6 Conclusion and Future Work
References
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems
1 Introduction
2 Background and Challenges
3 Related Work
4 Property-Based Fault Injection
5 Implementation of Property-Based FI Using Simulink Design Verifier
6 Application of Property Based Fault Injection
6.1 Safety Property 1 - Verifying Redundancy of SymPLe Function Blocks
6.2 Safety Property 2 - Verifying Execution Timeout of Function Blocks
7 Discussions and Future Work
References
Failure Mode Reasoning in Model Based Safety Analysis
1 Introduction
2 SIS and FMR
3 Definition of the Case
4 Modeling SIS Inputs in FMR
4.1 Qualitative Analysis
4.2 Quantitative Analysis
5 Integration with HiP-HOPS
6 Integration with CFT
7 Discussion
8 Conclusion
References
Safety Assessment in the Automotive Domain
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles
1 Introduction
2 Related Work
3 Proposed Approach
4 System Description
5 Conclusion and Future Work
References
Identification and Quantification of Hazardous Scenarios for Automated Driving
1 Introduction
2 Problem Characterization and Challenges
3 Method for Identification of Hazardous Scenarios
4 Method for Quantification of Hazardous Scenarios
5 Conclusion
References
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems
1 Introduction
2 Background
2.1 ISO 26262
2.2 HiP-HOPS and ASIL Decomposition
2.3 EPF Composer and BVR
3 The Proposed Approach
3.1 Approach Structure
3.2 Variant Management and EPF Model Configuration/Generation Process
4 Related Work
5 Concluding Remarks and Future Work
References
Artificial Intelligence (AI) and Safety Assurance
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures
1 Introduction
2 Problem Definition
3 SafeML Method
4 Case Studies
4.1 Methodology for Evaluation Against Benchmark Datasets
4.2 Security Dataset
5 Discussion
5.1 Capabilities of SafeML
5.2 Limitations of the Proposed Method
6 Conclusion
References
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks
1 Introduction
2 State of the Art
2.1 Classical and Deep Learning Based Error Detection
2.2 Deep Learning Based Time-Series Data Error Detection Approaches
2.3 Anomaly Scoring and Threshold Setting
2.4 Anomaly Detection for Industrial Automation System
3 Simulink Model of Two Industrial Robotic Manipulators
4 Model-Based Error Detection Using LSTM
4.1 Preprocessing
4.2 Training and Prediction
4.3 Detection
4.4 Evaluation
5 Results of the Experiments
6 Conclusion
References
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties
1 Introduction
2 Related Work
2.1 Runtime Uncertainty Classification
2.2 Uncertainty Handling Techniques
2.3 Runtime Safety Assurance Techniques
3 The Uncertainty Map (U-Map)
3.1 Methodology to Develop the U-Map at design time
3.2 Runtime Aspects of the U-Map
4 Case Study
5 Conclusion and Future Work
References
Tool Demos
Lowering Barriers for Applying Model-based FMEA - Results of the qSafe Project
Generative Engineering for Safety-Critical System Design
References
Paitron - a Tool for Automated FMEA
Abstract
1 Modelwise Paitron
References
An Eclipse Epsilon-Based Safety Engineering Tool Framework for the Creation, Integration and Validation of Digital Dependability Identities
Abstract
1 Introduction
2 DDI-Based Tool Support for CPS Development
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken