Cargando…
Safety aspects of computer control /
Safety Aspects of Computer Control.
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford ; Boston :
Butterworth-Heinemann,
1993.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn892066813 | ||
| 003 | OCoLC | ||
| 005 | 20231120111747.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 141003s1993 enka ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e rda |e pn |c OPELS |d N$T |d E7B |d YDXCP |d TEFOD |d VLY |d LUN |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 1162404828 | ||
| 020 | |a 9781483144863 |q (electronic bk.) | ||
| 020 | |a 1483144860 |q (electronic bk.) | ||
| 020 | |z 0750611022 | ||
| 020 | |z 9780750611022 | ||
| 035 | |a (OCoLC)892066813 |z (OCoLC)1162404828 | ||
| 050 | 4 | |a TJ223.M53 |b S24 1993eb | |
| 072 | 7 | |a TEC |x 009000 |2 bisacsh | |
| 082 | 0 | 4 | |a 629.8/9 |2 22 |
| 084 | |a 54.38 |2 bcl | ||
| 084 | |a MSR 720f |2 stub | ||
| 084 | |a TEC 700f |2 stub | ||
| 245 | 0 | 0 | |a Safety aspects of computer control / |c edited by Phil Bennett. |
| 264 | 1 | |a Oxford ; |a Boston : |b Butterworth-Heinemann, |c 1993. | |
| 300 | |a 1 online resource (250 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 | ||
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Safety Aspects of Computer Control; Copyright Page; Table of Contents; Preface; Contributors; Chapter 1. Software in safety-related systems: basic concepts and concerns; INTRODUCTION; THE CONCEPTS; RESEARCH DIRECTIONS; REFERENCES; Chapter 2. Regulatory issues; INTRODUCTION; METHODS OF ENSURING SAFETY; PURPOSE AND PRINCIPLES OF REGULATION; DIRECT REGULATION; REGULATION BY LAW; SOME ASPECTS OF REGULATION OF SOFTWARE SAFETY; REFERENCES; Chapter 3. Legal liability; INTRODUCTION; LIABILITY UNDER CONTRACT LAW; LIABILITY UNDER THE LAW OF NEGLIGENCE; PRODUCT LIABILITY; CONCLUSIONS | |
| 505 | 8 | |a ACKNOWLEDGEMENTSREFERENCES; Chapter 4. Standardization efforts worldwide; WHY STANDARDS ARE NEEDED; HISTORY OF SOFTWARE STANDARDS; INTERNATIONAL STANDARDS ORGANIZATIONS; STANDARDIZATION WORK REALIZED THROUGH ISO OR IEC; OTHER STANDARDS PREPARED OUTSIDE ISO AND IEC; CONCLUSIONS; REFERENCES; Chapter 5. Real-time software requirements specification and animation using extended Petri nets: theory and application ; WHY WE NEED A REQUIREMENTS SPECIFICATION MODEL; PETRI NETS MODEL; EXTENDED PETRI NETS MODEL; THE SPECIFICATION LANGUAGE; EXTENDED PETRI NETS ENVIRONMENT | |
| 505 | 8 | |a AN EXAMPLE OF MODELLING WITH EXTENDED PETRI NETSCONCLUSIONS; ACKNOWLEDGEMENTS; REFERENCES; Chapter 6. Independent software verification and validation in practice: methodological and managerial aspects; WHAT IS IT?; WHEN IT IS DONE?; HOW IT IS DONE?; WHAT DOES IT INCLUDE?; WHAT ARE THE BENEFITS?; HOW DO WE KNOW IT IS NEEDED?; HOW MUCH TIME AND MONEY DOES IT TAKE?; VERIFICATION AND VALIDATION PRINCIPLES; ORGANIZATIONAL PRINCIPLES; CONCLUSIONS; REFERENCES; Chapter 7. Formal methods: use and relevance for thedevelopment of safety-critical systems; INTRODUCTION | |
| 505 | 8 | |a THE DEVELOPMENT OF SOFTWARE FOR SAFETY-CRITICAL SYSTEMSFORMAL METHODS IN THE SAFETY-CRITICAL SYSTEMS LIFE CYCLE; EXAMPLES OF FORMAL METHODS; STRENGTHS AND WEAKNESSES OF FORMAL METHODS; CONCLUSIONS; ACKNOWLEDGEMENTS; REFERENCES; Chapter 8. Use of Ada in safety-critical systems; NATURE OF A SAFETY SYSTEM; AVOIDANCE OF DANGER; ROLE OF ADA; RESIDUAL DEFECTS; CERTIFICATION OF ADA SOFTWARE IN A SAFETY-RELATED SYSTEM; APPENDIX: ADA-RELATED TOPICS IN HSE GUIDELINES; NOTE; ACKNOWLEDGEMENT; REFERENCES; Chapter 9. Fault-tolerant control for safety; INTRODUCTION; SAFETY; THE NEED FOR DETECTION AND REPAIR | |
| 505 | 8 | |a RANDOM AND SYSTEMATIC FAILURESREPAIR AND FAILURE MODELLING; HARDWARE AND SOFTWARE; AVOIDANCE OF SOFTWARE FAULTS; TOLERANCE OF SOFTWARE FAULTS; HARDWARE AND SYSTEMATIC FAILURES; DIVERSITY; LIMITATIONS ON DIVERSITY; STANDARDS AND GUIDELINES; COMMERCIAL FAULT-TOLERANT SYSTEMS; FAULT TOLERANCE USING NON-FAULT-TOLERANT HARDWARE; DEGRADATION MODES; THE ROLE OF SOFTWARE IN THE PROVISION OF FAULT TOLERANCE; CONCLUSIONS; REFERENCES; Chapter 10. The problems of an industrial supplier -- and how to achieve good quality; WHAT IS SOFTWARE?; WHAT ARE THE SUPPLIERS' PROBLEMS?; SAFETY ANALYSIS | |
| 520 | |a Safety Aspects of Computer Control. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Automatic control |x Reliability. | |
| 650 | 0 | |a Computers |x Reliability. | |
| 650 | 0 | |a Industrial safety. | |
| 650 | 2 | |a Occupational Health |0 (DNLM)D016272 | |
| 650 | 6 | |a Commande automatique |0 (CaQQLa)201-0035949 |x Fiabilit�e. |0 (CaQQLa)201-0379337 | |
| 650 | 6 | |a Ordinateurs |x Fiabilit�e. |0 (CaQQLa)201-0071677 | |
| 650 | 6 | |a S�ecurit�e du travail. |0 (CaQQLa)201-0014876 | |
| 650 | 7 | |a occupational safety. |2 aat |0 (CStmoGRI)aat300179384 | |
| 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 Steuerungstechnik |2 gnd |0 (DE-588)4116615-2 | |
| 650 | 7 | |a Zuverl�assigkeit |2 gnd |0 (DE-588)4059245-5 | |
| 700 | 1 | |a Bennett, Phil. | |
| 776 | 0 | 8 | |i Print version: |t Safety aspects of computer control |z 0750611022 |w (DLC) 92007375 |w (OCoLC)25411292 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780750611022 |z Texto completo |