Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford [England] ; New York :
Published for the International Federation of Automatic Control by Pergamon Press,
1992.
|
| Edición: | First edition. |
| Colección: | IFAC symposia series.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.