Title :
Tool-supported hierarchical design of distributed real-time systems
Author :
Dierks, Henning ; Tapken, Josef
Author_Institution :
Dept. of Comput. Sci., Oldenburg Univ., Germany
Abstract :
The authors demonstrate the usage of a formal description technique for real-time systems called PLC-Automaton by applying this method to a real-world case study. To this end they 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 translated into executable source code for real machines
Keywords :
distributed processing; formal verification; programmable controllers; real-time systems; software tools; virtual machines; MOBY/PLC tool; PLC-Automaton; design validation; distributed real-time systems; executable source code; formal description technique; real machines; simulation; tool-supported hierarchical design; verification; Automata; Automatic control; Calculus; Computer science; Electrical capacitance tomography; Identity-based encryption; Logic; Programmable control; Rail transportation; Real time systems;
Conference_Titel :
Real-Time Systems, 1998. Proceedings. 10th Euromicro Workshop on
Conference_Location :
Berlin
Print_ISBN :
0-8186-8503-4
DOI :
10.1109/EMWRTS.1998.685088
