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

Victor Dubinin; Ilya Senokosov; Valeriy Vyatkin

doi:10.1007/978-3-319-64635-0_7

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

Victor Dubinin^*, Ilya Senokosov, Valeriy Vyatkin

^*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

3 Sitaatiot (Scopus)

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017
Kustantaja	Springer
Sivut	80-91
Sivumäärä	12
Vuosikerta	10444 LNAI
ISBN (painettu)	9783319646343
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-64635-0_7
Tila	Julkaistu - 2017
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	International Conference on Industrial Applications of Holonic and Multi-Agent Systems - Lyon, Ranska Kesto: 28 elok. 2017 → 30 elok. 2017 Konferenssinumero: 8

Julkaisusarja

Nimi	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vuosikerta	10444 LNAI
ISSN (painettu)	03029743
ISSN (elektroninen)	16113349

Conference

Conference	International Conference on Industrial Applications of Holonic and Multi-Agent Systems
Lyhennettä	HoloMAS
Maa/Alue	Ranska
Kaupunki	Lyon
Ajanjakso	28/08/2017 → 30/08/2017

Pääsy asiakirjaan

10.1007/978-3-319-64635-0_7

Muut tiedostot ja linkit

Link to publication in Scopus

Siteeraa tätä

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

Dubinin, Victor ; Senokosov, Ilya ; Vyatkin, Valeriy. / Auto-generation of distributed automation software based on formal product line specification. Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017. Vuosikerta 10444 LNAI Springer, 2017. Sivut 80-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{aa4485e948484199ba409039411a2dcf,

title = "Auto-generation of distributed automation software based on formal product line specification",

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.",

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",

author = "Victor Dubinin and Ilya Senokosov and Valeriy Vyatkin",

year = "2017",

doi = "10.1007/978-3-319-64635-0_7",

language = "English",

isbn = "9783319646343",

volume = "10444 LNAI",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "80--91",

booktitle = "Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017",

address = "Germany",

note = "International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS ; Conference date: 28-08-2017 Through 30-08-2017",

}

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

Auto-generation of distributed automation software based on formal product line specification. / Dubinin, Victor; Senokosov, Ilya; Vyatkin, Valeriy.
Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017. Vuosikerta 10444 LNAI Springer, 2017. s. 80-91 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10444 LNAI).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

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

AU - Dubinin, Victor

AU - Senokosov, Ilya

AU - Vyatkin, Valeriy

N1 - Conference code: 8

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Ball sorting system

KW - Control system

KW - Finite state machine

KW - Function blocks

KW - Graphs inference

KW - NxtStudio

KW - Prolog language

KW - Selecting automaton

KW - Selection

KW - Sorting

KW - Specification

KW - Standard IEC 61499

KW - Token transfer

KW - Workpieces sequence

UR - http://www.scopus.com/inward/record.url?scp=85028466104&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-64635-0_7

DO - 10.1007/978-3-319-64635-0_7

M3 - Conference article in proceedings

AN - SCOPUS:85028466104

SN - 9783319646343

VL - 10444 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 80

EP - 91

BT - Proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017

PB - Springer

T2 - International Conference on Industrial Applications of Holonic and Multi-Agent Systems

Y2 - 28 August 2017 through 30 August 2017

ER -

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

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

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä