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 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn893488825 | ||
| 003 | OCoLC | ||
| 005 | 20231120111816.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141021s1992 enka ob 101 0 eng d | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d N$T |d YDXCP |d EBLCP |d DEBSZ |d OCLCO |d OCL |d OCLCO |d MERUC |d OCLCQ |d VLY |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 897646969 |a 1162037514 | ||
| 020 | |a 9781483297361 |q (electronic bk.) | ||
| 020 | |a 1483297365 |q (electronic bk.) | ||
| 020 | |z 0080418937 | ||
| 020 | |z 9780080418933 | ||
| 035 | |a (OCoLC)893488825 |z (OCoLC)897646969 |z (OCoLC)1162037514 | ||
| 050 | 4 | |a TJ212.2 | |
| 072 | 7 | |a TEC |x 009000 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.132/6 |2 23 |
| 245 | 0 | 0 | |a Safety of computer control systems 1992 (SAFECOMP '92) : |b computer systems in safety-critical applications : proceedings of the IFAC symposium, Z�urich, Switzerland, 28-30 October 1992 / |c edited by Heinz H. Frey. |
| 250 | |a First edition. | ||
| 264 | 1 | |a Oxford [England] ; |a New York : |b Published for the International Federation of Automatic Control by Pergamon Press, |c 1992. | |
| 300 | |a 1 online resource (x, 321 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a IFAC Symposia Series | |
| 500 | |a IFAC Symposium on Safety Computer Control Systems 1992 (SAFECOMP'92) organized and supported by European Workshop on Industrial Computer Systems, Technical Committee on Safety, Security, and Reliability. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 546 | |a English. | ||
| 650 | 0 | |a Automatic control |x Reliability |v Congresses. | |
| 650 | 0 | |a Computers |x Reliability |v Congresses. | |
| 650 | 0 | |a Industrial safety |v Congresses. | |
| 650 | 6 | |a Commande automatique |0 (CaQQLa)201-0035949 |x Fiabilit�e |0 (CaQQLa)201-0379337 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a Ordinateurs |0 (CaQQLa)201-0071677 |x Fiabilit�e |0 (CaQQLa)201-0071677 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 6 | |a S�ecurit�e du travail |0 (CaQQLa)201-0014876 |v Congr�es. |0 (CaQQLa)201-0378219 | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Engineering (General) |2 bisacsh | |
| 650 | 7 | |a Automatic control |x Reliability |2 fast |0 (OCoLC)fst00822715 | |
| 650 | 7 | |a Computers |x Reliability |2 fast |0 (OCoLC)fst00872847 | |
| 650 | 7 | |a Industrial safety |2 fast |0 (OCoLC)fst00971664 | |
| 650 | 7 | |a Ordinateurs |x Fiabilit�e |x Congr�es. |2 ram | |
| 650 | 7 | |a Syst�emes informatiques |x Mesures de s�uret�e |x Congr�es. |2 ram | |
| 655 | 2 | |a Congress |0 (DNLM)D016423 | |
| 655 | 7 | |a proceedings (reports) |2 aat |0 (CStmoGRI)aatgf300027316 | |
| 655 | 7 | |a Conference papers and proceedings |2 fast |0 (OCoLC)fst01423772 | |
| 655 | 7 | |a Conference papers and proceedings. |2 lcgft | |
| 655 | 7 | |a Actes de congr�es. |2 rvmgf |0 (CaQQLa)RVMGF-000001049 | |
| 700 | 1 | |a Frey, Heinz, |d 1952- | |
| 710 | 2 | |a European Workshop on Industrial Computer Systems. |b Committee on Safety, Security, and Reliability. | |
| 711 | 2 | |a SAFECOMP (Conference) |n (11th : |d 1992 : |c Zurich, Switzerland) | |
| 776 | 0 | 8 | |i Print version: |t Safety of computer control systems 1992 (SAFECOMP '92). |b First edition |z 0080418937 |w (DLC) 92040444 |w (OCoLC)26974896 |
| 830 | 0 | |a IFAC symposia series. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780080418933 |z Texto completo |