{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T18:52:48Z","timestamp":1780512768906,"version":"3.54.1"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2009,2,28]],"date-time":"2009-02-28T00:00:00Z","timestamp":1235779200000},"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":[[2009,2,28]]},"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. Because human lives may be lost and tremendous economic costs may result if the software fails, the development of high-integrity software adopts practices that impose greater rigor on the software development processes. Software safety is a composite of many factors. Existing software quality models like McCall's and Boehm's and ISO 9126 are inadequate in addressing the software safety issues of real time safety-critical embedded systems. At present there does not exist any standard framework that comprehensively addresses the factors, criteria and metrics (FCM) approach of the quality models in respect of software safety. The safety of a software component must be considered within the context of both the overall system of which it is a component and the environment in which this system operates. It is not useful to investigate the safety of a software component in isolation. This paper proposes a new framework for software safety based on the McCall's software quality model that specifically identifies the criteria corresponding to software safety in safety critical applications. The criteria in the proposed software safety framework pertains to system hazard analysis, completeness of requirements, identification of software-related safety-critical requirements, safety-constraints based design, run-time issues management, and software safety-critical testing. This framework is then applied to a prototype safety-critical system viz. a software--based Railroad Crossing Control System (RCCS) to validate its utility.<\/jats:p>","DOI":"10.1145\/1507195.1507207","type":"journal-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:22Z","timestamp":1239035662000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A framework for software safety in safety-critical systems"],"prefix":"10.1145","volume":"34","author":[{"given":"Ben Swarup","family":"Medikonda","sequence":"first","affiliation":[{"name":"Andhra University, Visakhapatnam, India"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Seetha Ramaiah","family":"Panchumarthy","sequence":"additional","affiliation":[{"name":"Andhra University, Visakhapatnam, India"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,2,28]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"MIl-STD-1574A (USAF) \"System Safety Program for Space and Missile Systems \" Dept of Defense US Govt. Printing Office 1979.  MIl-STD-1574A (USAF) \"System Safety Program for Space and Missile Systems \" Dept of Defense US Govt. Printing Office 1979."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.99"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1039174.1039193"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336556"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581406"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1244533"},{"key":"e_1_2_1_7_1","volume-title":"Wiley-IEEE Computer Society Press","author":"Herman Debra S.","year":"2000"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/508448.508472"},{"key":"e_1_2_1_9_1","unstructured":"N. Nissanke. Real-Time Systems. Prentice Hall International Series in Computer Science 1997.   N. Nissanke. Real-Time Systems. Prentice Hall International Series in Computer Science 1997."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1348246.1348249"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/7474.7528"},{"key":"e_1_2_1_12_1","unstructured":"Software Safety NASA Technical Standard 1997 http:\/\/satc.gsfc.nasa.gov\/assure\/distasst.pdf  Software Safety NASA Technical Standard 1997 http:\/\/satc.gsfc.nasa.gov\/assure\/distasst.pdf"},{"key":"e_1_2_1_13_1","volume-title":"Addison-Wesley Publishing Company","author":"Leveson N.","year":"1995"},{"key":"e_1_2_1_14_1","volume-title":"Boston","author":"Bass L.","year":"2003"},{"key":"e_1_2_1_15_1","unstructured":"Norman Fenton and Shari Pfleeger \"Measuring External Product Attributes\" (ch. 9). Software Metrics -- A Rigorous and Practical Appoach 2Edition pp. 337--359 Thomson 2003  Norman Fenton and Shari Pfleeger \"Measuring External Product Attributes\" (ch. 9). Software Metrics -- A Rigorous and Practical Appoach 2Edition pp. 337--359 Thomson 2003"},{"issue":"4","key":"e_1_2_1_16_1","first-page":"373","article-title":"A New Software Quality Model for Evaluating COTS Components","volume":"2","author":"Rawashdeh Adnan","journal-title":"Journal of Computer Science"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Boehm B. Software Risk Management IEEE Computer Society Press CA 1989.   Boehm B. Software Risk Management IEEE Computer Society Press CA 1989.","DOI":"10.1007\/3-540-51635-2_29"},{"key":"e_1_2_1_18_1","volume-title":"International Symposium on Empirical Software Engineering (ISESE)","author":"The Use B.","year":"2005"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of Sixth Asia Pacific Software Engineering Conference (APSEC)","author":"Singh Raghu","year":"1999"},{"key":"e_1_2_1_20_1","volume-title":"2nd Edition","author":"Dev","year":"2006"},{"key":"e_1_2_1_21_1","volume-title":"Department of Trade and Industry (UK)","author":"Ed Falla","year":"1998"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/74587.74628"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2005.4.1.c3"},{"key":"e_1_2_1_24_1","unstructured":"Ralph R. Young The Requirements Engineering Handbook Artech House 2004.  Ralph R. Young The Requirements Engineering Handbook Artech House 2004."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062635"},{"key":"e_1_2_1_26_1","unstructured":"MIL-STD-882C System Safety Program Requirements 1993 http:\/\/eic.ipo.noaa.gov\/IPOarchive\/MAN \/doc124.pdf  MIL-STD-882C System Safety Program Requirements 1993 http:\/\/eic.ipo.noaa.gov\/IPOarchive\/MAN \/doc124.pdf"},{"key":"e_1_2_1_27_1","unstructured":"NATO Standardization Agreement (STANAG) 4404 Safety Design Requirements and Guidelines for Munitions Related Safety Critical Computing Systems 1996.  NATO Standardization Agreement (STANAG) 4404 Safety Design Requirements and Guidelines for Munitions Related Safety Critical Computing Systems 1996."},{"key":"e_1_2_1_28_1","volume-title":"Ninth IEEE Symposium on Computer Based Medical Systems","author":"Satish","year":"1996"},{"key":"e_1_2_1_29_1","unstructured":"N. Storey Safety-Critical Computer Systems Addison-Wesley 1996.   N. Storey Safety-Critical Computer Systems Addison-Wesley 1996."},{"key":"e_1_2_1_30_1","unstructured":"W.R. Dunn Practical Design of Safety-Critical Computer Systems Reliability Press 2002.   W.R. Dunn Practical Design of Safety-Critical Computer Systems Reliability Press 2002."},{"key":"e_1_2_1_31_1","unstructured":"W. Goble Control Systems Safety Evaluation and Reliability ISA 1998.   W. Goble Control Systems Safety Evaluation and Reliability ISA 1998."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813597"},{"key":"e_1_2_1_33_1","unstructured":"Fault Tree Handbook NUREG-0492 US Nuclear Regulatory Commission 1981 www.nrc.gov\/readingrm\/doc-collections\/nuregs\/staff\/sr0492\/sr0492.pdf.  Fault Tree Handbook NUREG-0492 US Nuclear Regulatory Commission 1981 www.nrc.gov\/readingrm\/doc-collections\/nuregs\/staff\/sr0492\/sr0492.pdf."},{"key":"e_1_2_1_34_1","unstructured":"MIL-STD-882D Standard Practice for System Safety US Dept. of Defense 2000 http:\/\/www.geia.org\/sstc\/G48\/882d.pdf.  MIL-STD-882D Standard Practice for System Safety US Dept. of Defense 2000 http:\/\/www.geia.org\/sstc\/G48\/882d.pdf."},{"key":"e_1_2_1_35_1","unstructured":"Functional Safety of Electrical\/Electronic\/ Programmable Electronic Safety-Related Systems IEC 61508 Int'l Electrotechnical Commission 2000.  Functional Safety of Electrical\/Electronic\/ Programmable Electronic Safety-Related Systems IEC 61508 Int'l Electrotechnical Commission 2000."},{"key":"e_1_2_1_36_1","article-title":"Checking and Enforcing Safety: Runtime Verification and Runtime Reflection","author":"Leucker Martin","year":"2008","journal-title":"ERCIM News, Special Theme: Safety Critical Systems, Sophia Antipolis Cedex, France"},{"key":"e_1_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Marvin Zelkowithz and Ioana Rus \"Understanding IV &amp; V in a safety critical and complex evolutionary Environment: the NASA Space Shuttle Program\" Proceedings of the 23rd International Conference on Software Engineering (ICSE) Toronto Ontario Canada 2001.   Marvin Zelkowithz and Ioana Rus \"Understanding IV &amp; V in a safety critical and complex evolutionary Environment: the NASA Space Shuttle Program\" Proceedings of the 23rd International Conference on Software Engineering (ICSE) Toronto Ontario Canada 2001.","DOI":"10.1109\/ICSE.2001.919108"},{"key":"e_1_2_1_38_1","article-title":"Detecting Bugs in Safety Critical Code","author":"Anderson Paul","year":"2008","journal-title":"Dr. Dobbs Journal"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.212"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1507195.1507207","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1507195.1507207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:40Z","timestamp":1750253380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1507195.1507207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,2,28]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,2,28]]}},"alternative-id":["10.1145\/1507195.1507207"],"URL":"https:\/\/doi.org\/10.1145\/1507195.1507207","relation":{},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2009,2,28]]},"assertion":[{"value":"2009-02-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}