Cargando…
Safety of computer control systems : proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 /
Safety of Computer Control Systems is a collection of papers from the Proceedings of the IFAC Workshop, held in Stuttgart, Germany on May 16-18, 1979.
| Clasificación: | Libro Electrónico |
|---|---|
| Autores Corporativos: | , |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford ; New York :
Published for the International Federation of Automatic Control by Pergamon Press,
1980.
|
| Edición: | 1st ed. |
| Colección: | IFAC conference proceedings.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn561128104 | ||
| 003 | OCoLC | ||
| 005 | 20231117032925.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100318s1980 enka ob 101 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OCLCO |d OCLCF |d OPELS |d EBLCP |d N$T |d E7B |d DEBSZ |d OCLCO |d OCL |d YDXCP |d OCL |d OCLCO |d OCLCQ |d OCLCO |d MERUC |d OCLCQ |d UKAHL |d OCLCQ |d VLY |d OCLCQ |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 300878856 |a 897642484 |a 974614180 |a 974669215 |a 1100862591 |a 1162350221 | ||
| 020 | |a 9780080244532 |q (electronic bk.) | ||
| 020 | |a 008024453X |q (electronic bk.) | ||
| 020 | |a 9781483153759 | ||
| 020 | |a 1483153754 | ||
| 035 | |a (OCoLC)561128104 |z (OCoLC)300878856 |z (OCoLC)897642484 |z (OCoLC)974614180 |z (OCoLC)974669215 |z (OCoLC)1100862591 |z (OCoLC)1162350221 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a TJ213 | |
| 050 | 4 | |a TS173 |b .S17 | |
| 072 | 7 | |a TEC |x 009000 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.8/95/0289 |2 19 |
| 245 | 0 | 0 | |a Safety of computer control systems : |b proceedings of the IFAC Workshop, Stuttgart, Federal Republic of Germany, 16-18 May 1979 / |c edited by R. Lauber. |
| 250 | |a 1st ed. | ||
| 260 | |a Oxford ; |a New York : |b Published for the International Federation of Automatic Control by Pergamon Press, |c 1980. | ||
| 300 | |a 1 online resource (ix, 218 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 conference proceedings | |
| 504 | |a Includes bibliographical references and index. | ||
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 588 | 0 | |a Print version record. | |
| 520 | |a Safety of Computer Control Systems is a collection of papers from the Proceedings of the IFAC Workshop, held in Stuttgart, Germany on May 16-18, 1979. | ||
| 505 | 0 | |a Front Cover; Safety of Computer Control Systems; Copyright Page; Table of Contents; Preface; CHAPTER 1. INTRODUCTION INTO THE SUBJECT OF THE WORKSHOP; PROBLEM STATEMENT; CLASSES OF OBSTACLES TO SAFE COMPUTING; STRATEGIES FOR SAFETY-RELATED COMPUTER SYSTEMS; CONCLUSION; REFERENCES; CHAPTER 2. SAFETY AND RELIABILITY -- THEIR TERMS AND MODELS OF COMPLEX SYSTEMS; INTRODUCTION; THE BASIC MODEL OF SAFE AND RELIABLE SYSTEM PERFORMANCE; THE SYSTEM ""AUTOMOBILE"" AND ITS ENVIRONMENT, AN EXAMPLE; SYSTEM EFFECTIVENESS; DEFINING SAFETY AND RELIABILITY BY THE SET OF SYSTEM FAILURE MODES | |
| 505 | 8 | |a CHAPTER 5. SAFETY CONSIDERATIONS IN PROJECT MANAGEMENT OF COMPUTERIZED AUTOMATION SYSTEMSINTRODUCTION; SPECIAL PROPERTIES OF COMPUTER SYSTEMS FOR INDUSTRIAL APPLICATIONS; DEFINITION OF SAFETY OF A PROCESSCONTROL COMPUTER SYSTEM; STRUCTURE OF PROPOSED GUIDELINES; SAFETY MANAGEMENT DURING LIFE CYCLE; CONCLUSION; APPENDIX; REFERENCES; CHAPTER 6. STANDARDS FOR THE PRODUCTION OF HIGH QUALITY SYSTEMS; ABSTRACT; INTRCBUCTION; STUDY PHASE SUMMARY; THE STANDARDS; FUTURE DEVELOPMENTS; ACKNCfrZLEDGEMEKTTS; REFERENCES; CHAPTER 7. FUNCTIONAL REDUNDANCY TO ACHIEVE HIGH RELIABILITY; INTRODUCTION | |
| 505 | 8 | |a RELIABILITY, RESOURCES AND FUNCTIONAL UNITSTHE ALLOCATION OF FUNCTIONAL UNITS; FUNDAMENTAL 1-RELIABLE SYSTEM ARCHITECTURE; FAILURE DETECTION AND ASSOCIATED ACTION; THE ANALYSIS OF SINGLE SYSTEM FAILURES; CONCLUSION; REFERENCES; DISCUSSION; CHAPTER 8. COMMUNICATION PROTOCOLS FOR THE PDV BUS IN NETWORK REPRESENTATION; INTRODUCTION; CHARACTERISTICS OF THE PDV BUS; DEFINITION OF THE NETWORKREPRESENTATION; NETWORK REPRESENTATION OF THECOMMUNICATION PROTOCOL; ANALYSIS OF THE PROTOCOL (VERIFICATION OF THE FAULT TOLERANCE); REFERENCES | |
| 505 | 8 | |a CHAPTER 9. SOFTWARE DIVERSITY IN REACTOR PROTECTION SYSTEMS: AN EXPERMENTINTRODUCTION; CURRENT SITUATION AND RELATED WORK; REACTOR SAFETY SYSTEMS AND SOFTWARE DIVERSITY; DESCRIPTION OF THE EXPERIMENT; CONCLUSION; REFERENCES; CHAPTER 10. ON A DIVERSIFIED PARALLEL MICROCOMPUTER SYSTEM; INTRODUCTION; BASIC STRATEGY; IMPLEMENTATION; DIMI-NETWORK; RELIABILITY AND SAFETY CONSIDERATIONS; CONCLUSION; ACKNOWLEDGEMENT; REFERENCES; CHAPTER 11. AN INVESTIGATION OF METHODS FOR PRO DUCTION AND VERIFICATION OF HIGHLY RELIABLE SOFTWARE; INTRODUCTION; SPECIFICATION; PROGRAMMING; PROGRAMME ANALYSIS; TESTING | |
| 546 | |a English. | ||
| 650 | 0 | |a Industrial safety |v Congresses. | |
| 650 | 0 | |a Computers |x Reliability |v Congresses. | |
| 650 | 0 | |a Automatic control. | |
| 650 | 6 | |a S�ecurit�e du travail |0 (CaQQLa)201-0014876 |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 Commande automatique. |0 (CaQQLa)201-0035949 | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Engineering (General) |2 bisacsh | |
| 650 | 7 | |a Automatic control |2 fast |0 (OCoLC)fst00822702 | |
| 650 | 7 | |a Computers |x Reliability |2 fast |0 (OCoLC)fst00872847 | |
| 650 | 7 | |a Industrial safety |2 fast |0 (OCoLC)fst00971664 | |
| 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 Lauber, Rudolf. | |
| 710 | 2 | |a International Federation of Automatic Control. | |
| 711 | 2 | |a IFAC Workshop on Distributed Computer Control Systems |d (1979 : |c Stuttgart, Federal Republic of Germany) | |
| 776 | 0 | 8 | |i Print version: |t Safety of computer control systems. |b 1st ed. |d Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1980 |w (DLC) 80040183 |w (OCoLC)7614360 |
| 830 | 0 | |a IFAC conference proceedings. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780080244532 |z Texto completo |