Auto-generation of distributed automation software based on formal product line specification

Victor Dubinin*, Ilya Senokosov, Valeriy Vyatkin

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)

Abstract

In this paper we demonstrate how some features of product lines related to the product assembly plan can be modelled in a formal way using finite state machines. Then we introduce a method for automatic generation of automation software that is empowering the production systems to produce the required range of products based on availability of components. We illustrate the concept on a very simple example, where products are limited to ordered tuples of components. The products can have different complexity which is reflected in the variable number of elements in the tuples. Benefits of automatic generation include reduced implementation cycle, along with assurance in abilities of manufacturing lines to produce exactly specified product descriptions.

Original languageEnglish
Title of host publicationProceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017
Pages80-91
Number of pages12
Volume10444 LNAI
DOIs
Publication statusPublished - 2017
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Industrial Applications of Holonic and Multi-Agent Systems - Lyon, France
Duration: 28 Aug 201730 Aug 2017
Conference number: 8

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10444 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

ConferenceInternational Conference on Industrial Applications of Holonic and Multi-Agent Systems
Abbreviated titleHoloMAS
CountryFrance
CityLyon
Period28/08/201730/08/2017

Keywords

  • Ball sorting system
  • Control system
  • Finite state machine
  • Function blocks
  • Graphs inference
  • NxtStudio
  • Prolog language
  • Selecting automaton
  • Selection
  • Sorting
  • Specification
  • Standard IEC 61499
  • Token transfer
  • Workpieces sequence

Fingerprint Dive into the research topics of 'Auto-generation of distributed automation software based on formal product line specification'. Together they form a unique fingerprint.

  • Cite this

    Dubinin, V., Senokosov, I., & Vyatkin, V. (2017). Auto-generation of distributed automation software based on formal product line specification. In Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017 (Vol. 10444 LNAI, pp. 80-91). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10444 LNAI). https://doi.org/10.1007/978-3-319-64635-0_7