0
Research Papers

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

[+] Author and Article Information
Shahrzad Oveisi

Department of Computer Engineering,
Central Tehran Branch,
Islamic Azad University,
Tehran 19978-55992, Iran
e-mail: sha.oveisiarangeh.eng@iauctb.ac.ir

Reza Ravanmehr

Department of Computer Engineering,
Central Tehran Branch,
Islamic Azad University,
Tehran 19978-55992, Iran
e-mail: r.ravanmehr@iauctb.ac.ir

1Corresponding author.

Contributed by the Computers and Information Division of ASME for publication in the JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING. Manuscript received April 22, 2017; final manuscript received June 23, 2017; published online July 26, 2017. Editor: Bahram Ravani.

J. Comput. Inf. Sci. Eng 17(3), 031018 (Jul 26, 2017) (11 pages) Paper No: JCISE-17-1083; doi: 10.1115/1.4037228 History: Received April 22, 2017; Revised June 23, 2017

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.

FIGURES IN THIS ARTICLE
<>
Copyright © 2017 by ASME
Your Session has timed out. Please sign back in to continue.

References

Figures

Grahic Jump Location
Fig. 1

From fault to mishap

Grahic Jump Location
Fig. 2

Safety engineering methods in risk management

Grahic Jump Location
Fig. 3

Workflow of the proposed approach

Grahic Jump Location
Fig. 4

The preconditions, main and alternative flows

Grahic Jump Location
Fig. 5

Fault tree obtained from UC-SFTA

Grahic Jump Location
Fig. 7

Schematics of producing SFMEA from SFTA

Grahic Jump Location
Fig. 8

SFMEA breakdown process

Grahic Jump Location
Fig. 9

Architecture of INOCS

Grahic Jump Location
Fig. 10

Use-case diagram of evaluate visibility

Grahic Jump Location
Fig. 11

SFTA of evaluate visibility

Grahic Jump Location
Fig. 12

The cut set and minimum cut set for SFTA of evaluate visibility

Grahic Jump Location
Fig. 13

Failure rate of the two basic events of evaluate visibility

Grahic Jump Location
Fig. 14

The reliability analysis results for different parameters (before and after SFMEA)

Tables

Errata

Discussions

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In