Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC
- 108 Downloads
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’).