Requirements dependability and traceability in automation systems

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

Abstract

The report describes the research efforts performed during the author's secondee period at the Halden Reactor Project. The report is divided into four parts summarizing the tasks carried out during the research period. The first documented task during the secondment was making a survey about requirements elicitation and analysis, which gives an overview of the subject area. The second task concerned a survey about design of dependable automation systems. Related to this task, it was written a conference paper "Vision of a Framework for Design Guides for Development of Safety Critical Applications" which was presented in the 24th International System Safety Conference (Appendix 1). In the third task, the purpose was to analyse FSAR (Final safety analysis report) documents used in design of two Halden simulators, and try to extract applicable information for the purposes of pattern creation. The fourth task dealt with requirements traceability in the documentation of the development life cycle of the core surveillance system in a nuclear power plant.
Original languageEnglish
Title of host publicationEnlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions
Place of PublicationHalden
Number of pages51
Publication statusPublished - 2007
MoE publication typeB3 Non-refereed article in conference proceedings
EventEnlarged Halden Programme Group Meeting, EHPG 2007 - Storefjell Resort Hotel, Gol, Norway
Duration: 11 Mar 200716 Mar 2007

Conference

ConferenceEnlarged Halden Programme Group Meeting, EHPG 2007
CountryNorway
CityGol
Period11/03/0716/03/07

Fingerprint

Automation
Security systems
Nuclear power plants
Life cycle
Simulators

Keywords

  • requirements engineering
  • dependability
  • requirements elicitation
  • licensing
  • requirements traceability
  • automation system

Cite this

Valkonen, J. (2007). Requirements dependability and traceability in automation systems. In Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions Halden.
Valkonen, Janne. / Requirements dependability and traceability in automation systems. Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions. Halden, 2007.
@inproceedings{f2f2ec69ce8442cf8b17c05b712eecf8,
title = "Requirements dependability and traceability in automation systems",
abstract = "The report describes the research efforts performed during the author's secondee period at the Halden Reactor Project. The report is divided into four parts summarizing the tasks carried out during the research period. The first documented task during the secondment was making a survey about requirements elicitation and analysis, which gives an overview of the subject area. The second task concerned a survey about design of dependable automation systems. Related to this task, it was written a conference paper {"}Vision of a Framework for Design Guides for Development of Safety Critical Applications{"} which was presented in the 24th International System Safety Conference (Appendix 1). In the third task, the purpose was to analyse FSAR (Final safety analysis report) documents used in design of two Halden simulators, and try to extract applicable information for the purposes of pattern creation. The fourth task dealt with requirements traceability in the documentation of the development life cycle of the core surveillance system in a nuclear power plant.",
keywords = "requirements engineering, dependability, requirements elicitation, licensing, requirements traceability, automation system",
author = "Janne Valkonen",
year = "2007",
language = "English",
booktitle = "Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions",

}

Valkonen, J 2007, Requirements dependability and traceability in automation systems. in Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions. Halden, Enlarged Halden Programme Group Meeting, EHPG 2007, Gol, Norway, 11/03/07.

Requirements dependability and traceability in automation systems. / Valkonen, Janne.

Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions. Halden, 2007.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

TY - GEN

T1 - Requirements dependability and traceability in automation systems

AU - Valkonen, Janne

PY - 2007

Y1 - 2007

N2 - The report describes the research efforts performed during the author's secondee period at the Halden Reactor Project. The report is divided into four parts summarizing the tasks carried out during the research period. The first documented task during the secondment was making a survey about requirements elicitation and analysis, which gives an overview of the subject area. The second task concerned a survey about design of dependable automation systems. Related to this task, it was written a conference paper "Vision of a Framework for Design Guides for Development of Safety Critical Applications" which was presented in the 24th International System Safety Conference (Appendix 1). In the third task, the purpose was to analyse FSAR (Final safety analysis report) documents used in design of two Halden simulators, and try to extract applicable information for the purposes of pattern creation. The fourth task dealt with requirements traceability in the documentation of the development life cycle of the core surveillance system in a nuclear power plant.

AB - The report describes the research efforts performed during the author's secondee period at the Halden Reactor Project. The report is divided into four parts summarizing the tasks carried out during the research period. The first documented task during the secondment was making a survey about requirements elicitation and analysis, which gives an overview of the subject area. The second task concerned a survey about design of dependable automation systems. Related to this task, it was written a conference paper "Vision of a Framework for Design Guides for Development of Safety Critical Applications" which was presented in the 24th International System Safety Conference (Appendix 1). In the third task, the purpose was to analyse FSAR (Final safety analysis report) documents used in design of two Halden simulators, and try to extract applicable information for the purposes of pattern creation. The fourth task dealt with requirements traceability in the documentation of the development life cycle of the core surveillance system in a nuclear power plant.

KW - requirements engineering

KW - dependability

KW - requirements elicitation

KW - licensing

KW - requirements traceability

KW - automation system

M3 - Conference article in proceedings

BT - Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions

CY - Halden

ER -

Valkonen J. Requirements dependability and traceability in automation systems. In Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organization Sessions. Halden. 2007