Safety of Computer Control Systems 1983 (Safecomp ' 83)
Author: J. A. Baylis
Publisher: Elsevier
Published: 2014-05-17
Total Pages: 282
ISBN-13: 1483153703
DOWNLOAD EBOOKSafety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.