If you made any changes in Pure these will be visible here soon.

Research Output 2006 2019

2019

Coupling Model Checking and PSA: A Case Study

Björkman, K. & Pakonen, A., 2019, Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019. Beer, M. & Zio, E. (eds.). European safety and reliability association, p. 2789-2797

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Model checking
Scalability
Hardware
Boiling water reactors
Large scale systems

Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

Buzhinsky, I. & Pakonen, A., 18 Nov 2019, In : IEEE Access. 7, p. 162139-162156 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
Model checking
Nuclear power plants
Hardware
Fault tolerance
Failure modes
15 Downloads (Pure)

Verification of fault tolerant safety I&C systems using model checking

Pakonen, A. & Buzhinsky, I., 1 Feb 2019, 2019 IEEE International Conference on Industrial Technology (ICIT). IEEE Institute of Electrical and Electronic Engineers , p. 969-974 6 p. (IEEE International Conference on Industrial Technology).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

File
Model checking
Hardware
Fault tolerance
Failure modes
Nuclear power plants
2018
1 Citation (Scopus)
111 Downloads (Pure)

Counterexample visualization and explanation for function block diagrams

Pakonen, A., Buzhinsky, I. & Vyatkin, V., 27 Sep 2018, Proceedings of 16th International Conference on Industrial Informatics: INDIN 2018. IEEE Institute of Electrical and Electronic Engineers , p. 747-753 7 p. 8472025

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
File
Visualization
Specifications
Control system applications
Nuclear industry
Model checking

Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes

Buzhinsky, I., Pakonen, A. & Vyatkin, V., 2018, Proceedings - 2018 IEEE 27th International Symposium on Industrial Electronics, ISIE 2018. IEEE Institute of Electrical and Electronic Engineers , p. 669-674 6 p. 8433793

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Model checking
Specifications
Nuclear industry
Human engineering
Systems analysis
2017
1 Citation (Scopus)

Explicit-state and symbolic model checking of nuclear I&C systems: A comparison

Buzhinsky, I., Pakonen, A. & Vyatkin, V., 15 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society: IECON 2017. IEEE Institute of Electrical and Electronic Engineers , p. 5439-5446 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Symbolic Model Checking
Model checking
Model Checking
Nuclear Power Plant
Instrumentation

Integrated safety assessment and justification of nuclear power plant automation (SAUNA)

Pakonen, A., Alanen, J., Björkman, K., Buzhinsky, I., Helminen, A., Hirvonen, A., Holmberg, J-E., Koskinen, H., Laarni, J., Linnosmaa, J., Nevalainen, R., Papakonstantinou, N., Porthin, M., Tommila, T., Tyrväinen, T., Uusitalo, E., Valkonen, J., Varkoi, T. & Vyatkin, V., 2017, SAFIR2018 - The Finnish Research Programme on Nuclear Power Plant Safety 2015-2018: Interim Report. VTT Technical Research Centre of Finland, p. 40-65 (VTT Technology, Vol. 294).

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Open Access
5 Citations (Scopus)
26 Downloads (Pure)

Model checking as a protective method against spurious actuation of industrial control systems

Pakonen, A. & Björkman, K., 1 Jan 2017, Safety and Reliability: Theory and Applications. Cepin, M. & Briš, R. (eds.). CRC Press, p. 3189-3196 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
File
Model checking
Control systems
Logic design
Nuclear industry
Failure modes
5 Citations (Scopus)

Practical applications of model checking in the Finnish nuclear industry

Pakonen, A., Tahvonen, T., Hartikainen, M. & Pihlanko, M., 1 Jan 2017, 10th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies, NPIC and HMIT 2017. American Nuclear Society ANS, Vol. 2. p. 1342-1352 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Nuclear industry
Model checking
Nuclear power plants
Paramagnetic resonance
Field programmable gate arrays (FPGA)

Scalable methods of discrete plant model generation for closed-loop model checking

Buzhinsky, I., Pakonen, A. & Vyatkin, V., 15 Dec 2017, Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. IEEE Institute of Electrical and Electronic Engineers , p. 5483-5488 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Model checking
Model Checking
Closed-loop
Formal methods
Formal Methods
2016
2 Citations (Scopus)

A study on user-friendly formal specification languages for requirements formalization

Pang, C., Pakonen, A., Buzhinsky, I. & Vyatkin, V., 2016, Proceedings - 2016 IEEE 14th International Conference on Industrial Informatics, INDIN 2016. IEEE Institute of Electrical and Electronic Engineers , p. 676-682 7 p. 7819246

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Specification languages
Formal methods
Demonstrations
Formal languages
Nuclear energy
10 Citations (Scopus)

User-friendly formal specification languages - conclusions drawn from industrial experience on model checking

Pakonen, A., Pang, C., Buzhinsky, I. & Vyatkin, V., 7 Nov 2016, Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on. IEEE Institute of Electrical and Electronic Engineers , p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Specification languages
Model checking
Nuclear industry
Formal methods
Application programs

Verification of FPGA application design by model checking

Pakonen, A., 2016.

Research output: Contribution to conferenceOther conference contributionScientific

Open Access
2015

Mallintarkastus paikkaa testauksen jättämiä aukkoja

Pakonen, A., Valkonen, J., Matinaho, S. & Honkoila, K., 2015, In : Automaatioväylä. 31, 2, p. 23-25

Research output: Contribution to journalArticleProfessional

Open Access

Model checking of I&C software in the Loviisa NPP automation renewal project

Pakonen, A., Valkonen, J., Matinaho, S. & Hartikainen, M., 2015, Automaatio XXI Proceedings. (Suomen Automaatioseuran julkaisusarja, Vol. 44).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

