Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems

Wiktor B. Daszczuk


There are many papers concerning well-known Karlsruhe Production Cell benchmark. They focus on specification of the controller – which leads to a synthesis of working controller – or verification of its operation. The controller is modeled using various methods: programming languages, algebras or autom-ata. Verification is based on testing, bisimulation or temporal model checking. Most models are synchronous. Asynchronous specifications use one- or multi-element buffers to relax the dependence of component subcontrollers. We pro-pose the application of fully asynchronous IMDS (Integrated Model of Distrib-uted Systems) formalism. In our model the subcontrollers do not use any com-mon variables or intermediate states. We apply distributed negotiations between subcontrollers using a simple protocol. The verification is based on CTL (Com-putation Tree Logic) model checking integrated with IMDS.
Author Wiktor B. Daszczuk (FEIT / IN)
Wiktor B. Daszczuk,,
- The Institute of Computer Science
Publication size in sheets0.7
Book Bembenik Robert, Skonieczny Łukasz, Protaziuk Grzegorz M., Kryszkiewicz Marzena, Rybiński Henryk (eds.): Intelligent Methods and Big Data in Industrial Applications, Studies in Big Data, vol. 40, 2019, Springer International Publishing, ISBN 978-3-319-77603-3, [978-3-319-77604-0], 376 p., DOI:10.1007/978-3-319-77604-0
Keywords in EnglishProduction Cell, Distributed system specification, Distributed sys-tem verification, Asynchronous systems, Communication duality.
ProjectDevelopment of new algorithms in the areas of software and computer architecture, artificial intelligence and information systems and computer graphics . Project leader: Arabas Jarosław, , Phone: +48 22 234 7432, start date 01-06-2017, end date 31-10-2018, II/2017/DS/1, Completed
WEiTI Działalność statutowa
Languageen angielski
PCell4.pdf 993.7 KB
Score (nominal)20
Score sourcepublisherList
ScoreMinisterial score = 20.0, 04-12-2019, ChapterFromConference
Citation count*5 (2019-11-10)
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?