Formal methods in safety-critical standards

Proceedings - 1993 Software Engineering Standards Symposium, SESS 1993

Volumn , Issue , 1993, Pages 168-177

  Bowen, J ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FORMAL METHODS; STANDARDS;

FUTURE TRENDS; SAFETY-CRITICAL EMBEDDED SYSTEMS;

SAFETY ENGINEERING;

EID: 70349127864     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SESS.1993.263953     Document Type: Conference Paper

References (49)

1. Austin, S., and Parkin, G.I.: Formal methods: A survey, National Physical Laboratory, Queens Road, Teddington, Middlesex TWll OLW, UK, March 1993
2. Bhansali, P.V.: Survey of software safety standards shows diversity, Computer, January 1993, pp. 88-89
3. Blyth, D., Bolddyreff, C, Ruggles, C, and Tetteh-Lartey, N.: The case for formal methods in standards, IEEE Software, September 1990, pp. 65-67
4. Bowen, J.P. (Ed.): Towards verified systems (Elsevier, Real-Time Safety Critical Systems series, 1993) In preparation
5. Bowen, J.P., and Nicholls, J.E. (Eds.): Z User Workshop, London 1992 (Springer-Verlag, Workshops in Computing, 1993)
6. Bowen, J.P., and Stavridou, V.: Safety-critical systems, formal methods and standards, Programming Research Group Technical Report PRG-TR-5-92, Oxford University Computing Laboratory, 1992 (Revised versions to appear in 4 and the BCS/IEE Software Engineering Journal)
7. Bowen, J.P., and Stavridou, V.: Formal methods and software safety, in [16], 1992, pp. 93-98
8. Bowen, J.P., and Stavridou, V.: The industrial take-up of formal methods in safety-critical and other areas: A perspective, in [47], 1993, pp. 183-195
9. Brown, M.J.D.: Rationale for the development of the UK defence standards for safety-critical computer software, Proc. 5th Annual Conference on Computer Assurance (COMPASS '90), Washington DC, USA, June 1990
10. Buxton, J.N., and Malcolm, R.: Software technology transfer, Software Engineering Journal, January 1991, 6, (1), pp. 17-23
11. Coopers & Lybrand: Safety related computer controlled systems market study, A review for the Department of Trade and Industry by Coopers & Lybrand in association with SRD-AEA Technology and Benchmark Research (HMSO, London, 1992)
12. Craigen, D., Gerhart, S., and Ralston, T.J.: An international survey of industrial applications of formal methods, Atomic Energy Control Board of Canada, U.S. National Institute of Standards and Technology, and U.S. Naval Research Laboratories, 1993
13. Craigen, D., Gerhart, S., and Ralston, T.J.: Formal methods reality check: Industrial usage, in [47], 1993, pp. 250-267
14. Deransart, P.: Prolog standardisation: the usefulness of a formal specification, on Usenet ccmp.lang.prolog, conp.softsare-eng and comp.-specif ication electronic newsgroups, October 1992
15. Devine, C, Fenton, N., and Page, S.: Deficiencies in existing software engineering standards as exposed by SMARTIE, in [37], 1993
16. Frey, H.H. (Ed.): Safety of computer control systems 1992 (SAFECOMP'92), Computer Systems in Safety-critical Applications, Proc. IFAC Symposium, Zurich, Switzerland, 28-30 October 1992 (Pergamon Press, 1992)
17. Gardiner, P.H.B.: Defence Standard 00-56: Development and support Project formal specification of procedural elements, Draft, FSEL/SRC/RDS-PRC/1 Version 3.2, Formal Systems (Europe) Ltd, 17 May 1993 (Available from John Elliot, Safety and Reliability Consultants Ltd (SRC), 89 High Street, Alton, Hampshire GU34 1LG, UK.)
18. Garlan, D.: Formal methods for software engineers: Tradeoffs in curriculum design, in Sledge, C. (Ed.): Software Engineering Education, SEI Conference, San Diego, California, USA, October 1992 (Springer-Verlag, Lecture Notes in Computer Science 640, 1992) pp. 131-142
19. Guiho, G., and Hennebert, C: SACEM software validation, Proc. 12th International Conference on Software Engineering (ICSE) (IEEE Computer Society Press, March 1990) pp. 186-191
20. Hall, J.A.: Seven myths of formal methods, IEEE Software, September 1990, pp. 11-19
21. Hall, P.A.V., and Resnick, M.: Standards, in McDer-mid, J.A. (Ed.): Software Engineer's Reference Book, part II, chapter 50 (Butterworth-Heinmann, 1991)
22. IEE: Safety-related systems: A professional brief for the engineer, The Institution of Electrical Engineers, Savoy Place, London WB2R OBR, UK, January 1992
23. IEEE: Software Safety Standards session, Proc. 7th Annual Conference on Computer Assurance (COMPASS '92), Gaithersburg, Maryland, USA, 15-18 June 1992
24. Jacky, J.: Safety-critical computing: Hazards, practices, standards and regulation, in Dunlop, C, and Kling, R. (Eds.): Computerization and controversy, chapter 5 (Academic Press, 1991) pp. 612-631
25. Laprie, J.C. (Ed.): Dependability: Basic concepts and terminology (Springer-Verlag, 1991)
26. Larsen, P.G., and Plat, N.: Standards for nonexecutable specification languages, The Computer Journal, December 1992, 35, (6), pp. 567-573
27. Leveson, N.G.: Software safety in embedded computer systems, Communications of the A CM, February 1991, 34, (2), pp. 34-46
28. MacKenzie, D.: Computers, formal proof, and the law courts, Notices of the American Mathematical Society, November 1992, 39, (9), pp. 1066-1069
29. Natsume, T., and Hasegawa, Y.: A view on computer systems and their safety in Japan, in [16], 1992, pp. 45-49
30. Neesham, C: Safe conduct, Computing, 12 November 1992, pp. 18-20
31. Neumann, P.G. (Ed.): Subsection on certification of professionals, ACM SIGSOFT Software Engineering Notes, January 1991, 16, (1), pp. 24-32
32. Neumann, P.G.: Illustrative risks to the public in the use of computer systems and related technology, A CM SIGSOFT Software Engineering Notes, January 1992, 17, (1), pp. 23-32
33. Parkin, G.I., and Wichmann, B.: Conformity clause for VDM-SL, in [47], 1993, pp. 501-520
34. Potocki de Montalk, J.P.: Computer software in civil aircraft, Microprocessors and Microsystems, in Cul-lyer, W.J. (Ed.): Special Issue on Safety Critical Systems, January 1993, 17, (1)
35. Rata, J.M.: Standardization efforts worldwide, in Bennett, P.: Safety aspects of computer control, chapter 4 (Butterworth-Heinmann, 1993) pp. 56-75
36. Redmill, F. (Ed.): Safety Systems: The Safety-Critical Systems Club Newsletter, Centre for Software Reliability, University of Newcastle upon Tyne, Newcastle NE1 7RU, UK, May 1993, 2, (3)
37. Redmill, F., and Anderson, T.: Safety-critical systems - current issues, techniques and standards (Chapman and Hall, 1993)
38. Smith, D.J., and Wood, K.B.: Engineering quality software: a review of current practices, standards and guidelines including new methods and development tools, 2nd edition (Elsevier Applied Science, 1989)
39. Sommerville, I.: Software engineering, 4th edition (Addison Wesley, 1992)
40. Thomas, M.C.: The industrial use of formal methods, Microprocessors and Microsystems, in Cullyer, W.J. (Ed.): Special Issue on Safety Critical Systems, January 1993, 17, (1)
41. Tierney, M.: The evolution of Def Stan 00-55 and 00-56: An intensification of the "formal methods debate" in the UK, Proc. Workshop on Policy Issues in Systems and Software Development, Science Policy Research Unit, Brighton, UK, July 1991
42. Tierney, M.: Some implications of Def Stan 00-55 on the software engineering labour process in safety critical developments, Research Centre for Social Sciences, Edinburgh University, 1991
43. Tripp, L.L.: Future of software engineering standards, A CM SIGSOFT Software Engineering Notes, January 1992, 17, (1), pp. 58-61
44. Wallace, D.R., Kuhn, D.R., and Cherniavsky, J.C: Report of the NIST workshop of standards for the assurance of high integrity software, NIST Special Publication 500-190, Computer Systems Laboratory, National Institute of Standards and Technology, Gaithersburg, MD 20899, USA, August 1991 (Available from the Superintendent of Documents, Government, U.S. Printing Office, Washington, DC 20402, USA.)
45. Wallace, D.R., Kuhn, D.R., and Ippolito, L.M.: An analysis of selected software safety standards, IEEE AES Magazine, August 1992, pp. 3-14 (Also presented in [23].)
46. Wichmann, B.A. (Ed.): Software in safety-related systems (Wiley, 1992) Also published by BCS (Includes a copy of the 00-55 standard [MoD91a].)
47. Woodcock, J.C.P., and Larsen, P.G. (Eds.): FME '93: Industrial-strength formal methods, First International Symposium of Formal Methods Europe, Odense, Denmark, 19-23 April 1993 (Springer-Verlag, Lecture Notes in Computer Science 670, 1993)
48. Wright, C.L., and Zawilski, A.J.: Existing and emerging standards for software safety. The MITRE Corporation, Center for Advanced Aviation System Development, 7525 Colshire Drive, McLean, Virginia 22102-3481, USA, MP-91W00028, June 1991 (Presented at the IEEE Fourth Software Engineering Standards Application Workshop, San Diego, California, USA, 20-24 May 1991.)
49. Youll, D.P.: Study of the training and education needed in support of Def Stan 00-55. Cranfield IT Institute Ltd, UK, September 1988 (Also included as an appendix of the April 1989 00-55 draft.)