{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T18:40:34Z","timestamp":1740336034889,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540214212"},{"type":"electronic","value":"9783540246596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24659-6_38","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:21:35Z","timestamp":1280762495000},"page":"523-537","source":"Crossref","is-referenced-by-count":2,"title":["Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements"],"prefix":"10.1007","author":[{"given":"Sergiy A.","family":"Vilkomir","sequence":"first","affiliation":[]},{"given":"Aditya K.","family":"Ghose","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"38_CR1","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/52.57893","volume":"7","author":"D. Blyth","year":"1990","unstructured":"Blyth, D., Boldyreff, C., Ruggles, C., Tetteh-Lartey, N.: The case for formal methods in standards. IEEE Software\u00a07(5), 65\u201367 (1990)","journal-title":"IEEE Software"},{"key":"38_CR2","unstructured":"Bowen, J.P.: Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press (1996)"},{"issue":"1","key":"38_CR3","first-page":"6","volume":"11","author":"S. Brown","year":"2000","unstructured":"Brown, S.: Overview of IEC 61508. Design of electrical\/electronic\/programmable electronic safety-related systems. Computing & Control Engineering Journal\u00a011(1), 6\u201312 (2000)","journal-title":"Design of electrical\/electronic\/programmable electronic safety-related systems. Computing & Control Engineering Journal"},{"key":"38_CR4","unstructured":"Cortellessa, V., Cukic, B., Mili, A., Shereshevsky, M., Sandhu, H., Del Gobbo, D., Napolitano, M.: Certifying Adaptive Flight Control Software. In: Proceedings of the ISACC 2000 - The Software Risk Management Conference, Reston, VA, USA (2000)"},{"key":"38_CR5","unstructured":"McDermid, J.A., Pumfrey, D.J.: Software Safety: Why is there no Consensus? In: Proceedings of the 19th International System Safety Conference, Huntsville, AL, USA (2001)"},{"issue":"6","key":"38_CR6","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1109\/32.824413","volume":"25","author":"W. Emmerich","year":"1999","unstructured":"Emmerich, W., Finkelstein, A., Montangero, C., Antonelli, S., Armitage, S., Stevens, R.: Managing standards compliance. IEEE Transactions on Software Engineering\u00a025(6), 836\u2013851 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Emmet, L., Bloomfield, R.: Viewpoints on Improving the Standards Making Process: Document Factory or Consensus Management? In: Proceedings of the Third International Software Engineering Standards Symposium (ISSES 1997),Walnut Creek, California, USA (1997)","DOI":"10.1109\/SESS.1997.595972"},{"key":"38_CR8","unstructured":"Eriksson, L.-H.: Specifying Railway Interlocking Requirements for Practical Use. In: Proceedings of the 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP 1996), Vienna, Austria (1996)"},{"key":"38_CR9","unstructured":"European Commission. Nuclear Safety and Environment. Common position of European nuclear regulators for the licensing of safety critical software for nuclear reactors. Report EUR 19265 (2000)"},{"issue":"11","key":"38_CR10","doi-asserted-by":"publisher","first-page":"1002","DOI":"10.1109\/32.730547","volume":"24","author":"N.E. Fenton","year":"1998","unstructured":"Fenton, N.E., Neil, M.: Astrategy for improving safety related software engineering standards. IEEE Transactions on Software Engineering\u00a024(11), 1002\u20131013 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Hayhurst, K.J., Holloway, C.M.: Challenges in software aspects of aerospace systems. In: Proceedings of 26th Annual NASA Goddard Software Engineering Workshop (IEEE\/NASA SEW-26 2001), Greenbelt, MD, USA, pp. 7\u2013130 (2001)","DOI":"10.1109\/SEW.2001.992649"},{"key":"38_CR12","unstructured":"IAEA Safety Standards Series No. GS-R-1. Legal and Governmental Infrastructure for Nuclear, Radiation, RadioactiveWaste and Transport Safety: Safety Requirements. International Atomic Energy Agency, Vienna (2000)"},{"key":"38_CR13","unstructured":"IAEA Safety Standards Series No. NS-G-1.1: Software for Computer Based Systems Important to Safety in Nuclear Power Plants. Safety Guide. In: International Atomic Energy Agency, Vienna (2000)"},{"key":"38_CR14","unstructured":"IEC 61508. Functional safety of electrical\/electronic\/ programmable electronic safety-related systems. Part 3: Software requirements. International Electrotechnical Commission (1998)"},{"key":"38_CR15","unstructured":"IEC 60880. Software for computers in the safety systems of nuclear power stations. Edn.: 1.0, International Electrotechnical Commission (1986)"},{"key":"38_CR16","unstructured":"IEEE Std 7-4.3.2-1993. IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations (1994)"},{"key":"38_CR17","unstructured":"ISO\/IEC TR 10000-1:1998. Information technology \u2013 Framework and taxonomy of International Standardized Profiles \u2013 Part 1: General principles and documentation framework, 4th edn. (1998)"},{"key":"38_CR18","unstructured":"Kharchenko, V.S., Shostak, I.V., Manzhos, Y.S.: The Intelligent System for Licensing Critical Software. Aerospace Engineering and Technologies\u00a0(4), 46\u201351 (2002) (in Russian)"},{"key":"38_CR19","doi-asserted-by":"crossref","unstructured":"Lutz, R.: Software Engineering for Safety: A Roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, ACM, New York (2000)","DOI":"10.1145\/336512.336556"},{"key":"38_CR20","unstructured":"NUREG BR-0303. Guidance for Performance-Based Regulation. Prepared by N.P. Kadambi, U.S. Nuclear Regulatory Commission,Washington, DC, USA (2002)"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Penny, J., Eaton, A., Bishop, P.G., Bloomfield, A.E.: The Practicalities of Goal-Based Safety Regulation. In: Proceedings of the Ninth Safety-Critical Syste0ms Symposium, Bristol, UK, pp. 35\u201348 (2001)","DOI":"10.1007\/978-1-4471-0713-2_3"},{"key":"38_CR22","unstructured":"Regulatory Guide 1.152. Criteria for Digital Computers in Safety Systems of Nuclear Power Plants. Revision 1, U.S. Nuclear Regulatory Commission,Washington, DC, USA (1996)"},{"key":"38_CR23","unstructured":"RTCA\/DO-178B. Software Considerations inAirborne Systems and Equipment Certification. RTCA, Washington DC, USA (1992)"},{"key":"38_CR24","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science (1992)"},{"key":"38_CR25","doi-asserted-by":"crossref","unstructured":"Thuy, N.N.Q., Ficheux-Vapne, F.: IEC 880: feedback of experience and guidelines for future work. In: Proceedings of Second IEEE International Software Engineering Standards Symposium (ISESS 1995), pp. 117\u2013126 (1995)","DOI":"10.1109\/SESS.1995.525957"},{"key":"38_CR26","unstructured":"UK Def Stan 00-55 (Part 1)\/Issue 2. Requirements for Safety Related Software in Defence Equipment. Part 1: Requirements (1997)"},{"key":"38_CR27","unstructured":"UK Def Stan 00-55 (Part 2)\/Issue 2. Requirements for Safety Related Software in Defence Equipment. Part 2: Guidance (1997)"},{"key":"38_CR28","unstructured":"UK Def Stan 00-56 (Part 1)\/Issue 2. Safety Management Requirements for Defence Systems. Part 1: Requirements (1996)"},{"key":"38_CR29","unstructured":"Vilkomir, S.A., Bowen, J.P.: Establishing Formal Regulatory Requirements or Safety-Critical Software Certification. In: Proceedings ofAQuIS 2002: 5th International Conference on Achieving Quality In Software and SPICE 2002: 2nd International Conference on Software Process Improvement and Capability Determination, Venice, Italy, pp. 7\u201318 (2002), Available http:\/\/www.uow.edu.au\/~sergiy\/aquis2002.pdf"},{"key":"38_CR30","unstructured":"Vilkomir, S.A., Kharchenko, V.S.: An \u201cAsymmetric\u201d Approach to the Assessment of Safety- Critical Software During Certification and Licensing. In: Proceedings of ESCOM-SCOPE 2000 Conference, Munich, Germany, pp. 467\u2013475 (2000)"},{"key":"38_CR31","unstructured":"Vilkomir, S.A., Kharchenko, V.S.: Methodology of the review of software for safety important systems. In: Proceedings of ESREL 1999 - The Tenth European Conference on Safety and Reliability, Munich-Garching, Germany, vol.\u00a01, pp. 593\u2013596 (1999)"}],"container-title":["Lecture Notes in Computer Science","Product Focused Software Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24659-6_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T18:06:42Z","timestamp":1740334002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24659-6_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540214212","9783540246596"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24659-6_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}