Josef Tapken

Learn More
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLC-Automaton [4] by applying this method to a real-world case study. To this end we use the tool which was built for PLC-Automata. This tool called MOBY/PLC provides simulation and verification methods to validate a design. Furthermore, the design can be(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 this paper we sketch the modelling language in use and some features of Moby/plc,(More)
  • 1