Safety of computer control systems 1992 (SAFECOMP '92) : computer systems in safety-critical applications : proceedings of the IFAC symposium, Z�urich, Switzerland, 28-30 October 1992 /

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.

Bibliographic Details
Call Number:Libro Electrónico
Corporate Authors: European Workshop on Industrial Computer Systems. Committee on Safety, Security, and Reliability, SAFECOMP (Conference)
Other Authors: Frey, Heinz, 1952-
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Oxford [England] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1992.
Edition:First edition.
Series:IFAC symposia series.
Subjects:
Automatic control > Reliability > Congresses.
Computers > Reliability > Congresses.
Industrial safety > Congresses.
Commande automatique > Fiabilit�e > Congr�es.
Ordinateurs > Fiabilit�e > Congr�es.
S�ecurit�e du travail > Congr�es.
TECHNOLOGY & ENGINEERING > Engineering (General)
Automatic control > Reliability
Computers > Reliability
Industrial safety
Syst�emes informatiques > Mesures de s�uret�e > Congr�es.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Online Access:Texto completo
Table of Contents:
  • Front Cover; Safety of Computer Control Systems 1992 (SAFECOMP'92): Computer Systems in Safety-critical Applications; Copyright Page; Preface; Table of Contents; CHAPTER 1. A CASE STUDY IN THE ANALYSIS OF SAFETY REQUIREMENTS; INTRODUCTION; BACKGROUND; REQUIREMENTS ANALYSIS; SAFETY CONSIDERATIONS; A MODEL OF SLOW-SCAN; CHECKING SAFETY PROPERTIES; CONCLUSIONS; REFERENCES; Chapter 2. Computer-Aided Specification and Verification of Process Control; Abstract; 1 Formal Development Process; 2 An Example and its FormalRequirements; 3 Design Specification, Verification, and Testing.
  • 4 Program Verification5 Conclusion; References; Chapter 3. The Redundancy Specification in Configuration Languages; INTRODUCTION; THE CONHGURATION LANGUAGES; SOFTWARE FAULT-TOLERANCE; THE SPECIFICATION OF REDUNDANT STRUCTURES; REDUNDANCY SPECIFICATION IN CONIC; CONCLUSION; REFERENCES; Chapter 4. Specifying, Designing and Rapid Prototyping Computer Systemswith Structured Petri Nets; 1. The Development of Real-Time Systems; 2. Using Petri Nets in Software Engineering; 3. Structured Petri Nets; 4. Summary; 5. Acknowledgements; Bibliography.
  • Chapter 5. a safety system for close interaction between man and robotintroduction; the human localizationsystem; the runaway protectionsystem; conclusion; acknowledgements; references; chapter 6. a simple strongly-fail-safe circuitused as basic cellfor designing safety architectures; 1- introduction; 2- fail-safe circuits; 3
  • design of a ""strongly-fail safe""basic cell; 4- a strongly-fail-safe ""majority voted output"" circuit; 5
  • which solution for which problem?; 6
  • conclusion; 7
  • references.
  • CHAPTER 7. A SINGLE-CHIP COMPUTER FOR ROBUST VARIABLE-STRUCTURE CONTROL OF LARGE-SCALE SAFETY-CRITICAL SYSTEMSINTRODUCTION; VARIABLE-STRUCTURE CONTROL; DECENTRALIZED CONTROL STRATEGY; TWO-LEVEL COORDINATING CONTROL; VARIABLE-STRUCTURE MICROCONTROLLER; IMPLEMENTATION; FORMAL CORRECTNESS PROOF; DISCUSSION AND CONCLUSION; ACKNOWLEDGEMENT; REFERENCES; CHAPTER 8. A VIEW on COMPUTER SYSTEMS and their RELIABILITY in JAPAN; I . General view of computer systems in Japan; 2. Dependability and system performance; 3. Typical system configuration and maintenance supports; Reference.
  • Chapter 9. a generic failure model for distributed systemsintroduction; distributed system structure; the model; discussions; conclusions; references; chapter 10. recovery in distributed systems from solid faults; i. introduction; ii. definitions; iii. basic strategies; iv. combined strategies; v. comparison of strategies; vi. implementation; vii. conclusion; vii. references; chapter 11. fault tolerance by a distributed software control for a high reliability; introduction; hardware configuration; software implemented control; time and communication constraints; implementation and validation.

Similar Items