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.Hence, there will be some optimum level of decomposition and our complexity Keywords Computer software; Computer programming; Computer maintenance; Software complexity; System analysis; Graph theory. 1 381.0 285.8 2 273.7 206.6 anbsp;...
|Title||:||Safety of Computer Control Systems 1983 (Safecomp ' 83)|
|Author||:||J. A. Baylis|
|Publisher||:||Elsevier - 2014-05-17|