Tietokoneohjattujen järjestelmien luotettavuuden arviointi

Ilkka Karanta, Kim Björkman, Jan-Erik Holmberg, Matti Maskuniitty

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

Abstract

We have surveyed methods applicable to the reliability analysis of digital instrumentation and control systems. Our specific field of application is the control systems of a nuclear power plant (NPP). This paper summarizes our findings, and outlines needs for future research work. Traditional fault tree/event tree methods have a limited scope of application, namely in the analysis of protection systems. Dynamic flowgraph methodology, Markov models and model checking hold promise for capturing the time dependent dynamic behaviours ubiquitous in the more general setting.
Original languageEnglish
Title of host publicationSIAS 2010
Subtitle of host publicationThe 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010
Place of PublicationHelsinki
Publication statusPublished - 2010
MoE publication typeD3 Professional conference proceedings
Event6th International Conference on Safety of Industrial Automation Systems, SIAS 2010 - Tampere, Finland
Duration: 14 Jun 201015 Jun 2010
Conference number: 6

Conference

Conference6th International Conference on Safety of Industrial Automation Systems, SIAS 2010
Abbreviated titleSIAS 2010
CountryFinland
CityTampere
Period14/06/1015/06/10

Fingerprint

Control systems
Model checking
Reliability analysis
Nuclear power plants

Keywords

  • risk analysis
  • digital instrumentation and control systems
  • nuclear power plants

Cite this

Karanta, I., Björkman, K., Holmberg, J-E., & Maskuniitty, M. (2010). Tietokoneohjattujen järjestelmien luotettavuuden arviointi. In SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 Helsinki.
Karanta, Ilkka ; Björkman, Kim ; Holmberg, Jan-Erik ; Maskuniitty, Matti. / Tietokoneohjattujen järjestelmien luotettavuuden arviointi. SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 . Helsinki, 2010.
@inproceedings{c08056b5d3c14189b4f582184eeda526,
title = "Tietokoneohjattujen j{\"a}rjestelmien luotettavuuden arviointi",
abstract = "We have surveyed methods applicable to the reliability analysis of digital instrumentation and control systems. Our specific field of application is the control systems of a nuclear power plant (NPP). This paper summarizes our findings, and outlines needs for future research work. Traditional fault tree/event tree methods have a limited scope of application, namely in the analysis of protection systems. Dynamic flowgraph methodology, Markov models and model checking hold promise for capturing the time dependent dynamic behaviours ubiquitous in the more general setting.",
keywords = "risk analysis, digital instrumentation and control systems, nuclear power plants",
author = "Ilkka Karanta and Kim Bj{\"o}rkman and Jan-Erik Holmberg and Matti Maskuniitty",
note = "Project code: 41265",
year = "2010",
language = "English",
isbn = "978-952-5183-40-5",
booktitle = "SIAS 2010",

}

Karanta, I, Björkman, K, Holmberg, J-E & Maskuniitty, M 2010, Tietokoneohjattujen järjestelmien luotettavuuden arviointi. in SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 . Helsinki, 6th International Conference on Safety of Industrial Automation Systems, SIAS 2010, Tampere, Finland, 14/06/10.

Tietokoneohjattujen järjestelmien luotettavuuden arviointi. / Karanta, Ilkka; Björkman, Kim; Holmberg, Jan-Erik; Maskuniitty, Matti.

SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 . Helsinki, 2010.

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

TY - GEN

T1 - Tietokoneohjattujen järjestelmien luotettavuuden arviointi

AU - Karanta, Ilkka

AU - Björkman, Kim

AU - Holmberg, Jan-Erik

AU - Maskuniitty, Matti

N1 - Project code: 41265

PY - 2010

Y1 - 2010

N2 - We have surveyed methods applicable to the reliability analysis of digital instrumentation and control systems. Our specific field of application is the control systems of a nuclear power plant (NPP). This paper summarizes our findings, and outlines needs for future research work. Traditional fault tree/event tree methods have a limited scope of application, namely in the analysis of protection systems. Dynamic flowgraph methodology, Markov models and model checking hold promise for capturing the time dependent dynamic behaviours ubiquitous in the more general setting.

AB - We have surveyed methods applicable to the reliability analysis of digital instrumentation and control systems. Our specific field of application is the control systems of a nuclear power plant (NPP). This paper summarizes our findings, and outlines needs for future research work. Traditional fault tree/event tree methods have a limited scope of application, namely in the analysis of protection systems. Dynamic flowgraph methodology, Markov models and model checking hold promise for capturing the time dependent dynamic behaviours ubiquitous in the more general setting.

KW - risk analysis

KW - digital instrumentation and control systems

KW - nuclear power plants

M3 - Conference article in proceedings

SN - 978-952-5183-40-5

BT - SIAS 2010

CY - Helsinki

ER -

Karanta I, Björkman K, Holmberg J-E, Maskuniitty M. Tietokoneohjattujen järjestelmien luotettavuuden arviointi. In SIAS 2010: The 6th International Conference on Safety of Industrial Automated Systems, Tampere, 14.-15.6.2010 . Helsinki. 2010