Moby/PLC is used to develop control programmes for programmable logic controllers. A system is created using a graphical programming language with real-time extensions - the PLC automata. Networks of such PLC automata can be edited in Moby/PLC, whereby a hierarchy concept and a library help to develop larger systems. Any sub-networks can be simulated both interactively and in the background. To increase safety, it is possible to have any subnetworks formally verified by real-time model checkers. Finally, PLC source code can be generated from the specification.

Moby/PLC is part of the Moby product range, for which there is a homepage.

A tutorial for Moby/PLC can be found here.

Binary versions of Moby/PLC are available free of charge. Various configurations can be ordered on the Moby download page.

If you have any technical questions, please contact Otherwise, the contact persons for the tool are Dr H. Dierks, Dr H. Fleischhack and Dr J. Tapken.