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., Laakso, P. 2025. D2.3.1 Report on co-simulations. VTT Research Report. 40 p.

Baranauskas, M., Millar, J., Seppänen, J., Silde, A. 2024. D2.2 Developing the co-simulation platform and co-simulations results. VTT Research Report. 22 p.

Millar, J., Martin, F., Nguyen, P., Baranauskas, M., Laakso, P., Sirviö, K. 2024. D1.1.2: Refining the scenarios (T1.1). Aalto University School of Electrical Engineering. 6 p. + app. 6 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., Seyyed, T. M., Baranauskas, M., Laakso, P. & Sirviö, K 2024. D2.1.2: The 400kV transmission system model (T2.1). Aalto University School of Electrical Engineering. 10 p. + app. 5 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.

Troussard, P. Control grid following, grid forming and fault testing of Wind Farm Equipped with Type IV Generator. Aalto University School of Electrical Engineering. 50 p. + app. 2 p.

Theses:

Singh, S. 2024. Power system modeling to a id the planning and operation of the Finnish transmission grid in 2035 scenarios. Master’s thesis, Aalto University. 119 p. + app. 38 p. https://urn.fi/URN:NBN:fi:aalto-202408255789

Scroll to Top
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.