DocumentCode
324300
Title
Tool-supported hierarchical design of distributed real-time systems
Author
Dierks, Henning ; Tapken, Josef
Author_Institution
Dept. of Comput. Sci., Oldenburg Univ., Germany
fYear
1998
fDate
17-19 Jun 1998
Firstpage
222
Lastpage
229
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 1998. Proceedings. 10th Euromicro Workshop on
Conference_Location
Berlin
ISSN
1068-3070
Print_ISBN
0-8186-8503-4
Type
conf
DOI
10.1109/EMWRTS.1998.685088
Filename
685088
Link To Document