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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores Corporativos: International Federation of Automatic Control, IFAC Workshop on Distributed Computer Control Systems
Otros Autores: Lauber, Rudolf
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:
Industrial safety > Congresses.
Computers > Reliability > Congresses.
Automatic control.
S�ecurit�e du travail > Congr�es.
Ordinateurs > Fiabilit�e > Congr�es.
Commande automatique.
TECHNOLOGY & ENGINEERING > Engineering (General)
Automatic control
Computers > Reliability
Industrial safety
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congr�es.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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
  • 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
  • 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
  • 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

Ejemplares similares