Moby/PLC

 

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 ]