Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC-Reference-Cited by-同舟云学术

Modelling and Verifying of a ‘Cash-Point Service’ Using MOBY/PLC

Published:2000-12 Issue:4 Volume:12 Page:220-221
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Dierks Henning¹,Tapken Josef¹

Affiliation:

1. Department of Computer Science, University of Oldenburg, Oldenburg, Germany, , , , , , DE

Abstract

Abstract. M OBY / 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 M OBY / PLC , like several validation methods and code generation. We employ this tool suite to deal with the benchmark case study (‘cash-point service’).

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s001650070015.pdf

Reference5 articles.

1. A theory of timed automata;Al;TCS,1994

2. In A. P. Ravn and H. Rischel (eds). FTRTFT'98 volume 1486 of LNCS pages 29 - 40 Lyngby Denmark September 1998 .

3. Springer. [KPO96] Krieg-Brückner B. Peleska J. Olderog E.-R. etal.: UniForM: Universal Formal Methods Workbench. In Statusseminar

4. des BMBF Softwaretechnologie pages 357-378. BMBF Berlin 1996.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Combining Specification Techniques for Processes, Data and Time;Lecture Notes in Computer Science;2002