Antti Pakonen
Senior Scientist, Project Manager
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:
- Research in HW + SW model checking, formal specification languages, counterexample analysis, "math-heavy" model checking (video), and compositional verification.
- 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!