Author: J. A. Baylis
Publisher: Elsevier
ISBN: 1483153703
Category : Technology & Engineering
Languages : en
Pages : 282
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)
Author: J. A. Bayliss
Publisher:
ISBN:
Category : Automatic control
Languages : en
Pages : 292
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.
Publisher:
ISBN:
Category : Automatic control
Languages : en
Pages : 292
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)
Author: J. A. Baylis
Publisher: Elsevier
ISBN: 1483153703
Category : Technology & Engineering
Languages : en
Pages : 282
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.
Publisher: Elsevier
ISBN: 1483153703
Category : Technology & Engineering
Languages : en
Pages : 282
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
Author: Baylis JA Ed
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages :
Book Description
Achieving Safe Real Time Computer Systems
Author: J. A. Baylis
Publisher:
ISBN: 9780080305639
Category :
Languages : en
Pages : 269
Book Description
Publisher:
ISBN: 9780080305639
Category :
Languages : en
Pages : 269
Book Description
Safety of Computer Control Systems 1983 (Safecomp ' 83)
Author: J. A. Baylis
Publisher: Pergamon
ISBN: 9781483153704
Category : Technology & Engineering
Languages : en
Pages : 282
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.
Publisher: Pergamon
ISBN: 9781483153704
Category : Technology & Engineering
Languages : en
Pages : 282
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
Author:
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3250
Book Description
A world list of books in the English language.
Publisher:
ISBN:
Category : American literature
Languages : en
Pages : 3250
Book Description
A world list of books in the English language.
INIS Atomindeks
Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1390
Book Description
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1390
Book Description
Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems
Author: W. J. Quirk
Publisher: Elsevier
ISBN: 1483299473
Category : Computers
Languages : en
Pages : 202
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.
Publisher: Elsevier
ISBN: 1483299473
Category : Computers
Languages : en
Pages : 202
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
Author:
Publisher:
ISBN:
Category : Computer science literature
Languages : en
Pages : 720
Book Description
Publisher:
ISBN:
Category : Computer science literature
Languages : en
Pages : 720
Book Description
American Book Publishing Record
Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 150
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 150
Book Description