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:
Berger, J., Tiusanen, R., Kothalawala, H. & Pakonen, A. 2024. Applying priority-informed STPA to a nuclear I&C system. 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA 2024). September 10-13, 2024, Padova, Italy. https://doi.org/10.1109/ETFA61755.2024.10710653
Ovsiannikova, P., Pakonen A., Muromsky, D., Kobzev, M., Dubinin, V., Vyatkin, V. 2024. Formal verification on non-functional requirements of overall instrumentation and control architectures. IEEE Open Journal of the Industrial Electronics Society, vol. 5, June 2024, pp. 616 – 631. 10.1109/OJIES.2024.3413568
King, A., Ovsiannikova, P., Vyatkin, V. 2024. Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA 2024). September 10-13, 2024, Padova, Italy. https://doi.org/10.1109/ETFA61755.2024.10710845
Pakonen, A. 2024. Compositional verification of nuclear safety I&C systems with OCRA. 2024 IEEE 29th International Conference on Emerging Technologies and Factory Automation (ETFA 2024). September 10-13, 2024, Padova, Italy. https://doi.org/10.1109/ETFA61755.2024.10711009
Pakonen A., Buzhinsky, I., Vyatkin, V. 2024. Evaluation of visual property specification languages based on practical model-checking experience. Journal of Systems and Software, vol. 216, October 2024, 112153. https://doi.org/10.1016/j.jss.2024.112153
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:
King, A. 2024. Assessing the Suitability of Software Tools for the System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. Master’s thesis, Aalto University. 80p. + 23p. https://urn.fi/URN:NBN:fi:aalto-202411217334
Kothalawala, H. 2023. Application of System-Theoretic Process Analysis (STPA) in Nuclear Instrumentation and Control systems. Master’s thesis, Aalto University. 58p. + 30p. 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. Doctoral Thesis, Aalto University. 99p. + 86 p. 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 Developing the co-simulation platform and co-simulations results. VTT Research Report. 40 p.
Millar, J., Martin, F., Nguyen, P., Baranauskas, M., Laakso, P., Sirviö, K. 2024. D1.1.1: Refining the scenarios (T1.1). Aalto University School of Electrical Engineering. 12 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.
Theses:
Phong, T.N. 2024. Power system modeling to a id the planning and operation of the Finnish transmission grid in 2035 scenarios. Master’s thesis, Aalto University. 105 p. https://aaltodoc.aalto.fi/server/api/core/bitstreams/1faa8626-1a00-4f14-951e-c67c1d872610/content
