BS EN 50128:2011
- 3 - EN 50128:2011
8.1
Objectives ................................................................................................................................................ 54
8.2 Input documents ..................................................................................................................................... 55
8.3 Output documents .................................................................................................................................. 55
8.4 Requirements .......................................................................................................................................... 55
9 Software deployment and maintenance ............................................................................................... 60
9.1 Software deployment .............................................................................................................................. 60
9.2 Software maintenance ............................................................................................................................ 62
Annex A (normative) Criteria for the Selection of Techniques and Measures .......................................... 65
A.1 Clauses tables ................................................................................................................................ 66
A.2 Detailed tables ................................................................................................................................ 73
Annex B (normative) Key software roles and responsibilities ................................................................... 79
Annex C (informative) Documents Control Summary ................................................................................. 88
Annex D (informative) Bibliography of techniques ...................................................................................... 90
D.1 Artificial Intelligence Fault Correction .............................................................................................. 90
D.2 Analysable Programs ...................................................................................................................... 90
D.3 Avalanche/Stress Testing ............................................................................................................... 91
D.4 Boundary Value Analysis ................................................................................................................ 91
D.5 Backward Recovery ........................................................................................................................ 92
D.6 Cause Consequence Diagrams ...................................................................................................... 92
D.7 Checklists ....................................................................................................................................... 92
D.8 Control Flow Analysis...................................................................................................................... 93
D.9 Common Cause Failure Analysis ................................................................................................... 93
D.10 Data Flow Analysis.......................................................................................................................... 94
D.11 Data Flow Diagrams ....................................................................................................................... 94
D.12 Data Recording and Analysis .......................................................................................................... 95
D.13 Decision Tables (Truth Tables)....................................................................................................... 95
D.14 Defensive Programming ................................................................................................................. 96
D.15 Coding Standards and Style Guide ................................................................................................. 96
D.16 Diverse Programming ..................................................................................................................... 97
D.17 Dynamic Reconfiguration ................................................................................................................ 98
D.18 Equivalence Classes and Input Partition Testing............................................................................ 98
D.19 Error Detecting and Correcting Codes ............................................................................................ 98
D.20 Error Guessing ................................................................................................................................ 99
D.21 Error Seeding .................................................................................................................................. 99
D.22 Event Tree Analysis ........................................................................................................................ 99
D.23 Fagan Inspections......................................................................................................................... 100
D.24 Failure Assertion Programming .................................................................................................... 100
D.25 SEEA – Software Error Effect Analysis ......................................................................................... 100
D.26 Fault Detection and Diagnosis ...................................................................................................... 101
D.27 Finite State Machines/State Transition Diagrams ......................................................................... 102
D.28 Formal Methods ............................................................................................................................ 102
D.29 Formal Proof ................................................................................................................................. 108