Software in safety critical systems: Achievement and prediction

Nuclear Future

Volumn 2, Issue 3, 2006, Pages 140-145

  McDermid, John ^a   Kelly, Tim ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33746252972     PISSN: 17452058     EISSN: None     Source Type: Journal    
DOI: 10.1680/nuen.2006.2.3.140     Document Type: Review

References (27)

1. Hermann, D., Software Safety and Reliability. 1999: IEEE Computer Society Press.
2. 61508 - Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems, International Electrotechnical Commission (IEC), 1999.
3. EN 50128 - Railway applications: software for railway control and protection systems, CENELEC, 2001.
4. Software Considerations in Airborne Systems and Equipment Certification, Radio Technical Commission for Aeronautics RTCA DO-178B/EUROCAE ED-12B, 1993.
5. Safety Management Requirements for Defence Systems, Def Stan 00-56, UK Ministry of Defence, Issue 2, 1996.
6. Requirements for Safety Related Software in Defence Equipment, Def Stan 00-55, UK MoD, Issue 2, 1997.
7. Papadopoulos, Y., McDermid, J. A., The Potential for a Generic Approach to Certification of Safety Critical Systems in the Transportation Sector, Reliability Engineering and System Safety, 63(1), 47-66, Elsevier Science, 1999.
8. th May 1999.
9. German, A., Mooney, G., Air Vehicle Static Code Analysis - Lesson Learnt, in Aspects of Safety Management, F Redmill, T Anderson (Eds), Springer Verlag, 2001.
10. Fenton, N.E., Ohlsson, N., Quantitative Analysis of Faults and Failures in a Complex Software System, IEEE Transactions on Software Engineering, 26(8), 797-814, 2000.
11. Reifer, D.J., Industry Software Cost, Quality and Productivity Benchmarks, at: www.softwaretechnews.com/stn7-2/reifer.html
12. Hatton, L., Estimating Source Lines of Code from Object Code: Windows and Embedded Control Systems, 2005, at: www.leshatton.org/Documents/LOC2005.pdf
13. th Australian Workshop on Safety Critical Systems, Australian Computer Society, August 2004.
14. Shooman, M.L., Avionics Software Problem Occurrence Rates, in proceedings of the 7th International Symposium on Software Reliability Engineering, White Plains, NY, 1996. pp 53-64.
15. Butler, R.W., Finelli, G.B., The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Transactions on Software Engineering, 19(1), pp.3-12, January 1993.
16. Littlewood, B., Strigini, L., Assessment of Ultra-high Dependability of Software-Based Systems, Communications of the ACM, 36(11), pp 69-80, November 1993.
17. Bishop, P. G., Bloomfield, R. E., A Conservative Theory for Long-Tern Reliability Growth Prediction, in proceedings of the Seventh International Symposium on Software Reliability Engineering, IEEE, White Plains, NY, IEEE Computer Society, Nov. 1996.
18. Chillarege, R., Biyani, S., Rosenthal, J., Measurement of Failure Rate in Widely Distributed Software, 25th International Symposium on Fault-tolerant Computing, June 1995.
19. EN 50129, Safety-related electronic systems for signalling, CENELEC, 1998.
20. Littlewood B., Wright D., A Bayesian model that combines disparate evidence for the quantitative assessment of system dependability, in proceedings of the 14th International Conference on Computer Safety, pp. 173-188, Springer, 1995.
21. Fowler, D., Application of IEC 61508 to Air Traffic Management and Similar Complex Critical Systems - Methods and Mythology, in Lessons in System Safety, Proceedings of the Eighth Safety-Critical Systems Symposium, Anderson, T., Redmill, F. (Eds), pp226-245, Southampton, UK, Springer Verlag.
22. Redmill, F., Safety Integrity Levels - Theory and Problems, Lessons in Systems Safety, in Lessons in System Safety, Proceedings of the Eighth Safety-Critical Systems Symposium, Anderson, T., Redmill, F. (Eds), pp1-20, Southampton, UK, Springer Verlag.
23. Weaver, R. A., McDermid, J. A., Kelly, T. P., Software Safety Arguments: Towards a Systematic Categorisation of Evidence, in proceedings of the 20th International System Safety Conference (ISSC 2002), Denver, Colorado, USA, System Safety Society, 2002.
24. nd International System Safety Conference, Providence Rhode Island, System Safety Society, 2004.
25. Bendicktsson, O., Safety critical software and development productivity, The Second World Congress on Software Quality, Yokohama, 2000.
26. Boehm, B.W., Abts, C., Brown, A.W., Chulani, S., Clark, B.K., Horowitz, E., Madachy, R., Reifer, D., Steece, B., Software Cost Estimation with COCOMO II, Prentice Hall, 2000.
27. Hall, A., Chapman, R., Correctness by Construction: Developing a Commercial Secure System, IEEE Software, January/February, 2002.