The Finnish Research Programme on Nuclear Power Plant Safety 2015 - 2018

    Project: Research

    Project Details

    Layman's description

    The objective of national nuclear power safety research is to ensure that if new matters related to the safe use of nuclear power plants should arise, the authorities possess sufficient technical expertise and other competence for determining the significance of those matters without delay.
    AcronymSAFIR 2018
    StatusFinished
    Effective start/end date1/01/15 → 31/12/18
    View all
    View less

    Access Project

    Research Output

    • 1 Conference article in proceedings
    • 1 Dissertation

    Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems

    Lahtinen, J. & Björkman, K., 25 Nov 2016, Risk, Reliability and Safety: Innovating Theory and Practice. Walls, L., Revie, M. & Bedford, T. (eds.). CRC Press, 383

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    • Model Checking Large Nuclear Power Plant Safety System Designs: Dissertation

    Lahtinen, J., 2016, Espoo: VTT Technical Research Centre of Finland. 230 p.

    Research output: Thesis › Dissertation

    Open Access