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