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