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.

References

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/23824
8.
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.pdf
12.
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.pdf
14.
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.
You do not currently have access to this content.