{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:55:58Z","timestamp":1760597758012,"version":"3.41.2"},"reference-count":33,"publisher":"ASME International","issue":"3","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,1]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1115\/1.4037228","type":"journal-article","created":{"date-parts":[[2017,7,11]],"date-time":"2017-07-11T16:49:19Z","timestamp":1499791759000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":4,"title":["SFTA-Based Approach for Safety\/Reliability Analysis of Operational Use-Cases in Cyber-Physical Systems"],"prefix":"10.1115","volume":"17","author":[{"given":"Shahrzad","family":"Oveisi","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Central Tehran Branch, Islamic Azad University, Tehran 19978-55992, Iran e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reza","family":"Ravanmehr","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Central Tehran Branch, Islamic Azad University, Tehran 19978-55992, Iran e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2017,7,26]]},"reference":[{"issue":"4","key":"2019100315131151700_bib1","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.pmcj.2011.03.003","article-title":"Review From Wireless Sensor Networks Towards Cyber Physical Systems","volume":"7","year":"2011","journal-title":"J. Pervasive Mobile Comput."},{"key":"2019100315131151700_bib2","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461","article-title":"Cyber-Physical Systems: The Next Computing Revolution","volume-title":"DAC","year":"2012"},{"key":"2019100315131151700_bib3","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2011.6116428","article-title":"About Dependability in Cyber-Physical Systems","volume-title":"EWDTS","year":"2011"},{"key":"2019100315131151700_bib4","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1109\/ISORC.2008.25","article-title":"Cyber Physical Systems: Design Challenges","volume-title":"ISORC","year":"2008"},{"key":"2019100315131151700_bib5","doi-asserted-by":"publisher","DOI":"10.1109\/LISAT.2013.6578226","article-title":"FARE: A Framework for Benchmarking Reliability of Cyber-Physical Systems","volume-title":"LISAT","year":"2013"},{"first-page":"194","article-title":"Fault Tree Analysis of Software Reliability Allocation","year":"2009","key":"2019100315131151700_bib6"},{"key":"2019100315131151700_bib7","unstructured":"Murali, D. V., 2013, \u201cVerification of Cyber Physical Systems,\u201d M.S. thesis, Virginia Polytechnic Institute and State University, Blacksburg, VA. http:\/\/hdl.handle.net\/10919\/23824"},{"issue":"1","key":"2019100315131151700_bib8","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1504\/IJCCBS.2015.068851","article-title":"The Application of SFTA and SFMEA Approaches During Software Development Process: An Analytical Review","volume":"6","year":"2015","journal-title":"Int. J. Crit. Comput.-Based Syst."},{"issue":"4","key":"2019100315131151700_bib9","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s007660200016","article-title":"A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System","volume":"7","year":"2002","journal-title":"J. Requir. Eng."},{"key":"2019100315131151700_bib10","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2011.5754453","article-title":"Model-Driven Automated Software FMEA","volume-title":"RAMS","year":"2011"},{"key":"2019100315131151700_bib11","first-page":"322","article-title":"Use Case-Based Fault Tree Analysis of Safety-Related Embedded Systems","volume-title":"SEA","year":"2005"},{"key":"2019100315131151700_bib12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2011.5979366","article-title":"A Method of FTA Base on UML Use Case Diagram","volume-title":"ICRMS","year":"2011"},{"key":"2019100315131151700_bib13","first-page":"266","article-title":"Metric Suite for Directing the Failure Mode Analysis of Embedded Software Systems","volume-title":"ICEIS","year":"2005"},{"key":"2019100315131151700_bib14","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1016\/j.infsof.2015.06.004","article-title":"A Systematic Literature Review of Use Case Specifications Research","volume":"67","year":"2015","journal-title":"J. Inf. Software Technol."},{"key":"2019100315131151700_bib15","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1109\/SEW.2003.1270745","article-title":"Validation of Object Oriented Software Design With Fault Tree Analysis","volume-title":"SEW","year":"2003"},{"key":"2019100315131151700_bib16","doi-asserted-by":"publisher","DOI":"10.1117\/12.2056809","article-title":"INO340 Telescope Control System: Software Architecture and Development","volume":"9152","year":"2014","journal-title":"Proc. SPIE"},{"key":"2019100315131151700_bib17","doi-asserted-by":"publisher","DOI":"10.4271\/2005-01-0785","article-title":"Effective Application of Software Safety Techniques for Automotive Embedded Control Systems","year":"2005","journal-title":"SAE"},{"key":"2019100315131151700_bib18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSAI.2012.6223554","article-title":"Software Reliability Analysis on Embedded System Based on SFMEA and SFTA Model","volume-title":"ICSAI","year":"2012"},{"key":"2019100315131151700_bib19","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.ress.2015.02.008","article-title":"A Survey of Approaches Combining Safety and Security for Industrial Control Systems","volume":"139","year":"2015","journal-title":"J. Reliab. Eng. Syst. Saf."},{"key":"2019100315131151700_bib20","first-page":"29","article-title":"Analysis of Use Case Requirements Using SFTA and SFMEA Techniques","volume-title":"ICECCS","year":"2013"},{"key":"2019100315131151700_bib21","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1109\/RAIT.2012.6194499","article-title":"Eliciting Additional Safety Requirements From Use Cases Using SFTA","volume-title":"RAIT","year":"2012"},{"issue":"3","key":"2019100315131151700_bib22","doi-asserted-by":"publisher","first-page":"287","DOI":"10.5028\/jatm.2010.02037810","article-title":"Identifying Dependability Requirements for Space Software Systems","volume":"2","year":"2010","journal-title":"J. Aerosp. Technol. Manage."},{"key":"2019100315131151700_bib23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2014.7107237","article-title":"A Reuse-Oriented Auxiliary Construction Method for Software Fault Tree and Tool Implementation","volume-title":"ICRMS","year":"2014"},{"key":"2019100315131151700_bib24","doi-asserted-by":"publisher","DOI":"10.1109\/GrC.2013.6740435","article-title":"A Combined Analysis Method of FMEA and FTA for Improving The Safety Analysis Quality of Safety-Critical Software","volume-title":"GrC","year":"2013"},{"year":"2014","key":"2019100315131151700_bib25","article-title":"Software Safety Analysis to Identify Critical Software Faults in Software-Controlled Safety-Critical System"},{"key":"2019100315131151700_bib26","doi-asserted-by":"publisher","DOI":"10.1109\/ICRMS.2014.7107256","article-title":"Improved Reverse Integration of SFMEA and SFTA","volume-title":"ICRMS","year":"2014"},{"key":"2019100315131151700_bib27","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1109\/APSEC.2010.31","article-title":"Bridging the Gap Between Fault Trees and UML State Machine Diagrams for Safety Analysis","volume-title":"APSEC","year":"2010"},{"key":"2019100315131151700_bib28","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2006.8","article-title":"A Software Fault Tree Metric","volume-title":"ICSM","year":"2006"},{"key":"2019100315131151700_bib29","doi-asserted-by":"publisher","DOI":"10.1145\/1852666.1852754","article-title":"Safety and Security in Industrial Control","volume-title":"CSIIRW","year":"2010"},{"issue":"4","key":"2019100315131151700_bib30","doi-asserted-by":"publisher","first-page":"1124","DOI":"10.1016\/j.jss.2012.12.002","article-title":"Comparing Risk Identification Techniques for Safety and Security Requirement","volume":"86","year":"2013","journal-title":"J. Syst. Software"},{"volume-title":"Reliability and Risk Issues in Large Scale Safety-Critical Digital Control Systems","year":"2009","key":"2019100315131151700_bib31"},{"key":"2019100315131151700_bib32","doi-asserted-by":"publisher","DOI":"10.1117\/12.2231878","article-title":"Software Architecture of INO340 Telescope Control System","volume":"9913","year":"2016","journal-title":"Proc. SPIE"},{"key":"2019100315131151700_bib33"}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4037228\/6101562\/jcise_017_03_031018.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4037228\/6101562\/jcise_017_03_031018.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:13:20Z","timestamp":1570130000000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/doi\/10.1115\/1.4037228\/371042\/SFTABased-Approach-for-SafetyReliability-Analysis"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,26]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4037228","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2017,7,26]]},"article-number":"031018"}}