
Correct System Design
Moby/PLC
On this page:
- Introduction
- Further Information
- Moby/PLC-Publications (Tool Description)
- Moby/PLC-Publications (Theoretical Background)
back to the mainpage.
1 Introduction
Moby/PLC is a design tool for distributed real-time control programs running on programmable logic controllers (PLC). First, a system is modelled as a network of PLC-Automata, a graphical programming language with real-time extensions. Moby/PLC simplifies the design of large networks of PLC-Automata by a concept of hierarchy and a library of components. It is possible to simulate an arbitrary subnet of a design either in an interactive or in a background mode. To increase the reliability it is even possible to use real-time model-checking tools to verify formally whether a chosen subnet fulfills a given (real-time) property. Finally, control programs for the involved PLCs are generated automatically from the system specification.
2 Further Information
Moby/PLC is part of the Moby-workbench.
A tutorial for this tool can be downloaded here.
Binary versions of Moby/PLC are distributed for free. Several configurations can be ordered on the Moby-Download-Page.
For technical questions please contact moby@theoretica.Informatik.Uni-Oldenburg.DE . Otherwise you can get more information from Dr. H. Dierks, Dr. H. Fleischhack and Dr. J. Tapken.
3 Moby/PLC-Publications (Tool Description)
- [DT01]
- H. Dierks and J. Tapken. Moby/PLC: Eine graphische Entwicklungsumgebung für SPS-Programme. at-Automatisierungstechnik, 1:38-44, 2001. [ bib ]
- [DT00]
- H. Dierks and J. Tapken. Modelling and Verifying of `Cash-Point Service' Using Moby/PLC. Formal Aspects of Computing, 12:222-221, 2000. [ bib | .ps.gz ]
- [Tap98]
- J. Tapken. Moby/PLC - A Design Tool for Hierarchical Real-Time Automata. In E. Astesiano, editor, Proceedings of FASE'98, volume 1382 of LNCS, pages 326-329. Springer Verlag, 1998. [ bib ]
- [TD98]
- J. Tapken and H. Dierks. Moby/PLC - Graphical Development of PLC-Automata. In A.P. Ravn and H. Rischel, editors, Proceedings of FTRTFT'98, volume 1486 of LNCS, pages 311-314. Springer Verlag, 1998. (c)Springer-Verlag. This publication is available here and at Springer. [ bib ]
- [DT98]
- H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Euromicro Workshop on Real Time Systems, pages 222-229. IEEE, 1998. [ bib | .ps.gz ]
4 Moby/PLC-Publications (Theoretical Background)
- [Tap99]
- Josef Tapken. Implementing Hierarchical Graph-Structures. In J.-P. Finance, editor, Proceedings of FASE'99, volume 1577 of LNCS, pages 219-233. Springer-Verlag, 1999. (c)Springer-Verlag. This publication is available here and at Springer. [ bib ]
- [DFMV98a]
- H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In FTRTFT'98, Lecture Notes in Computer Science, pages 29-40. Springer-Verlag, 1998. (c)Springer-Verlag. This publication is available here and at Springer. [ bib ]
- [DFMV98b]
- H. Dierks, A. Fehnker, A. Mader, and F.W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. Technical Report CSI-R9813, Computer Science Institue Nijmegen, Faculty of Mathematics and Informatics, Catholic University of Nijmegen, April 1998. full paper of [DFMV98a]. [ bib | .html ]
- [Die98]
- H. Dierks. Comparing Model-Checking and Logical Reasoning for Real-Time Systems. In ESSLLI'98, August 1998. Workshop proceedings. [ bib | .ps.gz ]
- [DT98]
- H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Euromicro Workshop on Real Time Systems, pages 222-229. IEEE, 1998. [ bib | .ps.gz ]
- [DD97]
- Henning Dierks and Cheryl Dietz. Graphical Specification and Reasoning: Case Study "Generalized Railroad Crossing". In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, volume 1313 of Lecture Notes in Computer Science, pages 20-39. Springer-Verlag, 1997. [ bib | .ps.gz ]
- [Die97b]
- Henning Dierks. Synthesising Controllers from Real-Time Specifications. In Tenth International Symposium on System Synthesis, pages 126-133. IEEE CS Press, 1997. [ bib | .ps.gz ]
- [Die97a]
- Henning Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development (ARTS'97), volume 1231 of Lecture Notes in Computer Science, pages 111-125. Springer-Verlag, 1997. [ bib | .ps.gz ]