Jump to ContentJump to Main Navigation
Show Summary Details
More options …

at - Automatisierungstechnik

Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik

[AT - Automation Technology: Methods and Applications of Control, Regulation, and Information Technology

Editor-in-Chief: Jumar, Ulrich

12 Issues per year

IMPACT FACTOR 2017: 0.503

CiteScore 2017: 0.47

SCImago Journal Rank (SJR) 2017: 0.212
Source Normalized Impact per Paper (SNIP) 2017: 0.546

See all formats and pricing
More options …
Just Accepted


MOBY/PLC: Eine graphische Entwicklungsumgebung für SPS-Programme (MOBY/PLC: A Graphical Design Environment for PLC Programs)

H. Dierks / J. Tapken
Published Online: 2009-09-25 | DOI: https://doi.org/10.1524/auto.2001.49.1.038

MOBY/PLC ist ein graphisches Design-Werkzeug für SPS-Automaten, einer spezielle Klasse hierarchischer Realzeitautomaten, die zur Spezifikation verteilter Realzeitsysteme geeignet sind und auf Speicherprogrammierbaren Steuerungen (SPS) implementiert werden können. In diesem Artikel stellen wir die SPS-Automaten vor und demonstrieren, wie MOBY/PLC zur Validierung (inkl. formaler Verifikation) und Codegenerierung genutzt werden kann.

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 (including formal verification) and code generation.

About the article

Published Online: 2009-09-25

Published in Print: 2001-01-01

Citation Information: at - Automatisierungstechnik Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik, Volume 49, Issue 1/2001, Pages 38–, ISSN (Print) 0178-2312, DOI: https://doi.org/10.1524/auto.2001.49.1.038.

Export Citation

Comments (0)

Please log in or register to comment.
Log in