Moby/PLC - Graphical development of PLC-Automata

摘要

Moby/PLC is a graphical design tool for PLC-Automata, a special class of hierarchical real-time automata suitable for the description of distributed real-time systems that are implementable on a widely used hardware platform, so-called Programmable Logic Con-trollers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/PLC, like several validation methods and code generation.