Safety Management for Software-based Equipment

Contents......Page 4
Introduction......Page 8
1.2.1. Introduction......Page 9
1.2.2. Obstacles to dependability......Page 11
1.2.3. Obstacles to dependability: case study......Page 14
1.2.4. Safety demonstration......Page 15
1.4. Bibliography......Page 16
2.1. Introduction......Page 17
2.2. Systems of command and control......Page 18
2.3 System......Page 21
2.4.1. What is software?......Page 22
2.4.3. Software implementation in its context......Page 23
2.5. Conclusion......Page 24
2.7. Glossary......Page 25
3.1. Introduction......Page 26
3.2.1.1. Presentation......Page 27
3.2.1.2. Safety levels......Page 28
3.2.1.3. Daughter standards......Page 29
3.2.2.2. CENELEC standards......Page 30
3.2.2.3. Presentation......Page 31
3.2.2.4. Implementation......Page 34
3.2.2.6. Future......Page 35
3.2.2.7.1. CENELEC EN 50155......Page 36
3.2.2.7.2. CENELEC EN 50128......Page 39
3.2.3. Automotive sector......Page 40
3.2.4.1. Presentation......Page 42
3.2.4.2. Software safety level......Page 43
3.3. Conclusion......Page 44
3.4. Bibliography......Page 45
4.2. Basic definitions 1......Page 50
4.3.1. What is safety?In......Page 55
4.3.2. Safety management......Page 57
4.3.3. Safety integrity......Page 64
4.3.4. Determining the SIL......Page 66
4.3.5. SIL table......Page 71
4.3.6. Allocating SIL......Page 72
4.3.7. SIL management......Page 73
4.3.8. Software SIL......Page 74
4.3.10. Identifying safety requirements......Page 75
4.4. In standards IEC 61508 and IEC 61511......Page 77
4.4.1. Risk diagram......Page 78
4.4.2. LOPA......Page 80
4.6. Bibliography......Page 81
5.2. Safe and/or available hardware......Page 86
5.3. Reset of a processing unit......Page 87
5.4.1.1. Concepts......Page 88
5.4.1.2. Watchdog......Page 89
5.4.1.3.1. Presentation......Page 90
5.4.1.3.2. Example......Page 91
5.4.1.4.1. Consistency among inputs......Page 92
5.4.1.4.3. Consistency in the execution......Page 93
5.4.1.5. Summary......Page 94
5.4.3. Redundancy......Page 95
5.4.3.1.1. Presentation......Page 96
5.4.3.1.3. Example 2......Page 99
5.4.3.2.1. Presentation......Page 100
5.4.3.2.3. Checksums and process checks......Page 101
5.4.3.2.4. Cyclic redundancy check......Page 102
5.4.3.2.5. Hamming code......Page 103
5.4.3.2.6. Arithmetic code......Page 105
5.4.3.3.1. Presentation......Page 107
5.4.3.3.2. Master/slave architecture......Page 108
5.4.3.3.3. Worker/checker architecture......Page 112
5.4.3.3.4. Architecture NooK......Page 113
5.4.3.3.5. Asymmetrical architecture......Page 119
5.4.3.3.6. Summary......Page 121
5.4.4.1. Retrieval through Error......Page 122
5.4.5 Partitioning......Page 123
5.5. Conclusion......Page 124
5.6. Bibliography......Page 125
5.7. Glossary......Page 126
6.2. Techniques to make software application safe......Page 128
6.2.1.1. Principles......Page 129
6.2.2.1. Presentation......Page 131
6.2.2.2 Error recovery through retrieval......Page 132
6.2.2.4. Summary......Page 137
6.2.3.2. Principles......Page 138
6.2.3.2.1. Checking consistency/coherence of state......Page 139
6.2.3.2.2. Plausibility of the data......Page 141
6.2.3.2.3. Plausibility of operation......Page 142
6.2.3.2.4. Assertion management......Page 143
6.2.3.3. Summary......Page 144
6.2.4.1. Principles......Page 145
6.2.4.2. Example 1......Page 148
6.2.4.3. Example 2......Page 149
6.2.4.4. Example 3......Page 150
6.2.5.1. Presentation......Page 152
6.2.5.2. Generalization......Page 154
6.3.2. Diversity in memory assignment......Page 156
6.5.1. Introduction......Page 157
6.5.2. Completing the software application......Page 158
6.5.3.1. V-model and other completion cycles......Page 159
6.5.3.2. Verification and validation......Page 161
6.6. Conclusion......Page 162
6.7. Bibliography......Page 163
6.8. Glossary......Page 164
7.2. Independent assessment......Page 165
7.3. Certification......Page 166
7.4.1. Obligations......Page 167
7.4.3. Applying certification......Page 168
7.4.4. Implementation......Page 169
7.4.5. Upgrading management......Page 170
7.4.6. Cross-acceptance......Page 175
7.4.7. Tests......Page 176
7.7. Nuclear......Page 177
7.10. Safety case......Page 178
7.11. Conclusion......Page 179
7.12. Bibliography......Page 180
7.13. Glossary......Page 182
Conclusion......Page 183
Glossary......Page 184
Index......Page 185