Safety of Computer Control Systems 1986 (SAFECOMP' 86): Trends in Safe Real Time Computer Systems : Proceedings of the Fifth IFAC Workshop, Sarlat, France, 14-17 October 1986

The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.