{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T11:34:47Z","timestamp":1775302487852,"version":"3.50.1"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005,1]]},"abstract":"<jats:p>This paper describes the current status of software safety in terms of research and existing standards. It highlights the differences between various standards set up by government agencies to accomplish the same safety objectives. For example, European standards tend to place more emphasis on static analysis whereas American standards prefer dynamic testing to verify the software. An optimal verification approach is still a debatable issue in the software safety community. As for future direction, the author believes that the key to making safer and cheaper software is to have better requirements validation that ensure that the requirements are correct and complete before the design and coding phases begin.<\/jats:p>","DOI":"10.1145\/1039174.1039193","type":"journal-article","created":{"date-parts":[[2005,1,26]],"date-time":"2005-01-26T16:49:14Z","timestamp":1106758154000},"page":"3","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Software safety"],"prefix":"10.1145","volume":"30","author":[{"given":"P. V.","family":"Bhansali","sequence":"first","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2005,1]]},"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","unstructured":"Aerospace Recommended Practice ARP4754 \"Certification Considerations for Highly-Integrated or Complex Aircraft Systems \" 1996.  Aerospace Recommended Practice ARP4754 \"Certification Considerations for Highly-Integrated or Complex Aircraft Systems \" 1996."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.179168"},{"key":"e_1_2_1_4_1","unstructured":"Defence Standard 00-55 \"Requirements for Safety Related Software in Defence Equipment \" 1997.  Defence Standard 00-55 \"Requirements for Safety Related Software in Defence Equipment \" 1997."},{"key":"e_1_2_1_5_1","unstructured":"RTCA Inc document number RTCA\/DO-178B \"Software Considerations in Airborne Systems and Equipment Certification \" 1992.  RTCA Inc document number RTCA\/DO-178B \"Software Considerations in Airborne Systems and Equipment Certification \" 1992."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1039174.1039192"},{"issue":"3","key":"e_1_2_1_7_1","volume":"39","author":"Bhansali P. V.","year":"2003","journal-title":"Journal of System Safety"},{"key":"e_1_2_1_8_1","unstructured":"Leveson N. G. \"Safeware: System Safety and Computers \" Addison-Wesley 1995.   Leveson N. G. \"Safeware: System Safety and Computers \" Addison-Wesley 1995."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1039174.1039191"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1039174.1039193","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1039174.1039193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:43Z","timestamp":1750264303000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1039174.1039193"}},"subtitle":["current status and future direction"],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":9,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["10.1145\/1039174.1039193"],"URL":"https:\/\/doi.org\/10.1145\/1039174.1039193","relation":{},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2005,1]]},"assertion":[{"value":"2005-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}