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

----- 计算机控制系统的安全(Safecomp '86)计算机实时系统的安全趋势国际计算机联合会

ISBN: 9780080348018 出版年：2017 页码：202 Pergamon_RM

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.