Josef Tapken

Learn More
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,(More)
In this paper we present an event-driven sim-ulator for PLC-automata, a class of real-time automata, which is tailored towards the modelling of the behaviour of Programmable Logic Controllers (PLC). The simulator is based on a new combination of two common simulation concepts, namely (visual) interactive simulation and compilative simulation. The intention(More)
We present concepts for the implementation of hierarchical graphs, which can be used as basis for the implementation of tools for graphical formal description techniques (gFDT) like SDL or statecharts. Our approach provides a strong modularity of a speciication by a loose coupling between diierent hierarchy levels and it serves for a rapid development of(More)
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 the full paper we sketch the modelling language in use and some features of(More)