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

Abstract

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.

Software Safety Analysis with UML-Based SRBD and Fuzzy VIKOR- Based FMEA

“…Oveisi and Ravanmehr, after reviewing the major techniques of software reliability and safety in CPS, a software fault tree analysis (SFTA)-based approach is presented for analysis of operational use-cases (UC) in a CPS system [17].…”

“…The main flow of operations is shown as {M 1 , M 2 , …., M j } and the alternative flow of operations depending on each event is shown as {S 1 , S 2 , …., S n }. We have used the method proposed by Oveisi and Ravanmehr [17] to obtain preconditions, main flow, and alternative flow.…”

“…Then, the use-case specifications were written for them. The method proposed to generate SRBD is based on the approach proposed by Oveisi and Ravanmehr [17]. After generation of SRBD for further evaluation, RPN of baseline events was obtained using fuzzy VIKOR-based FMEA.…”

Software reliability prediction: A survey

“…The Institute of Electrical and Electronics Engineers (IEEE) has defined software reliability as “the probability of a software system or component to perform its intended function under the specified operating conditions over the specified period of time.” Software reliability is often recognized as a key factor in software quality since it quantifies software failures that cause the system to crash or become risky 14 . Software failure is described as “external deviation of program operation from requirements,” while fault is defined as “defect in the program during execution and under certain conditions leading to failure.” 15,16 In more detail, software fault is a defective, nonexistent or additional instruction, or a set of related instructions that result from one or more actual or potential failures 17…”

LSTM Encoder-Decoder Dropout Model in Software Reliability Prediction

“…Today, the software has found important roles in systems with sensitive applications such as medicine, the military industry, and nuclear reactors. Therefore, the risks and effects of software failures can lead to irreversible damage [1][2][3][4]. The existence of such issues has driven software system developers to check the quality of software before launching the product to the market as well as during the project completion stages [5][6].…”