Cargando…
Safety Management of Software-based Equipment.
A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Wiley-ISTE,
2013.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn843331672 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 130517s2013 xx o 000 0 eng d | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d EBLCP |d MEAUC |d OCLCQ |d CDX |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d DEBSZ |d DEBBG |d OCLCQ |d ZCU |d MERUC |d OCLCQ |d U3W |d OCLCA |d ICG |d INT |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 020 | |a 1299606598 |q (ebk) | ||
| 020 | |a 9781299606593 |q (ebk) | ||
| 020 | |a 9781118578650 | ||
| 020 | |a 1118578651 | ||
| 029 | 1 | |a AU@ |b 000055891226 | |
| 029 | 1 | |a DEBBG |b BV041912939 | |
| 029 | 1 | |a DEBBG |b BV044175320 | |
| 029 | 1 | |a DEBSZ |b 431416842 | |
| 029 | 1 | |a DEBSZ |b 449359425 | |
| 035 | |a (OCoLC)843331672 | ||
| 037 | |a 491909 |b MIL | ||
| 050 | 4 | |a TK7895.E42 .B382 2013 | |
| 082 | 0 | 4 | |a 621.392 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Boulanger, Jean-Louis. | |
| 245 | 1 | 0 | |a Safety Management of Software-based Equipment. |
| 260 | |b Wiley-ISTE, |c 2013. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 505 | 0 | |a INTRODUCTION; CHAPTER 1. SAFETY MANAGEMENT; 1.1. Introduction; 1.2. Dependability; 1.3. Conclusion; 1.4. Bibliography; CHAPTER 2. FROM SYSTEM TO SOFTWARE; 2.1. Introduction; 2.2 Systems of command and control; 2.3 System; 2.4 Software implementation; 2.5. Conclusion; 2.6. Bibliography; 2.7. Glossary; CHAPTER 3. CERTIFIABLE SYSTEMS; 3.1. Introduction; 3.2. Normative context; 3.3. Conclusion; 3.4. Bibliography; 3.5. Glossary; CHAPTER 4. RISK AND SAFETY LEVELS; 4.1. Introduction; 4.2. Basic definitions; 4.3. Safety implementation; 4.4. In standards IEC 61508 and IEC 61511; 4.5. Conclusions. | |
| 505 | 8 | |a 4.6. Bibliography4.7. Acronyms; CHAPTER 5. PRINCIPLES OF HARDWARE SAFETY; 5.1. Introduction; 5.2 Safe and/or available hardware; 5.3. Reset of a processing unit; 5.4. Presentation of safety control techniques; 5.5. Conclusion; 5.6. Bibliography; 5.7. Glossary; CHAPTER 6. PRINCIPLES OF SOFTWARE SAFETY; 6.1. Introduction; 6.2. Techniques to make software application safe; 6.3. Other forms of diversification; 6.4. Overall summary; 6.5. Quality management; 6.6. Conclusion; 6.7. Bibliography; 6.8. Glossary; CHAPTER 7. CERTIFICATION; 7.1. Introduction; 7.2. Independent assessment; 7.3. Certification. | |
| 505 | 8 | |a 7.4. Certification in the rail sector7.5. Automatic systems; 7.6. Aircraft; 7.7. Nuclear; 7.8. Automotive; 7.9. Spacecraft; 7.10. Safety case; 7.11. Conclusion; 7.12. Bibliography; 7.13. Glossary; CONCLUSION; INDEX. | |
| 520 | |a A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). "Certifiable system" aspects are taken into account throughout the book. C. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Computer security. | |
| 650 | 2 | |a Computer Security | |
| 650 | 6 | |a Sécurité informatique. | |
| 650 | 7 | |a Computers and IT. |2 eflch | |
| 650 | 7 | |a Computer security |2 fast | |
| 758 | |i has work: |a Safety Management of Software-based Equipment [electronic resource] (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYJHQr7cHFjhCf4wYfKFjC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 9781299606593 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1187169 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 25470950 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL4036453 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1187169 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis25470950 | ||
| 994 | |a 92 |b IZTAP | ||