Open Access
Model checking
Automation
Nuclear industry
Formal methods
Software design
2014

Controlled natural language requirements in the design and analysis of safety critical I&C systems

Tommila, T. & Pakonen, A., 2014, Espoo: VTT Technical Research Centre of Finland. 66 p. (Lappeenranta University of Technology: Department of Information Technology. Research report, Vol. VTT-R-01067-14).

Research output: Book/ReportReport

Model checking for licensing support in the Finnish nuclear industry

Pakonen, A., Valkonen, J., Matinaho, S. & Hartikainen, M., 2014, ISOFIC/ISSNP 2014: International Symposium on Future I and C for Nuclear Power Plants/International Symposium on Symbiotic Nuclear Power Plants. Korean Nuclear Society, 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsProfessional

Open Access
nuclear power plant
Finland
qualification
industry
software
2013
15 Citations (Scopus)

A Toolset for model checking of PLC software

Pakonen, A., Mätäsniemi, T., Lahtinen, J. & Karhela, T., 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA). IEEE Institute of Electrical and Electronic Engineers , 6 p. 6648065

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Model checking
Programmable logic controllers
Specification languages

Error-free software through formal methods

Pakonen, A. & Valkonen, J., 2013, eEngineering 2009-2012: Digitising the product process. Espoo: VTT Technical Research Centre of Finland, p. 37-41 (VTT Research Highlights; No. 8).

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional

Open Access

Ontology-Driven Natural Language Requirement Templates for Model Checking I&C Functions

Tommila, T., Pakonen, A. & Valkonen, J., 2013, Enlarged Halden Programme Group Meeting: Proceedings of the Man-Technology-Organisation (MTO) Sessions. Halden, Norway, Paper C4.13

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

Model checking
Ontology
File editors

Using associations and fuzzy ontologies for modeling chemical safety information

Timonen, M., Pakonen, A. & Tommila, T., 2013, Proceedings of the 5th International Conference on Knowledge Engineering and Ontology Development: KEOD 2013. p. 26-37

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Ontology
Search engines
2012

Model checking reveals hidden errors in safety-critical I&C software

Pakonen, A., Mätäsniemi, T. & Valkonen, J., 2012, Proceedings: 8th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2012. American Nuclear Society ANS, Vol. 3. p. 1823-1834

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Model checking
Systems analysis
Formal methods
Nuclear power plants
Hardware
2011

Mallintarkastus kriittisten automaatiojärjestelmien suunnittelun tueksi

Pakonen, A., Lahtinen, J., Björkman, K. & Valkonen, J., 2011, Automaatio XIX: Seminaari 15.-16.3. 2011. Visala, A. (ed.). Helsinki, (Suomen automaatioseura. Julkaisusarja; No. 41).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientific

Open Access
2010
5 Citations (Scopus)

A fuzzy ontology based approach for mobilising industrial plant knowledge

Pakonen, A., Tommila, T. & Hirvonen, J., 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010). IEEE Institute of Electrical and Electronic Engineers

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Ontology
Industrial plants
Knowledge management
Semantic Web
Information retrieval
7 Citations (Scopus)

Fuzzy keyword ontology for annotating and searching event reports

Hirvonen, J., Tommila, T., Pakonen, A., Carlsson, C., Fedrizzi, M. & Fullér, R., 2010, Proceedings of the International Conference on Knowledge Engineering and Ontology Development, KEOD 2010. Portugal: SCITEPRESS Science And Technology Publications, p. 251-256

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Ontology
Costs

Fuzzy ontologies for retrieval of industrial knowledge: A case study

Tommila, T., Hirvonen, J. & Pakonen, A., 2010, Espoo: VTT Technical Research Centre of Finland. 57 p. (VTT Working Papers; No. 153).

Research output: Book/ReportReport

Open Access
Ontology
Knowledge management
Contractors
Data structures
Life cycle

Integrating model checking with safety-critical I&C software design

Pakonen, A., Lahtinen, J., Kuutti, V-P. & Karhela, T., 2010, Proceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010. American Nuclear Society ANS, Vol. 3. p. 1729-1740

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Model checking
Software design
Systems analysis
Formal methods
Hardware

Mallintarkistus löytää piilevät automaation suunnitteluvirheet

Pakonen, A. & Valkonen, J., 2010, In : Automaatioväylä. 7, p. 16-17

Research output: Contribution to journalArticleProfessional

2007

Information agents handling semantic data as an extension to process monitoring systems

Pirttioja, T., Seilonen, I., Pakonen, A., Koskinen, K. & Halme, A., 2007, 3rd International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007. p. 411-420

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Process monitoring
Semantics
Monitoring
Composite materials
Multi agent systems
10 Citations (Scopus)

OWL based information agent services for process monitoring

Pakonen, A., Pirttioja, T., Seilonen, I. & Tommila, T., 2007, Proceedings: 12th IEEE International Conference on Emerging Technologies and Factory Automation, EFTA 2007. Piscataway, NJ, USA: IEEE Institute of Electrical and Electronic Engineers , p. 9-16

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Open Access
Process monitoring
Information retrieval
Semantic Web
Ontology
Automation
2006
5 Citations (Scopus)

Proactive computing in process monitoring: Information agents for operator support

Pakonen, A., Pirttioja, T., Seilonen, I. & Tommila, T., 2006, Proceedings: IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2006. Piscataway, NJ, USA: IEEE Institute of Electrical and Electronic Engineers , p. 153-158

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Process monitoring
Automation
Intelligent agents
Monitoring