Development of a normative package for safety-critical software using formal regulatory requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3009, Issue , 2004, Pages 523-537

  Vilkomir, Sergiy A ^a   Ghose, Aditya K ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CONTROL SYSTEMS; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; SAFETY ENGINEERING;

COLLECTION OF DOCUMENTS; NEW APPROACHES; REGULATORY PROCESS; REGULATORY REQUIREMENTS; REQUIREMENT ENGINEERING; REQUIREMENTS INCONSISTENCIES; SAFETY CRITICAL SOFTWARE; SOFTWARE ASSESSMENT;

FORMAL METHODS;

EID: 35048878719     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24659-6_38     Document Type: Article

References (31)

1. Blyth, D., Boldyreff, C., Ruggles, C., Tetteh-Lartey, N.: The case for formal methods in standards. IEEE Software, Volume 7, Issue 5 (1990) 65-67
2. Bowen, J.P.: Formal Specification and Documentation Using Z: A Case Study Approach. International Thomson Computer Press (1996)
3. Brown, S.: Overview of IEC 61508. Design of electrical/electronic/programmable electronic safety-related systems. Computing & Control Engineering Journal, Vol. 11, Issue 1 (2000) 6-12
4. Cortellessa, V., Cukic, B., Mili. A., Shereshevsky, M., Sandhu, H., Del Gobbo, D., Napolitano, M.: Certifying Adaptive Flight Control Software. Proceedings of the IS ACC2000 - The Software Risk Management Conference, Reston, VA, USA (2000)
5. McDermid, J.A., Pumfrey, D.J.: Software Safety: Why is there no Consensus? Proceedings of the 19th International System Safety Conference, Huntsville, AL, USA (2001)
6. Emmerich, W., Finkelstein, A., Montangero, C, Antonelli, S., Armitage, S., Stevens, R.: Managing standards compliance. IEEE Transactions on Software Engineering, Vol. 25, Issue 6 (1999) 836-851
7. Emmet, L., Bloomfield, R.: Viewpoints on Improving the Standards Making Process: Document Factory or Consensus Management? Proceedings of the Third International Software Engineering Standards Symposium (ISSES 97), Walnut Creek, California, USA (1997)
8. Eriksson L-H.: Specifying Railway Interlocking Requirements for Practical Use. Proceedings of the 15th International Conference on Computer Safety, Reliability and Security (SAFE-COMP'96), Vienna, Austria (1996)
9. 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)
10. Fenton, N.E., Neil, M.: A strategy for improving safety related software engineering standards. IEEE Transactions on Software Engineering, Vol. 24, Issue 11 (1998) 1002-1013
11. Hayhurst, K.J., Holloway, C.M.: Challenges in software aspects of aerospace systems. Proceedings of 26th Annual NASA Goddard Software Engineering Workshop (IEEE/NASA SEW-26 2001), Greenbelt, MD, USA (2001) 7-13
12. IAEA Safety Standards Series No. GS-R-1. Legal and Governmental Infrastructure for Nuclear, Radiation, Radioactive Waste and Transport Safety: Safety Requirements. International Atomic Energy Agency, Vienna (2000)
13. IAEA Safety Standards Series No. NS-G-1.1. Software for Computer Based Systems Important to Safety in Nuclear Power Plants. Safety Guide. International Atomic Energy Agency, Vienna (2000)
14. IEC 61508. Functional safety of electrical/electronic/ programmable electronic safety-related systems. Part 3: Software requirements. International Electrotechnical Commission (1998)
15. IEC 60880. Software for computers in the safety systems of nuclear power stations. Edn.: 1.0, International Electrotechnical Commission (1986)
16. IEEE Std 7-4.3.2-1993. IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations (1994)
17. ISO/IECTR 10000-1:1998. Information technology - Framework and taxonomy of International Standardized Profiles - Part 1: General principles and documentation framework. 4th edn. (1998)
18. Kharchenko, V.S., Shostak, I.V., Manzhos, Y.S.: The Intelligent System for Licensing Critical Software. Aerospace Engineering and Technologies, No. 4 (2002) 46-51 (in Russian)
19. Lutz, R.: Software Engineering for Safety: A Roadmap, Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, ACM (2000)
20. NUREG BR-0303. Guidance for Performance-Based Regulation. Prepared by N.P. Kadambi, U.S. Nuclear Regulatory Commission, Washington, DC, USA (2002)
21. Penny, J., Eaton, A., Bishop, P.G., Bloomfield, A.E.: The Practicalities of Goal-Based Safety Regulation. Proceedings of the Ninth Safety-Critical Systems Symposium, Bristol, UK (2001) 35-8
22. 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)
23. RTCA/DO-178B. Software Considerations in Airborne Systems and Equipment Certification. RTCA, Washington DC, USA (1992)
24. Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edn. (1992)
25. Thuy, N.N.Q., Ficheux-Vapne, F.: IEC 880: feedback of experience and guidelines for future work. Proceedings of Second IEEE International Software Engineering Standards Symposium (ISESS'95) (1995) 117-126
26. UK Def Stan 00-55 (Part 1)/Issue 2. Requirements for Safety Related Software in Defence Equipment. Part 1: Requirements (1997)
27. UK Def Stan 00-55 (Part 2)/Issue 2. Requirements for Safety Related Software in Defence Equipment. Part 2: Guidance (1997)
28. UK Def Stan 00-56 (Part 1 )/Issue 2. Safety Management Requirements for Defence Systems. Part 1: Requirements (1996)
29. Vilkomir, S.A., Bowen, J.P.: Establishing Formal Regulatory Requirements or Safety-Critical Software Certification. Proceedings of AQuIS 2002:5th International Conference on Achieving Quality In Software and SPICE 2002:2nd International Conference on Software Process Improvement and Capability Determination, Venice, Italy (2002) 7-18 Available: http://www.uow.edu.au/~sergiy/aquis2002.pdf
30. Vilkomir, S. A., Kharchenko, V.S.: An "Asymmetric" Approach to the Assessment of Safety-Critical Software During Certification and Licensing. Proceedings of ESCOM-SCOPE 2000 Conference, Munich, Germany (2000) 467-475
31. Vilkomir, S.A., Kharchenko, V.S.: Methodology of the review of software for safety important systems. Proceedings of ESREL'99 - The Tenth European Conference on Safety and Reliability, Vol. 1, Munich-Garching, Germany (1999) 593-596