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 the full paper we sketch the modelling language in use and some features of MOBY/PLC, like several validation methods and code generation. We employ this tool suite to deal with the benchmark case study (‘cash-point service’).
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received January 2000 / Accepted in revised form December 2000
Rights and permissions
About this article
Cite this article
Dierks, H., Tapken, J. Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC. Form Aspects Comput 12, 220–221 (2000). https://doi.org/10.1007/s001650070015
Issue Date:
DOI: https://doi.org/10.1007/s001650070015