Tool-supported hierarchical design of distributed real-time systems

In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this end we use the tool which was built for PLCAutomata. This tool called MOBY/PLC provides simulation and verification methods to validate a design. Furthermore, the design can be translated into executable source code for real machines.

• Type: Conference
• Year: 1998
• Where: ECRTS
• Authors: Henning Dierks, Josef Tapken
• Keywords: ECRTS 1998, Embedded Systems, Formal Description Technique, Systems Called Plcautomaton, Tool Called Moby/plc