Moby/PLC

 

1 Einleitung

Moby/PLC dient der Entwicklung von Kontrollprogrammen für speicherprogrammierbare Steuerungen. Ein System wird mit Hilfe einer graphischen Programmiersprache mit Realzeiterweiterungen - den SPS-Automaten - erstellt. Netzwerke solcher SPS-Automaten lassen sich in Moby/PLC editieren, wobei ein Hierarchie-Konzept und eine Bibliothek helfen, größere Systeme zu entwickeln. Beliebige Teilnetzwerke können sowohl interaktiv als auch im Hintergrund simuliert werden. Um die Sicherheit zu erhöhen, ist es möglich, beliebige Teilnetzwerke durch Realzeit-Modelchecker formal verifizieren zu lassen. Abschließend kann SPS-Quellcode aus der Spezifikation erzeugt werden.

 

2 Weitere Informationen

Moby/PLC ist Bestandteil der Moby-Produktreihe, zu der es eine Homepage gibt.

Ein Tutorial fuer Moby/PLC finden Sie hier.

Binärversionen von Moby/PLC sind kostenlos erhältlich. Verschiedene Konfigurationen können auf der Moby-Download-Seite bestellt werden.

Bei technischen Fragen wenden Sie sich bitte an moby@theoretica.Informatik.Uni-Oldenburg.DE . Ansonsten sind die Ansprechpartner zum Tool Dr. H. Dierks, Dr. H. Fleischhack und Dr. J. Tapken.

 

3 Veröffentlichungen (Programmbeschreibung)

[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 Veröffentlichungen (Theoretischer Hintergrund)

[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 ]