Safety of Computer Control Systems 1983 (Safecomp ' 83)

Safety of Computer Control Systems 1983 (Safecomp ' 83)

4.11 - 1251 ratings - Source

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.It is intended for use in the design and construction of software for real-time embedded military systems. 2. ... A graphical design method - the Activity, Pool ... The ACP diagram forms the basis for system construction, management and testing.

Title:Safety of Computer Control Systems 1983 (Safecomp ' 83)
Author:J. A. Baylis
Publisher:Elsevier - 2014-05-17


You Must CONTINUE and create a free account to access unlimited downloads & streaming