Safe and Reliable Computer Control Systems Concepts and Methods 6 September 1996

  title={Safe and Reliable Computer Control Systems Concepts and Methods 6 September 1996},
  author={Henrik Thane},
The introduction of computers into safety-critical control systems lays a heavy burden on the software designers. The public and the legislators demand reliable and safe computer control systems, equal to or better than the mechanical or electromechanical parts they replace. The designers must have a thorough understanding of the system and more accurate software design and verification techniques than have usually been deemed necessary for software development. This document presents existing… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
13 Citations
31 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 13 extracted citations


Publications referenced by this paper.
Showing 1-10 of 31 references

Achieving Safety in Complex Control Systems

  • A. Ellis
  • Proceedings of the Safety-Critical Systems…
  • 1995

Computer Related Risks

  • P G Neuman
  • ACM Press, Adison-Wesley,
  • 1995

Connecting theory with practice. Communication Research Laboratory, Software engineering group

  • D Parnas
  • McMaster University, Canada, November
  • 1995

Formal Specification and Verification for Critical systems: Tools, Achievements, and prospects

  • J Rushby
  • Advances in Ultra-Dependable Distributed Systems…
  • 1995

The Role of Measurement in Software Safety Assesment

  • N E Fenton
  • CSR/ENCRESS Annual conference,
  • 1995

Turing . On Computable Numbers with an Application to the entscheidungs problem

  • M. A.
  • Distributed Operating Systems . Prentice Hall
  • 1995

Similar Papers

Loading similar papers…