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

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