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.