Skip to main content
SpringerLink
Log in

Moby/PLC — Graphical development of PLC-automata

  • Selected Presentations
  • Conference paper
  • First Online:
Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1486))

Abstract

Moby/plc 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 that are implementable on a widely used hardware platform, so-called Programmable Logic Controllers (PLCs). In this paper we sketch the modelling language in use and some features of Moby/plc, like several validation methods and code generation.

This research was partially supported by the German Ministry for Education and Research (BMBF) as part of the project UniForM under grant No. FKZ 01 IS 521 B3 and partially by the Leibniz Programme of the Deutsche Forschungsgemeinschaft (DFG) under grant No. Ol 98/1-1.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183–235, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  2. J. Bengtsson, K.G. Larsen, F. Larsson, P. Pettersson, and Wang Yi. Uppaal — a Tool Suite for Automatic Verification of Real-Time Systems. In Hybrid Systems III, volume 1066 of LNCS, pages 232–243. Springer Verlag, 1996.

    Google Scholar 

  3. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269–276, 1991.

    Article  MathSciNet  Google Scholar 

  4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, volume 1066 of LNCS, pages 208–219. Springer Verlag, 1996.

    Google Scholar 

  5. H. Dierks and J. Tapken. Tool-Supported Hierarchical Design of Distributed Real-Time Systems. In Proceedings of Euromicro 98, pages 222–229. IEEE, 1998.

    Google Scholar 

  6. Henning Dierks. PLC-Automata: A New Class of Implementable Real-Time Automata. In ARTS’97, LNCS. Springer Verlag, May 1997.

    Google Scholar 

  7. Henning Dierks, Ansgar Fehnker, Angelika Mader, and Frits Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In FTRTFT’98, LNCS. Springer Verlag, September 1998. to appear.

    Google Scholar 

  8. B. Krieg-Brückner, J. Peleska, E.-R. Olderog, et al. UniForM — Universal Formal Methods Workbench. In Statusseminar des BMBF Softwaretechnologie, pages 357–378. BMBF, Berlin, 1996.

    Google Scholar 

  9. Josef Tapken. Interactive and Compilative Simulation of PLC-Automata. In W. Hahn and A. Lehmann, editors, Simulation in Industry, ESS’97, pages 552–556. SCS, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Oldenburg, P.O.Box 2503, D-26111, Oldenburg, Germany

    Josef Tapken & Henning Dierks

Authors
  1. Josef Tapken
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Henning Dierks
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Anders P. Ravn Hans Rischel

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tapken, J., Dierks, H. (1998). Moby/PLC — Graphical development of PLC-automata. In: Ravn, A.P., Rischel, H. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1998. Lecture Notes in Computer Science, vol 1486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055360

Download citation

  • DOI: https://doi.org/10.1007/BFb0055360

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65003-4

  • Online ISBN: 978-3-540-49792-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation