Skip to main navigation Skip to search Skip to main content

Towards Model-Based Specification and Safety Assurance of Nuclear I&C Systems: Applicability of SYSML and AADL

  • Joonas Linnosmaa
  • , Janne Valkonen
  • , Peter Karpati
  • , André Hauge
  • , Fabien Sechi
  • , Bjørn Axel Gran
    • Institute for Energy Technology (IFE)

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

    Search results

    • Finished

      SAUNA: Integrated safety assessment and justification of nuclear power plant automation

      Pakonen, A. (Manager), Tommila, T. (Participant), Alanen, J. (Participant), Björkman, K. (Participant), Laarni, J. (Participant), Lahtinen, J. (Participant), Oedewald, P. (Participant), Papakonstantinou, N. (Participant), Reiman, T. (Participant), Tyrväinen, T. (Participant), Valkonen, J. (Participant), Koskinen, H. (Participant), Porthin, M. (Participant), Savioja, P. (Participant), Linnosmaa, J. (Participant), Vyatkin, V. (Participant), Pang, C. (Participant), Buzhinsky, I. (Participant), Varkoi, T. (Participant), Nevalainen, R. (Participant), Holmberg, J.-E. (Participant), Uusitalo, E. (Participant) & Koskela, M. (Participant)

      1/02/15 → 31/01/19

      Project: Research