Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification

被引：0

作者：

Dubinin, Victor ^{[1
]}

Senokosov, Ilya ^{[1
]}

Vyatkin, Valeriy ^{[2
,3
]}

机构：

[1] Penza State Univ, Penza, Russia

[2] Lulea Univ Technol, Lulea, Sweden

[3] Aalto Univ, Helsinki, Finland

来源：

INDUSTRIAL APPLICATIONS OF HOLONIC AND MULTI-AGENT SYSTEMS | 2017年 / 10444卷

关键词：

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

D O I：

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

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

下载

页码：80 / 91

页数：12

共 50 条

[41] Experience of using a lightweight formal specification method for a commercial embedded system product line
Breen, M
REQUIREMENTS ENGINEERING, 2005, 10 (02) : 161 - 172
[42] Experience of using a lightweight formal specification method for a commercial embedded system product line
Michael Breen
Requirements Engineering, 2005, 10 : 161 - 172
[43] An Evolutionary Method for the Formal Specification Construction of Service-Based Software
Miao, Weikai
Wang, Xi
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 26 (04) : 587 - 610
[44] A software product line approach for semantic specification of block libraries in dataflow languages
Dieumegard, Arnaud
Toom, Andres
Pantel, Marc
18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 217 - 226
[45] FORMAL SYSTEM OF SPECIFICATION, GENERATION AND ANALYSIS OF MESSAGE STRUCTURES IN DISTRIBUTED COMPUTER-SYSTEMS
ZAITSEV, SS
KRAVTSUNOV, MI
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1985, (03): : 5 - 15
[46] FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
Amador Durán
David Benavides
Sergio Segura
Pablo Trinidad
Antonio Ruiz-Cortés
Software & Systems Modeling, 2017, 16 : 1049 - 1082
[47] FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
Duran, Amador
Benavides, David
Segura, Sergio
Trinidad, Pablo
Ruiz-Cortes, Antonio
SOFTWARE AND SYSTEMS MODELING, 2017, 16 (04): : 1049 - 1082
[48] TRILATERAL: Software Product Line based Multidomain IoT Artifact Generation for Industrial CPS
Iglesias, Aitziber
Iglesias-Urkia, Markel
Lopez-Davalillo, Beatriz
Charramendieta, Santiago
Urbieta, Aitor
MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 62 - 71
[49] An Introductory Study on an Architecture-Based Software Product Line Test Generation Method
Lee, Jihyun
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (08) : 1071 - 1089
[50] Automation of Test Scripts in Software Product Line Using Model Driven Architecture
Ahmed, Abdelgaffar Hamed
SidAhmed, Abeer Abd Allah
Eltoum, Rehab Bakheet
2015 INTERNATIONAL CONFERENCE ON COMPUTING, CONTROL, NETWORKING, ELECTRONICS AND EMBEDDED SYSTEMS ENGINEERING (ICCNEEE), 2015, : 62 - 66

← 1 2 3 4 5 →