| Back to home | ||
Research on software systems dependability at the OECD Halden Reactor Project SIVERTSEN Terje1, and ØWRE Fridtjov2
1. Institute for Energy Technology, OECD Halden Reactor Project, Post Box 173, (Terje.Sivertsen@hrp.no)
2. Institute for Energy Technology, OECD Halden Reactor Project, Post Box 173, NO-1751 Halden, Norway (Fridtjov.Owre@hrp.no)
Abstract: 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.
Keywords: software systems dependability; safety integrity; safety demonstration
|
||
| Click here for viewing full text. | ||