Safety of Computer Control Systems 1983 (Safecomp ' 83)
：Achieving Safe Real Time Computer Systems
Publication subTitle ：Achieving Safe Real Time Computer Systems
Publisher： Elsevier Science
Publication year： 2014
E-ISBN: 9781483153704
P-ISBN(Paperback): 9780080305639
Subject：
Keyword： 数学
Language： ENG
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Description
Safety 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.