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.
Issue Section:
Research Papers
References
1.
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
.2.
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.3.
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.4.
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
. 5.
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. 6.
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
.7.
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/238248.
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
.9.
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
.10.
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. 11.
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.pdf12.
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. 13.
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.pdf14.
Tiwari
, S.
, and Gupta
, A.
, 2015
, “A Systematic Literature Review of Use Case Specifications Research
,” J. Inf. Software Technol.
, 67
, pp. 128
–158
.15.
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
. 16.
Ravanmehr
, R.
, and Jafarzadeh
, A.
, 2014
, “INO340 Telescope Control System: Software Architecture and Development
,” Proc. SPIE
, 9152
, p. 91521Q.17.
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.18.
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. 19.
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
.20.
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/21.
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
.22.
Romani
, M.
, Lahoz
, C.
, and Yano
, E.
, 2010
, “Identifying Dependability Requirements for Space Software Systems
,” J. Aerosp. Technol. Manage.
, 2
(3
), pp. 287
–300
.23.
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.24.
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.25.
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.26.
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. 27.
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
. 28.
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. 29.
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. 30.
Raspotnig
, C. H.
, and Opdahl
, A.
, 2013
, “Comparing Risk Identification Techniques for Safety and Security Requirement
,” J. Syst. Software
, 86
(4
), pp. 1124
–1151
.31.
Seon
, P. H.
, 2009
, Reliability and Risk Issues in Large Scale Safety-Critical Digital Control Systems
(Springer Series in Reliability Engineering
), Springer-Verlag, London
.32.
Ravanmehr
, R.
, and Khosroshahi
, H.
, 2016
, “Software Architecture of INO340 Telescope Control System
,” Proc. SPIE
, 9913
, p. 99131L. 33.
Ericson, C. A., II, 2011, Fault Tree Analysis Primer, CreateSpace Independent Publishing North Charleston, SC.
Copyright © 2017 by ASME
You do not currently have access to this content.
