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 Controllers (PLCs). In this paper we sketch the modelling language in use and some features of MOBY/PLC, like several validation methods (including formal verification) and code generation.
Print ISSN: 0178-2312
Volume: 49, 01/2001
Pages: 038