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

Wu, J. , Kao, F. , and Tseng, C. H. , 2011, “ Review From Wireless Sensor Networks Towards Cyber Physical Systems,” J. Pervasive Mobile Comput., 7(4), pp. 397–413. [CrossRef]
Rajkumar, R. , and Lee, I. , 2012, “ Cyber-Physical Systems: The Next Computing Revolution,” 47th ACM/IEEE Design Automation Conference (DAC), Anaheim, CA, June 13–18, pp. 5–11.
Miclea, L. , and Sanislav, T. , 2011, “ About Dependability in Cyber-Physical Systems,” Nineth IEEE East-West Design and Test Symposium (EWDTS), Sevastopol, Ukraine, Sept. 9–12, pp. 10–15.
Edward, A. L. , 2008, “ Cyber Physical Systems: Design Challenges,” 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, May 5–7, pp. 363–369.
Wu, L. , and Kaiser, G. , 2013, “ FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems,” IEEE Long Island Systems, Applications and Technology Conference (LISAT), Farmingdale, NY, May 3, pp. 25–31.
Jianwen, X. , and Kokichi, F. , 2009, “ Fault Tree Analysis of Software Reliability Allocation,” WRI World Congress on Software Engineering (WCSE), Xiamen, China, May 19–21, pp. 194–198.
Murali, D. V. , 2013, “ Verification of Cyber Physical Systems,” M.S. thesis, Virginia Polytechnic Institute and State University, Blacksburg, VA. http://hdl.handle.net/10919/23824
Vyas, P. , and Mittal, R. K. , 2015, “ The Application of SFTA and SFMEA Approaches During Software Development Process: An Analytical Review,” Int. J. Crit. Comput.-Based Syst., 6(1), pp. 29–49. [CrossRef]
Helmer, G. , Wong, J. , and Slagell, M. , 2002, “ A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System,” J. Requir. Eng., 7(4), pp. 207–220. [CrossRef]
Snooke, N. , and Price, Ch. , 2011, “ Model-Driven Automated Software FMEA,” IEEE Annual Reliability and Maintainability Symposium (RAMS), Lake Buena Vista, FL, Jan. 24–27, pp. 32–38.
Balz, E. , and Goll, J. , 2005, “ Use Case-Based Fault Tree Analysis of Safety-Related Embedded Systems,” Ninth IASTED International Conference on Software Engineering and Applications (SEA), Phoenix, AZ, Nov. 14–16, pp. 322–330. http://www.it-designers-gruppe.de/uploads/media/Balz-Goll-Use-case-based-fault-tree.pdf
Hu, W. , Deng, Zh. , and Hong, Y. , 2011, “ A Method of FTA Base on UML Use Case Diagram,” Nineth IEEE International Conference on Reliability, Maintainability and Safety (ICRMS), Guiyang, China, June 12–15, pp. 11–14.
Menkhaus, G. , and Andrich, B. , 2005, “ Metric Suite for Directing the Failure Mode Analysis of Embedded Software Systems,” The Seventh International Conference on Enterprise Information Systems (ICEIS), Miami, FL, May 25–28, pp. 266–273. http://www.softwareresearch.net/fileadmin/src/docs/publications/C069.pdf
Tiwari, S. , and Gupta, A. , 2015, “ A Systematic Literature Review of Use Case Specifications Research,” J. Inf. Software Technol., 67, pp. 128–158. [CrossRef]
Towhidnejad, M. , Wallace, D. R. , and Gallo, A. M. , 2003, “ Validation of Object Oriented Software Design With Fault Tree Analysis,” 28th Annual NASA Goddard/IEEE Software Engineering Workshop (SEW), Greenbelt, MS, Dec. 3–4, pp. 209–215.
Ravanmehr, R. , and Jafarzadeh, A. , 2014, “ INO340 Telescope Control System: Software Architecture and Development,” Proc. SPIE, 9152, p. 91521Q.
Czerny, B. , D'Ambrosio, J. , Murray, B. , and Sundaram, P. , 2005, “ Effective Application of Software Safety Techniques for Automotive Embedded Control Systems,” SAE Paper No. 2005-01-0785.
He, X. , and Li, Y. , 2012, “ Software Reliability Analysis on Embedded System Based on SFMEA and SFTA Model,” IEEE International Conference on Systems and Informatics (ICSAI), Yantai, China, May 19–20, pp. 11–15.
Kriaa, S. , and Bouissou, M. , 2015, “ A Survey of Approaches Combining Safety and Security for Industrial Control Systems,” J. Reliab. Eng. Syst. Saf., 139, pp. 156–178. [CrossRef]
Tiwari, S. , Rathore Singh, S. , and Gupta, S. , 2013, “ Analysis of Use Case Requirements Using SFTA and SFMEA Techniques,” 17th International Conference on Engineering of Complex Computer Systems (ICECCS), Paris, France, July 18–20, pp. 29–38. http://ieeexplore.ieee.org/document/6299248/
Vyas, P. , and Mittal, R. K. , 2012, “ Eliciting Additional Safety Requirements From Use Cases Using SFTA,” First IEEE International Conference on Recent Advances in Information Technology (RAIT), Dhanbad, India, Mar. 15–17, pp. 29–38.
Romani, M. , Lahoz, C. , and Yano, E. , 2010, “ Identifying Dependability Requirements for Space Software Systems,” J. Aerosp. Technol. Manage., 2(3), pp. 287–300. [CrossRef]
Li, L. , Lu, M., and Gu, T. 2014, “ A Reuse-Oriented Auxiliary Construction Method for Software Fault Tree and Tool Implementation,” IEEE International Conference on Reliability, Maintainability and Safety (ICRMS), Guangzhou, China, Aug. 6–8, pp. 8–14.
Han, X. , and Zhang, J. , 2013, “ A Combined Analysis Method of FMEA and FTA for Improving The Safety Analysis Quality of Safety-Critical Software,” IEEE International Conference on Granular Computing (GrC), Beijing, China, Dec. 13–15, pp. 353–357.
Swarup Medikonda, B. , and Seetha Ramaiah, P. , 2014, “ Software Safety Analysis to Identify Critical Software Faults in Software-Controlled Safety-Critical System,” ICT and Critical Infrastructure: 48th Annual Convention of Computer Society of India, Visakhapatnam, India, Dec. 13–15, pp. 455–465.
Zhao, J. , and Zhang, H. , 2014, “ Improved Reverse Integration of SFMEA and SFTA,” IEEE International Conference on Reliability, Maintainability and Safety (ICRMS), Guangzhou, China, Aug. 6–8, pp. 23–29.
Kim, H. , Eric Wong, W. , and Debroy, V. , 2010, “ Bridging the Gap Between Fault Trees and UML State Machine Diagrams for Safety Analysis,” 17th Asia Pacific Software Engineering Conference (APSEC), Sydney, Australia, Nov. 30–Dec. 3, pp. 196–205.
Needham, D. , and Jones, S. , 2006, “ A Software Fault Tree Metric,” 22nd IEEE International Conference on Software Maintenance (ICSM), Philadelphia, PA, Sept. 24–27, pp. 21–31.
Kornecki, A. J. , and Zalewski, J. , 2010, “ Safety and Security in Industrial Control,” The Sixth Annual Workshop on Cyber Safety and Information Intelligence Research (CSIIRW), Oak Ridge, TN, Apr. 21–23, Paper No. 77.
Raspotnig, C. H. , and Opdahl, A. , 2013, “ Comparing Risk Identification Techniques for Safety and Security Requirement,” J. Syst. Software, 86(4), pp. 1124–1151. [CrossRef]
Seon, P. H. , 2009, Reliability and Risk Issues in Large Scale Safety-Critical Digital Control Systems ( Springer Series in Reliability Engineering), Springer-Verlag, London. [CrossRef]
Ravanmehr, R. , and Khosroshahi, H. , 2016, “ Software Architecture of INO340 Telescope Control System,” Proc. SPIE, 9913, p. 99131L.
Ericson, C. A., II, 2011, Fault Tree Analysis Primer, CreateSpace Independent Publishing North Charleston, SC.

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