03733nam 2200601 a 450 991082578410332120240313214233.01-118-57861-91-118-57991-71-118-57865-1(CKB)2670000000369864(EBL)1187169(OCoLC)843331672(SSID)ssj0000904892(PQKBManifestationID)11494814(PQKBTitleCode)TC0000904892(PQKBWorkID)10922416(PQKB)11018759(MiAaPQ)EBC1187169(Au-PeEL)EBL1187169(CaPaEBR)ebr10700376(CaONFJC)MIL491909(EXLCZ)99267000000036986420121210d2013 uy 0engur|n|---|||||txtccrSafety management for software-based equipment /Jean-Louis Boulanger1st ed.Hoboken, N.J. ISTE Ltd./John Wiley and Sons Inc.20131 online resource (193 p.)Focus series in computer engineering and IT,2051-2481Description based upon print version of record.1-84821-452-9 Includes bibliographical references and index.CONTENTS; 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.Conclusions4.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. Certification7.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; INDEXA 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. CFocus series in computer engineering and IT.Computer securityComputer security.621.392Boulanger Jean-Louis847395MiAaPQMiAaPQMiAaPQBOOK9910825784103321Safety management for software-based equipment3968306UNINA