{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:51Z","timestamp":1750307511861,"version":"3.41.0"},"reference-count":14,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,1,25]],"date-time":"2010-01-25T00:00:00Z","timestamp":1264377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2010,1,25]]},"abstract":"<jats:p>Software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Certain faults in critical systems can result in catastrophic consequences such as death, injury or environmental harm. The focus of this paper is an integrated approach to software safety analysis based on a combination of two existing fault removal techniques, and implementation of software safety in developing a small prototype safety-critical system. A comprehensive software safety analysis involving a combination of Failure Modes and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) techniques is conducted on the software functions of the critical system to identify potentially hazardous software faults. A prototype safety-critical system - Railroad Crossing Control System (RCCS), incorporating a microcontroller and software to operate the train on a track circuit is described. We also briefly compare safety-specific and non-safety specific techniques at developing RCCS.<\/jats:p>","DOI":"10.1145\/1668862.1668865","type":"journal-article","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T02:56:32Z","timestamp":1270608992000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Integrated safety analysis of software-controlled critical systems"],"prefix":"10.1145","volume":"35","author":[{"given":"Ben Swarup","family":"Medikonda","sequence":"first","affiliation":[{"name":"Andhra University, Visakhapatnam, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. Seetha","family":"Ramaiah","sequence":"additional","affiliation":[{"name":"Andhra University, Visakhapatnam, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,1,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336556"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581406"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"key":"e_1_2_1_4_1","unstructured":"James Gleick. The New York Times Magazine 1st December 1996.  James Gleick. The New York Times Magazine 1st December 1996."},{"key":"e_1_2_1_5_1","unstructured":"Dale M. Gray. Frontier Status Report #203 19 May 2000. www. asi.org  Dale M. Gray. Frontier Status Report #203 19 May 2000. www. asi.org"},{"key":"e_1_2_1_6_1","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Qantas_Flight_72  http:\/\/en.wikipedia.org\/wiki\/Qantas_Flight_72"},{"key":"e_1_2_1_7_1","unstructured":"http:\/\/news.bbc.co.uk\/2\/hi\/science\/nature\/4381840.stm  http:\/\/news.bbc.co.uk\/2\/hi\/science\/nature\/4381840.stm"},{"key":"e_1_2_1_8_1","unstructured":"IEEE STD 1012 IEEE Standard for Software Verification and Validation Plans The Institute of Electrical and Electronics Engineering Inc. USA 1986.  IEEE STD 1012 IEEE Standard for Software Verification and Validation Plans The Institute of Electrical and Electronics Engineering Inc. USA 1986."},{"key":"e_1_2_1_9_1","unstructured":"N. G. Leveson Safeware: System Safety and Computers. Addison-Wesley 1995.   N. G. Leveson Safeware: System Safety and Computers. Addison-Wesley 1995."},{"key":"e_1_2_1_10_1","unstructured":"Debra S. Herman \"Software Safety and Reliability Basics:\" (ch.2) Software Safety and Reliability: Techniques Approaches and Standards of Key Industrial Sectors Wiley-IEEE Computer Society Press 2000.  Debra S. Herman \"Software Safety and Reliability Basics:\" (ch.2) Software Safety and Reliability: Techniques Approaches and Standards of Key Industrial Sectors Wiley-IEEE Computer Society Press 2000."},{"key":"e_1_2_1_11_1","unstructured":"EN50128 Railway Applications: Software for Railway Protection and Control Systems. CENELEC.  EN50128 Railway Applications: Software for Railway Protection and Control Systems. CENELEC."},{"key":"e_1_2_1_12_1","unstructured":"DO-178B\/ED-12B Software Considerations in Airborne Systems and Equipment Certification RTCA EUROCAE December 1992.  DO-178B\/ED-12B Software Considerations in Airborne Systems and Equipment Certification RTCA EUROCAE December 1992."},{"key":"e_1_2_1_13_1","unstructured":"IEEE Std. 610.12-1990 Standard Glossary of Software Engineering Terminology.  IEEE Std. 610.12-1990 Standard Glossary of Software Engineering Terminology."},{"volume-title":"Proceedings of the 21st Digital Avionics Systems Conference (DASC'02)","year":"2002","author":"Alan C.","key":"e_1_2_1_14_1"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1668862.1668865","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1668862.1668865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:18:03Z","timestamp":1750249083000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1668862.1668865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,25]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1,25]]}},"alternative-id":["10.1145\/1668862.1668865"],"URL":"https:\/\/doi.org\/10.1145\/1668862.1668865","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2010,1,25]]},"assertion":[{"value":"2010-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}