SFTA-Based Approach for Safety/Reliability Analysis of Operational Use-Cases in Cyber-Physical Systems

2017 ◽  
Vol 17 (3) ◽  
Author(s):  
Shahrzad Oveisi ◽  
Reza Ravanmehr
Keyword(s):  
Fault Tree Analysis ◽  
Safety Analysis ◽  
Cyber Physical Systems ◽  
Use Cases ◽  
Software Safety ◽  
Physical Systems ◽  
Software Failure ◽  
Risk Management Process ◽  
Safety And Reliability ◽  
Electrical Components

The software is often responsible for controlling the behavior of mechanical and electrical components, as well as interactions among these components in cyber-physical systems (CPS). The risks in CPS systems could result in losing tools, features, performance and even life. Therefore, safety analysis for software in these systems is a highly critical and serious issue. In general, safety and reliability approaches play a major role in a risk management process in CPS. In this paper, after reviewing the major techniques of software reliability and safety in CPS, an software fault tree analysis (SFTA)-based approach is presented for analysis of operational use-cases (UC) in a CPS system. In our approach, the events related to use-cases are extracted, and the related SFTA is then obtained using the proposed algorithm. Moreover, a semi-automatic method is presented in this paper to produce software failure mode and effects analysis (SFMEA) from SFTA. The results of our approach are applicable for software safety analysis in a real CPS system, including the control system of Iranian National Observatory telescope. Assessment of the suggested method is performed through numerous safety/reliability criteria and the qualitative/quantitative analysis based on these criteria.

scholarly journals Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems

Sensors ◽  
2018 ◽  
Vol 18 (11) ◽  
pp. 4075 ◽  
Author(s):  
Ali Balador ◽  
Anis Kouba ◽  
Dajana Cassioli ◽  
Fotis Foukalas ◽  
Ricardo Severino ◽  
...  
Keyword(s):  
Wireless Communication ◽  
Communication Technologies ◽  
Cyber Physical Systems ◽  
Use Cases ◽  
Functional Requirements ◽  
Physical Systems ◽  
Safety Design ◽  
Standardization Process ◽  
Design Requirements ◽  
Eu Project

Cooperative Cyber-Physical Systems (Co-CPSs) can be enabled using wireless communication technologies, which in principle should address reliability and safety challenges. Safety for Co-CPS enabled by wireless communication technologies is a crucial aspect and requires new dedicated design approaches. In this paper, we provide an overview of five Co-CPS use cases, as introduced in our SafeCOP EU project, and analyze their safety design requirements. Next, we provide a comprehensive analysis of the main existing wireless communication technologies giving details about the protocols developed within particular standardization bodies. We also investigate to what extent they address the non-functional requirements in terms of safety, security and real time, in the different application domains of each use case. Finally, we discuss general recommendations about the use of different wireless communication technologies showing their potentials in the selected real-world use cases. The discussion is provided under consideration in the 5G standardization process within 3GPP, whose current efforts are inline to current gaps in wireless communications protocols for Co-CPSs including many future use cases.

scholarly journals A Novel Method for Safety Analysis of Cyber-Physical Systems—Application to a Ship Exhaust Gas Scrubber System

Safety ◽  
2020 ◽  
Vol 6 (2) ◽  
pp. 26 ◽  
Author(s):  
Victor Bolbot ◽  
Gerasimos Theotokatos ◽  
Evangelos Boulougouris ◽  
George Psarros ◽  
Rainer Hamann
Keyword(s):  
Failure Rate ◽  
Process Analysis ◽  
Fault Tree ◽  
Safety Analysis ◽  
Cyber Physical Systems ◽  
Open Loop ◽  
Exhaust Gas ◽  
Maritime Industry ◽  
Physical Systems ◽  
Novel Method

