Man, Technology and Organisation

Research on software systems dependability at the OECD Halden Reactor Project


Sivertsen, T. , Øwre, F.
Nuclear safety and simulation, Vol. 2, no. 2(July 2011), 124-131
Publ. year
Publ. type
Two central issues related to software systems dependability are those of safety integrity and safety demonstration. A proper understanding of these two issues are important for the selection of processes, methods, techniques and tools to be used in the different life cycle phases of the software. Following a brief discussion on the concept of software safety integrity and its relationship to software systems dependability, this paper gives an introduction to research problems addressed by the OECD Halden Reactor Project within this area. The paper concludes with a discussion on the important role of safety demonstration in this context.