Formal Aspects of Computing

, Volume 1, Issue 1, pp 5–18 | Cite as

Development methods for trusted computer systems

  • Martyn Thomas


Well-designed computer systems can be safer than hardwired alternatives, and computer systems can control processes which are too complex for hardwired solutions, or where the hardwired solution is uneconomic.

Key words

Safety critical computer systems Trustworthiness Good practice Formal methods 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ACM79]
    ACM Software Engineering Notes, 4,2 (1979).Google Scholar
  2. [Com88]
    Computing Australia, 13 June 1988.Google Scholar
  3. [Culnd]
    Cullyer, W. J.:Should We Trust Computers? Lecture to the Society for the Application of Research, Cambridge, UK. RSRE, St Andrews Rd, Gt Malvern, Worcestershire WR14 3PS.Google Scholar
  4. [Cul87]
    Cullyer, W. J.: Implementing Safety-Critical Systems: the VIPER Microprocessor, In:Proc. Workshop on Hardware Verification, Calgary, Canada, January 1987.Google Scholar
  5. [Defnd]
    Defence Standard 00-55.Google Scholar
  6. [Dij76]
    Dijkstra, E. W.:A Discipline of Programming. Prentice-Hall, 1976.Google Scholar
  7. [Fet88]
    Fetzer, J. H.: Program Verification: the Very Idea.Communications of the ACM, 31 (1988).Google Scholar
  8. [Hoa69]
    Hoare, C. A. R.: An Axiomatic Basis for Computer Programming.Communications of the ACM, 12, 576–580, 583 (1969).Google Scholar
  9. [IECnd]
    International Electrotechnical Committee [IEC] WG65A, TC9 and TC10.Google Scholar
  10. [Jon86]
    Jones, C. B.:Systematic Software Development Using VDM. Prentice-Hall, 1986.Google Scholar
  11. [Lev86]
    Leveson, N.:ACM Computing Surveys, 18, 1986.Google Scholar
  12. [Neund]
    Neumann, P. (ed.):ACM Forum on Risks to the Public in Computers and Related Systems. Extracts reprinted inACM Software Engineering Notes. The Forum is published electronically on USENET as newsgroup comp. risks.Google Scholar
  13. [Tho88]
    Thomas, M.:Should We Trust Computers? BCS/Unisys Annual Lecture 1988, available from Maureen Murphy, BCS, 13, Mansfield Street, London W1 (10).Google Scholar
  14. [UKHnd]
    UK Health and Safety Executive (unpublished).Google Scholar

Copyright information

© BCS 1989

Authors and Affiliations

  • Martyn Thomas
    • 1
  1. 1.Praxis Systems plcBathUK

Personalised recommendations