Cyber-Physical Systems (CPSs) represent a systems category developed and promoted in the maritime industry to automate functions and system operations. In this study, a novel Combinatorial Approach for Safety Analysis is presented, which addresses the traditional safety methods’ limitations by integrating System Theoretic Process Analysis (STPA), Events Sequence Identification (ETI) and Fault Tree Analysis (FTA). The developed method results in the development of a detailed Fault Tree that captures the effects of both the physical components/subsystems and the software functions’ failures. The quantitative step of the method employs the components’ failure rates to calculate the top event failure rate along with importance metrics for identifying the most critical components/functions. This method is implemented for an exhaust gas open loop scrubber system safety analysis to estimate its failure rate and identify critical failures considering the baseline system configuration as well as various alternatives with advanced functions for monitoring and diagnostics. The results demonstrate that configurations with SOx sensor continuous monitoring or scrubber unit failure diagnosis/prognosis lead to significantly lower failure rate. Based on the analysis results, the advantages/disadvantages of the novel method are also discussed. This study also provides insights for better safety analysis of the CPSs.

Industrie 4.0 – technological approaches, use cases, and implementation

2015 ◽  
Vol 63 (10) ◽  
Author(s):  
Reiner Anderl
Keyword(s):  
Additive Manufacturing ◽  
Value Added ◽  
Cyber Physical Systems ◽  
Industrie 4.0 ◽  
Use Cases ◽  
Value Chains ◽  
Horizontal Integration ◽  
Physical Systems ◽  
Smart Systems ◽  
Definition Of

AbstractIndustrie 4.0 aims at improving value chains and value-added networks in industry. Technologically the approach is based on the introduction of cyber-physical systems. Their capabilities form the basis for smart systems. This paper presents technological approaches for Industrie 4.0 and introduces use cases as a specification technique for application scenarios. A demonstrator for additive manufacturing is presented. Lessons learnd from this demonstrator have led to the definition of capabilities for vertical and horizontal integration within Industrie 4.0.

scholarly journals Software Safety and Security Risk Mitigation in Cyber-physical Systems

IEEE Software ◽  
2018 ◽  
Vol 35 (1) ◽  
pp. 24-29 ◽  
Author(s):  
Miklos Biro ◽  
Atif Mashkoor ◽  
Johannes Sametinger ◽  
Remzi Seker
Keyword(s):  
Risk Mitigation ◽  
Cyber Physical Systems ◽  
Security Risk ◽  
Software Safety ◽  
Physical Systems

scholarly journals Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games

Electronics ◽  
2019 ◽  
Vol 8 (2) ◽  
pp. 212 ◽  
Author(s):  
Xiaomin Wei ◽  
Yunwei Dong ◽  
Pengpeng Sun ◽  
Mingrui Xiao
Keyword(s):  
Model Checking ◽  
Stochastic Games ◽  
Safety Analysis ◽  
Cyber Physical Systems ◽  
System Level ◽  
Probabilistic Model Checking ◽  
Critical Systems ◽  
System Safety ◽  
Physical Systems ◽  
Analysis And Design

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the safety of power-related systems. However, in many cases, GCPSs may be subject to uncertain and nondeterministic environmental hazards, as well as the variable quality of devices. They can cause failures and hazards in the whole system and may jeopardize system safety. Thus, it necessitates safety analysis for system safety assurance. This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games. GCPSs are modeled using Architecture Analysis and Design Language (AADL). Random errors and failures of a GCPS and nondeterministic environment behaviors are explicitly described with AADL annexes. A GCPS AADL model including the environment can be regarded as a game. To transform AADL models to stochastic multi-player games (SMGs) models, model transformation rules are proposed and the completeness and consistency of rules are proved. Property formulae are formulated for formal verification of GCPS SMG models, so that occurrence probabilities of failed states and hazards can be obtained for system-level safety analysis. Finally, a modified IEEE 9-bus system with grid elements that are power management systems is modeled and analyzed using the proposed approach.

Sign in / Sign up

Export Citation Format

Share Document