Safety and Control Systems 2

Course guarantor:

Lecturer:

Tutor:

Supervisor:

Department of Nuclear Reactors

Synopsis:

Safety systems are the most important systems in nuclear power plant according to nuclear safety. Recently, computer based systems are installed. The quality of software plays fundamental role in such safety systems. The course provides information about software requirements, life cycle, design, coding and configuration management methods. Furthermore, verification and validation methods are analysed.

Requirements:

Syllabus of lectures:

1.Requirements on computer based safety systems

2.Computer hardware requirements

3.Software life cycle - requirements, specification

4.Software life cycle - design, coding

5.Software life cycle - HW and SW integration

6.Verification and validation - purpose and methods

7.Documentation

8.Configuration management

9.Diversity

10.Utilisation of previously developed software

11.Formal methods

12.Requirements on SW development tools

13.Detailed information about software coding

14.Factory and site acceptance tests of safety systems

Syllabus of tutorials:

Study Objective:

Study materials:

1.Software for Computers in the Safety Systems of Nuclear Power Plants, IEC-880, Geneva, 1986.

2.Draft IEC880-1: Software for Computers in the Safety Systems of Nuclear Power Plants, as a first supplement to IEC-880, Geneva, 1997

3.Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations, IEEE P-7-4.3.2, 1994

Note:

Further information:

No time-table has been prepared for this course

The course is a part of the following study plans: