TAG 1.3 System safety
SEAMLES – Systems Engineering approaches for managing the life cycle of I&C systems, VTT, Aalto
Conference papers and journal articles:
Björkman K. & Pakonen, A. 2023. Analyzing defense-in-depth properties of nuclear power plant instrumentation and control system architectures using ontologies. 13th Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2023), July 15-20, 2023, Knoxville, TN, USA. pp. 1590-1599. https://doi.org/10.13182/NPICHMIT23-41042
Linnosmaa, J., Pakonen, A. & Alanen, J. 2023. Demonstration of a model-based approach for formal verification of I&C logics. 13th Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2023), July 15-20, 2023, Knoxville, TN, USA. pp. 1441-1450. https://doi.org/10.13182/NPICHMIT23-41121
Ovsiannikova, P., Pakonen, A. & Vyatkin, V. 2023. Automatic generation of repair suggestions for overall nuclear I&C architecture represented with an ontology. 28th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2023). September 12-15, 2023, Sinaia, Romania. https://doi.org/10.1109/ETFA54631.2023.10275557
Ovsiannikova, P., Pakonen, A. & Vyatkin, V. 2023.Automatic generation of repair suggestions for control logic of I&C systems. 49th Annual Conference of the IEEE Industrial Electronics Society (IECON 2023), October 16-19, 2023, Singapore. https://doi.org/10.1109/IECON51785.2023.10311970
Pakonen, A. 2023. Model-checking I&C logics — practical examples. 13th Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies (NPIC & HMIT 2023), July 15-20, 2023, Knoxville, TN, USA, pp. 1610-1619, https://doi.org/10.13182/NPICHMIT23-41122
Theses:
Kothalawala, H. 2023. Application of System-Theoretic Process Analysis (STPA) in Nuclear Instrumentation and Control systems. Master’s thesis, Aalto University. http://urn.fi/URN:NBN:fi:aalto-202310226581
Ovsiannikova, P. 2023. Methods and tools aiding in the analysis of specification failures during the design process of safety-critical cyber-physical systems. Aalto University DOCTORAL THESES, 166/2023. http://urn.fi/URN:ISBN:978-952-64-1470-6
SINARP – The Safe Interaction of Nuclear with a Renewable Rich Power System, Aalto, VTT
Research Reports:
Baranauskas, M., Millar, J., Seppänen, J., Silde, A. 2024. D2.2 (D2.1.2&D2.1.3). Developing the co-simulation platform and co-simulations results. VTT Research Report, 40 p.
Millar, J., Martin, F., Seppänen, J., Nguyen, P., Baranauskas, M., Silder, A. 2024. D1.1.1. Refining the scenarios (T1.1). Aalto University School of Electrical Engineering, 9 p.
Millar, J., Martin, F., Seppänen, J., Baranauskas, M., Silder, A. 2024. D2.1.1. The 400kV transmission system model (T2.1). Aalto University School of Electrical Engineering, 7 p.
