Safety of Computer Control Systems 1983 (Safecomp ' 83)

Safety of Computer Control Systems 1983 (Safecomp ' 83) PDF Author: J. A. Baylis
Publisher: Elsevier
ISBN: 1483153703
Category : Technology & Engineering
Languages : en
Pages : 282

Get Book Here

Book 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.

Safety of Computer Control Systems 1983 (Safecomp '83)

Safety of Computer Control Systems 1983 (Safecomp '83) PDF Author: J. A. Bayliss
Publisher:
ISBN:
Category : Automatic control
Languages : en
Pages : 292

Get Book Here

Book 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.

Safety of Computer Control Systems 1983 (Safecomp ' 83)

Safety of Computer Control Systems 1983 (Safecomp ' 83) PDF Author: J. A. Baylis
Publisher: Elsevier
ISBN: 1483153703
Category : Technology & Engineering
Languages : en
Pages : 282

Get Book Here

Book 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.

Safety of Computer Control Systems 1983 (SAFECOMP '83) - Achieving Safe Real Time Computer Systems, Proceedings of the Third IFAC/IFIP Workshop, Cambridge, England, September 20-22 1983

Safety of Computer Control Systems 1983 (SAFECOMP '83) - Achieving Safe Real Time Computer Systems, Proceedings of the Third IFAC/IFIP Workshop, Cambridge, England, September 20-22 1983 PDF Author: Baylis JA Ed
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description


Achieving Safe Real Time Computer Systems

Achieving Safe Real Time Computer Systems PDF Author: J. A. Baylis
Publisher:
ISBN: 9780080305639
Category :
Languages : en
Pages : 269

Get Book Here

Book Description


Safety of Computer Control Systems 1983 (Safecomp ' 83)

Safety of Computer Control Systems 1983 (Safecomp ' 83) PDF Author: J. A. Baylis
Publisher: Pergamon
ISBN: 9781483153704
Category : Technology & Engineering
Languages : en
Pages : 282

Get Book Here

Book 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.

The Cumulative Book Index

The Cumulative Book Index PDF Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3250

Get Book Here

Book Description
A world list of books in the English language.

INIS Atomindeks

INIS Atomindeks PDF Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1390

Get Book Here

Book Description


Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems

Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems PDF Author: W. J. Quirk
Publisher: Elsevier
ISBN: 1483299473
Category : Computers
Languages : en
Pages : 202

Get Book Here

Book Description
The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.

Computer Books and Serials in Print

Computer Books and Serials in Print PDF Author:
Publisher:
ISBN:
Category : Computer science literature
Languages : en
Pages : 720

Get Book Here

Book Description


American Book Publishing Record

American Book Publishing Record PDF Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 150

Get Book Here

Book Description