Documentation of Computerised Safety Systems of Nuclear Power Stations

Résumé du livre

The hardware and software of safety-critical computer systems must be subjected to a systematic and detailed review. Careful review of such complex systems requires documentation that is complete, precise, and systematically organized. This guideline provides requirements for documentation at each stage of computer system design. The principles applied in developing these requirements include best available practice including the use of formal (mathematical) techniques; top-down design and documentation methods; modularity; verification of each set of design decisions; and auditable documentation using tabular representations of mathematical functions. The guideline uses basic mathematics to define the content of each document rather than its format, and the contents of each document are defined in terms of mathematical equations. Examples of the documents mentioned are included in the appendices.