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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Pearson, Upper Saddle River (2006)
Sami, B., Book, M., Gruhn, V. (eds.): Model-Driven Software Development. Springer, London (2005)
Vyatkin, V.: IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, 3rd edn. Instrumentation Society of America, Pittsburgh (2015)
Kloksin, W., Mellish, C.: Programming in Prolog: Using the ISO Standard, 5th edn. Springer, Heidelberg (2003)
Vashkevich, N.P., Biktashev, R.A.: Non-deterministic Automata and Their Application for Implementation of Information Parallel Processing. Penza State University Publisher, Penza (2016)
Grunske, L., Geiger, L., Zuendorf, A., Eetvelde, N.V., Gorp, P.V., Varro, D.: Graph transformation for practical model driven software engineering. In: Beydeda, S., Book, M., Gruhn, V. (eds.) Model-Driven Software Development, pp. 91–118. Springer, Heidelberg (2005)
NxtControl Homepage. http://www.nxtcontrol.com/
Acknowledgement
The authors are grateful to Andrei Sandru from Aalto University for developing and providing the visual simulation model of the ball sorting system’s equipment and the HMI based on FBs.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Dubinin, V., Senokosov, I., Vyatkin, V. (2017). Auto-Generation of Distributed Automation Software Based on Formal Product Line Specification. In: Mařík, V., Wahlster, W., Strasser, T., Kadera, P. (eds) Industrial Applications of Holonic and Multi-Agent Systems. HoloMAS 2017. Lecture Notes in Computer Science(), vol 10444. Springer, Cham. https://doi.org/10.1007/978-3-319-64635-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-64635-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64634-3
Online ISBN: 978-3-319-64635-0
eBook Packages: Computer ScienceComputer Science (R0)