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.
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.
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 1985 (Safecomp '85)
Author: W. J. Quirk
Publisher: Elsevier
ISBN: 1483190870
Category : Computers
Languages : en
Pages : 192
Book Description
Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.
Publisher: Elsevier
ISBN: 1483190870
Category : Computers
Languages : en
Pages : 192
Book Description
Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.
Safety of Computer Control Systems 1992 (SAFECOMP' 92)
Author: H.H. Frey
Publisher: Elsevier
ISBN: 1483297365
Category : Technology & Engineering
Languages : en
Pages : 332
Book Description
SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tools and techniques required for the safety of computer control systems.
Publisher: Elsevier
ISBN: 1483297365
Category : Technology & Engineering
Languages : en
Pages : 332
Book Description
SAFECOMP '92 advances the state-of-the-art, reviews experiences of the past years, considers the guidance now available and identifies the skills, methods, tools and techniques required for the safety of computer control systems.
国立国会図書館所蔵科学技術関係欧文会議錄目錄
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1052
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1052
Book Description
国立国会図書館所蔵科学技術関係欧文会議錄目錄
Author: 国立国会図書館 (Japan)
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1064
Book Description
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 1064
Book Description
Safety of Computer Control Systems 1985 (Safecomp '85)
Author: William J. Quirk
Publisher: Pergamon
ISBN:
Category : Computers
Languages : en
Pages : 200
Book Description
Publisher: Pergamon
ISBN:
Category : Computers
Languages : en
Pages : 200
Book Description
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.
Bibliographic Guide to Technology
Author: New York Public Library. Research Libraries
Publisher:
ISBN:
Category : Classified catalogs (Universal decimal)
Languages : en
Pages : 848
Book Description
Publisher:
ISBN:
Category : Classified catalogs (Universal decimal)
Languages : en
Pages : 848
Book Description
Index of Conference Proceedings Received
Author: British Library. Document Supply Centre
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 792
Book Description
Publisher:
ISBN:
Category : Conference proceedings
Languages : en
Pages : 792
Book Description