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 条
  • [31] Formal specification of CORBA-based distributed objects and behaviors
    Ngolah, CF
    Wang, YX
    ICCI 2005: FOURTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS - PROCEEDINGS, 2005, : 331 - 339
  • [32] Formal verification and software product lines - Using formal verification techniques to verify designs within a product line
    Kishi, Tomoji
    Noda, Natsuko
    COMMUNICATIONS OF THE ACM, 2006, 49 (12) : 73 - 77
  • [33] Specification-based Testing for Software Product Lines
    Kahsai, Temesghen
    Roggenbach, Markus
    Schlingloff, Bernd-Holger
    SEFM 2008: SIXTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2008, : 149 - +
  • [34] Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
    Lochau, Malte
    Buerdek, Johannes
    Lity, Sascha
    Hagner, Matthias
    Legat, Christoph
    Goltz, Ursula
    Schuerr, Andy
    AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (11) : 771 - 780
  • [35] Mobile Phone 3D Animation Plot Auto-generation Based on Ontology
    Wang, Jinjuan
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2015, 6 : 474 - 478
  • [36] Consistency design of model, data, diagram of substation one-line diagram and its auto-generation
    Zhang, J. (zhangjmhzcn@hdu.edu.cn), 1600, Automation of Electric Power Systems Press (37):
  • [37] Effects of Variable Part Auto Configuration and Management for Software Product Line
    Kim, Taeho
    Kang, Sungwon
    Lee, Jihyun
    2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 827 - 828
  • [38] Foreword to the Special Issue on Formal Methods for Software Product Line Engineering
    Batory, Don
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 121 - 122
  • [39] First international workshop on formal methods in software product line engineering
    Schaefer, Ina
    Carbon, Ralf
    SPLC 2010 - Proceedings of the 14th International Software Product Line Conference, 2010,
  • [40] Second Generation Systems and Software Product Line Engineering
    Krueger, Charles W.
    Clements, Paul C.
    18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 358 - 358
12345