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|