Antti Pakonen

Senior Scientist, Project Manager

VTT

Contact:

• Email: if.ttv@nenokap.ittna
• Mail address: P.O. Box 1000, FI-02044 VTT, Finland
• Street address: Tekniikantie 21, Espoo
• Telephone: +358 20 722 6783

Activities:

• Managing a research project called "Systems Engineering approaches for managing the life cycle of I&C systems (SEAMLES)" in the SAFER2028 programme.
• Applying model checking in customer projects for:
  • TVO (Olkiluoto 1&2 I&C renewal, functional architecture) - results
  • Mipro (rail traffic control logics) - results
  • Fennovoima (functional architecture) - results
  • Fortum (Loviisa I&C renewal project ELSA) - results
  • STUK (Olkiluoto 3 I&C)
• Research in HW + SW model checking, formal specification languages, counterexample analysis, "math-heavy" model checking (video), and compositional verification (paper on the way!).
• Applying an ontology-based approach for analysing overall nuclear I&C architectures (video) in practice in the Olkiluoto 1&2 I&C renewal project DIMA, on commission from TVO.
• I also wrote a paper on function block diagram obfuscation!

I represent Finland in the IAEA Technical Working Group on Nuclear Power Plant Instrumentation and Control (TWG-NPPIC).

I am the secretary of the Automation Safety & Security Forum, a committee of the Finnish Society of Automation.

Publications: VTT CRIS - ResearchGate - Google Scholar

Model checking truly is a powerful V&V tool (see practical examples here!). Should you need some thorough verification, please get in contact!