Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
  • First Online:
Industrial Applications of Holonic and Multi-Agent Systems (HoloMAS 2017)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 10444))

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 to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
€32.70 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
EUR 29.95
Price includes VAT (France)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
EUR 42.79
Price includes VAT (France)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
EUR 52.74
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Pearson, Upper Saddle River (2006)

    MATH  Google Scholar 

  2. Sami, B., Book, M., Gruhn, V. (eds.): Model-Driven Software Development. Springer, London (2005)

    MATH  Google Scholar 

  3. Vyatkin, V.: IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, 3rd edn. Instrumentation Society of America, Pittsburgh (2015)

    Google Scholar 

  4. Kloksin, W., Mellish, C.: Programming in Prolog: Using the ISO Standard, 5th edn. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  5. Vashkevich, N.P., Biktashev, R.A.: Non-deterministic Automata and Their Application for Implementation of Information Parallel Processing. Penza State University Publisher, Penza (2016)

    Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. NxtControl Homepage. http://www.nxtcontrol.com/

Download references

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

  1. Penza State University, Penza, Russian Federation

    Victor Dubinin & Ilya Senokosov

  2. Luleå University of Technology, Luleå, Sweden

    Valeriy Vyatkin

  3. Aalto University, Helsinki, Finland

    Valeriy Vyatkin

Authors
  1. Victor Dubinin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ilya Senokosov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Valeriy Vyatkin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Victor Dubinin .

Editor information

Editors and Affiliations

  1. Czech Technical University, Prague, Czech Republic

    Vladimír Mařík

  2. German Research Center for AI, Saarbrücken, Germany

    Wolfgang Wahlster

  3. Austrian Institute of Technology, Vienna, Austria

    Thomas Strasser

  4. Czech Technical University, Prague, Czech Republic

    Petr Kadera

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation