- Email: [email protected]
RT: A Tool for Specification and Verification of Real-Time Systems
Electronic Notes in Theoretical Computer Science 82 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume82.html 1 pages
Invited Tool Demonstration Moby/RT: A Tool for Specification and Verification of Real-Time Systems Henning Dierks a,1 a
Fachbereich Informatik University of Oldenburg P.O.Box 25 03 D-26111 Oldenburg Germany
Abstract Moby/RT 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. These specifications are (not exclusively) implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). We briefly present the modelling language in use and some features of Moby/RT, like code generation for different implementation platforms and several validation methods (including formal verification). The latter features require abstracting translations into Timed Automata and “reabstracting” interpretations of results.
1
Email:
[email protected]
c 2003 Published by Elsevier Science B. V.
Invited Tool Demonstration Moby/RT: A Tool for Specification and Verification of Real-Time Systems Henning Dierks a,1 a
Fachbereich Informatik University of Oldenburg P.O.Box 25 03 D-26111 Oldenburg Germany
Abstract Moby/RT 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. These specifications are (not exclusively) implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). We briefly present the modelling language in use and some features of Moby/RT, like code generation for different implementation platforms and several validation methods (including formal verification). The latter features require abstracting translations into Timed Automata and “reabstracting” interpretations of results.
1
Email:
[email protected]
c 2003 Published by Elsevier Science B. V.