Antti Pakonen

Chief Specialist, D.Sc. (Tech.)

Contact:

Email: if.mutnames@nenokap.ittna
Address: Tekniikantie 14, FI-02150 Espoo, Finland

I work with industrial automation systems. Or instrumentation & control (I&C) systems, as they're sometimes called.

I wrote my doctoral thesis on the industrial application of model checking. Until 2025, working at VTT, I applied model checking in practice for STUK, TVO (results), Fortum (results), Fennovoima (results), and Mipro (results). You can find examples of detected issues in, e.g., this 2021 paper.

Model checking quickly reveals design issues in systems already subjected to testing. Since the checked properties can also address unwanted system behaviour, I've often found design issues leading to spurious actuations, contradictory commands, and permanently stuck signals. If you're interested in high quality, reliability, safety, or fast assessment of alternative design solutions, please get in touch!

I've done a lot of work for the nuclear industry. Recently, for example, I've applied an ontology-based Defence-in-Depth analysis approach to support TVO in their I&C renewal project DIMA (results).

If you're familiar with function block diagrams as a programming language, you might enjoy my paper on FBD obfuscation.

I am an IPMA C certified project manager.

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

Publications: ResearchGate - Google Scholar