skip to main content
10.1145/2593783.2593786acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

Delta modeling for variant-rich and evolving manufacturing systems

Published: 31 May 2014 Publication History

Abstract

Manufacturing systems exist in many different variants and evolve over time in order to meet changing requirements or environment contexts. This leads to an increased design complexity as well as to increased maintenance effort. In order to appropriately handle this inherent complexity, we propose a multi-perspective modeling approach combining UML activity, component-based and state chart diagrams to separately represent different system aspects. We combine the multi-perspective modeling approach with delta modeling to capture the variability and evolution of these manufacturing systems. Delta modeling allows a flexible, yet concise and understandable representation of variability in a modular manner. We examine our approach by applying it to a manufacturing lab demonstrator system with automated code generation from models obtained by delta application.

References

[1]
Life-cycle-management for automation product and systems: A guideline by the system aspects working group of the ZVEI automation division, September 2012.
[2]
S. Ambler. The Object Primer - Agile Model-Driven Development with UML 2.0. Cambridge University Press, 2008.
[3]
C. Atkinson and T. Kuhne. Model-driven development: a metamodeling foundation. Software, IEEE, 2003.
[4]
J. S. Baldwin, C. Rose-Anderssen, K. Ridgway, F. Boettinger, M. Michen, K. Agyapong-Kodua, I. Brendcsics, I. Nemeth, and R. Krain. The evolution of manufacturing SPECIES. In 46th CIRP Conference on manufacturing systems, volume 7 of Procedia CIRP, pages 187 – 192, 2013.
[5]
L. Bassi, C. Secchi, M. Bonfé, and C. Fantuzzi. A sysml-based methodology for manufacturing machinery modeling and design. Mechatronics, IEEE/ASME Transactions on, 16(6):1049–1062, 2011.
[6]
D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. In Proceedings of the International Conference on Software Engineering (ICSE), pages 187–197, 2003.
[7]
S. Braun, C. Bartelt, M. Obermeier, A. Rausch, and B. Vogel-Heuser. Requirements on evolution management of product lines in automation engineering. In Int. Conf. Math. Modelling, pages 340–345, Vienna, Austria, 2012.
[8]
F. P. Brooks. The Mythical Man-Month. Essays on Software Engineering. Addison-Wesley Longman, 1995.
[9]
A. Bryan, J. Ko, S. Hu, and Y. Koren. Co-evolution of product families and assembly systems. In Annals of the CIRP, volume 56, pages 41 – 44, 2007.
[10]
M. Colla and T. Leidi. Tools integration through a central model and automatic generation of multi-platform control code. In 1st Workshop on Industrial Automation Tool Integration for Engienering project Automation, volume 821 of CEUR Workshop Proceedings, 2011.
[11]
K. Czarnecki and M. Antkiewicz. Mapping features to models: a template approach based on superimposed variants. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 422–437, Berlin, Heidelberg, 2005. Springer-Verlag.
[12]
H. A. ElMaraghy. Changing and evolving product and systems - models and enablers. In Changeable and Reconfigurable Manufacturing Systems, chapter 2, pages 25 – 45. Spring, 2009.
[13]
R. France and B. Rumpe. Model-driven development of complex software: A research roadmap. In 2007 Future of Software Engineering. IEEE Computer Society, 2007.
[14]
G. P. Froschauer R., Dhungana D. Managing the life-cycle of industrial automation systems with product line variability models. In 34th EUROMICRO Conf. on Software Engineering and Advanced Applications, Parma, Italy, September 3rd - 5th 2008.
[15]
H. Gomaa. Designing software product lines with uml 2.0: From use cases to pattern-based software architectures. In M. Morisio, editor, Reuse of Off-the-Shelf Components, volume 4039 of Lecture Notes in Computer Science, pages 440–440. Springer Berlin Heidelberg, 2006.
[16]
A. Haber, T. Kutz, H. Rendel, B. Rumpe, and I. Schaefer. Delta-oriented architectural variability using monticore. In Proceedings of the 5th European Conference on Software Architecture: Companion Volume, pages 6:1–6:10, 2011.
[17]
C. Haubeck, I. Wior, L. Braubach, A. Pokahr, J. Ladiges, A. Fay, and W. Lamersdorf:. Keeping pace with changes - towards supporting continuous improvements and extensive updates in production automation software. Electronic Communications of the EASST, 2013, 2013.
[18]
O. Haugen, B. Møller-Pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen. Adding standardized variability to domain specific languages. In Proceedings of the International Software Product Line Conference (SPLC), pages 139–148, 2008.
[19]
S. Ho, J. Ko, L. Weyand, H. ElMaraghy, T. Lien, Y. Koren, H. Bley, G. Chryssolouris, N. Nasr, and M. Shpitalni. Assembly system design and operation for product variety. In CIRP Annals – Manufacturing Technology, volume 60, pages 715 – 733, 2011.
[20]
Institute of Automation and Information Systems. The Pick and Place Unit Demonstrator for Evolution in Industrial Plant Automation. http://www.ppu-demonstrator.org, 2013.
[21]
K. Kernschmidt and B. Vogel-Heuser. An interdisciplinary sysml based modeling approach for analyzing change influences in production plants to support the engineering. In IEEE International Conference on Automation Science and Engineering (CASE), Madison, USA, 2013.
[22]
M. Khalgui, O. Mosbahi, Z. Li, and H.-M. Hanisch. Reconfiguration of distributed embedded-control systems. IEEE/ASME Transactions on Mechatronics, 14(4):684 – 694, 2011.
[23]
C. Klein, C. Prehofer, and B. Rumpe. Feature specification and refinement with state transition diagrams. In Fourth IEEE Workshop on Feature Interactions in Telecommunications Networks and Distributed, pages 284–297. IOS Press, 1997.
[24]
Y. Koren and M. Shpitalni. Design of reconfigurable manufacturing systems. Journal of Manufacturing Systems, 29:130 – 141, 2010.
[25]
M. Kowal, I. Schaefer, and M. Tribastone. Family-Based Performance Analysis of Variant-Rich Software Systems. In Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), 2014.
[26]
R. Landers, B.-K. Min, and Y. Koren. Reconfigurable machine tools. CIRP Annals - Manufacturing Technology, 50(1):269 – 274, 2001.
[27]
C. Legat, J. Folmer, and B. Vogel-Heuser. Evolution in industrial plant automation: A case study. In 39th Annual Conference of the IEEE Industrial Electronics Society (IECON), 2013.
[28]
C. Legat, S. Lamparter, and B. Vogel-Heuser. Knowledge-based technologies for future factory engineering and control. In T. Borangiu, A. Thomas, and D. Trentesaux, editors, Service Orientation in Holonic and Multi-agent Manufacturing and Robotics, volume 472 of Studies in Computational Intelligence, chapter 23, pages 355 – 374. Springer, 2013.
[29]
C. Legat, D. Schütz, and B. Vogel-Heuser. Automatic generation of field control strategies for supporting (re-)engineering of manufacturing systems. Journal of Intelligent Manufacturing, 2013.
[30]
M. M. Lehman. On understanding laws, evolution, and conservation in the large-program life cycle. Journal of Systems and Software, 1984.
[31]
F. Li, G. Bayrak, K. Kernschmidt, and B. Vogel-Heuser. Specification of the requirements to support information technology-cycles in the machine and plant manufacturing industry. In 14th IFAC Symposium on Information Control Problems in Manufacturing, 2012.
[32]
M. Lochau, S. Lity, R. Lachmann, I. Schaefer, and U. Goltz. Delta-oriented model-based integration testing of large-scale systems. Journal of Systems and Software, 2013.
[33]
B. Lotter and H.-P. Wiendahl. Changeable and reconfigurable assembly systems. In H. A. ElMaraghy, editor, Changeable and Reconfigurable Manufacturing Systems, Springer Series in Advanced Manufacturing, pages 127–142. Springer London, 2009.
[34]
S. J. Mellor, A. N. Clark, and T. Futagami. Model-driven development. IEEE software, 2003.
[35]
N. Noda and T. Kishi. Aspect-oriented modeling for variability management. In Proceedings of the International Software Product Line Conference (SPLC), pages 213–222, 2008.
[36]
K. Pohl, G. Böckle, and F. J. v. d. Linden. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2005.
[37]
K. Pohl, H. Hönninger, R. Achatz, and M. Broy. Model-Based Engineering of Embedded Systems. Springer, 2012.
[38]
C. Prehofer. Plug-and-play composition of features and feature interactions with statechart diagrams. Software and Systems Modeling, 3:221–234, 2004.
[39]
M. N. Rooker, C. Sünder, T. Strasser, A. Zoitl, O. Hummer, and G. Ebenhofer. Zero downtime reconfiguration of distributed automation systems: The εcedac approach. In Holonic and Multi-Agent Systems for Manufacturing, pages 326–337. Springer, 2007.
[40]
I. Schaefer. Variability modelling for model-driven development of software product lines. In Proceedings of the International Workshop on Variability Modeling in Software-intensive Systems (VaMoS), pages 85–92, 2010.
[41]
I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella. Delta-oriented programming of software product lines. In Proceedings of the International Software Product Line Conference (SPLC), pages 77–91, Berlin, Heidelberg, 2010. Springer-Verlag.
[42]
D. C. Schmidt. Guest editor’s introduction: Model-driven engineering. Computer, 2006.
[43]
B. Selic. The pragmatics of model-driven development. Software, IEEE, 2003.
[44]
C. Suender, V. Vyatkin, and A. Zoitl. Formal validation of downtimeless system evolution in embedded automation controllers. ACM Transactions on Embedded Control Systems, 2011.
[45]
K. Thramboulidis. Iec 61499 as an enabler of distributed and intelligent automation: A state-of-the-art review˚ Ua different view. Journal of Engineering, 2013, 2013.
[46]
K. Thramboulidis, D. Perdikis, and S. Kantas. Model driven development of distributed control applications. International Journal of Advanced Manufacturing Technology, 33(3-4):233 – 242, 2007.
[47]
T. Tolioa, D. Ceglarek, H. ElMaraghy, A. Fischer, S. Hu, L. Laperriere, S. Newman, and J. Vancza. SPECIES – co-evolution of products, processes and production systems. In CIRP Annals - Manufacturing Technology, volume 59, pages 672 – 693, 2010.
[48]
P. Vrba and V. Marik. Capabilities of dynamic reconfiguration of multiagent-based industrial control systems. IEEE Transactions on Systems Man and Cybernetics – Part A: Systems and Humans, 40(2):213 – 223, 2010.
[49]
V. Vyatkin. Software engineering in industrial automation: State of the art review. IEEE Transactions on Industrial Informatics, 9(3):1234 – 1249, 2013.
[50]
H.-P. Wiendahl, H. ElMaraghy, P. Nyhuis, M. F. Zäh, H.-H. Wiendahl, N. Duffie, and M. Brieke. Changeable manufacturing - classification, design and operation. In Annals of the CIRP, volume 56, pages 783 – 809, 2007.
[51]
D. Witsch and B. Vogel-Heuser. PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering – aspects on behavioral semantcis and model-checking. In 18th IFAC World Congress, 2011.
[52]
C.-H. Yang, V. Vyatkin, and C. Pang. Model-driven development of control software for distributed automation: a survey and an approach. IEEE Transactions on Systems, Man and Cybernetics: Part A, 2013.

Cited By

View all
  • (2023)Delta Modeling in IEC 61499: Expressing Control Software Variability in Cyber-Physical Production Systems2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA54631.2023.10275693(1-8)Online publication date: 12-Sep-2023
  • (2021)Automated derivation of variants in manufacturing systems designProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473942(45-50)Online publication date: 6-Sep-2021
  • (2021)Towards Delta-Oriented Variability Modeling for IEC 614992021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613293(1-4)Online publication date: 7-Sep-2021
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MoSEMInA 2014: Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation
May 2014
71 pages
ISBN:9781450328517
DOI:10.1145/2593783
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

In-Cooperation

  • TCSE: IEEE Computer Society's Tech. Council on Software Engin.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 May 2014

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Evolution
  2. Manufacturing Systems
  3. Model-driven Development
  4. Variability

Qualifiers

  • Article

Conference

ICSE '14
Sponsor:

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)18
  • Downloads (Last 6 weeks)4
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Delta Modeling in IEC 61499: Expressing Control Software Variability in Cyber-Physical Production Systems2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA54631.2023.10275693(1-8)Online publication date: 12-Sep-2023
  • (2021)Automated derivation of variants in manufacturing systems designProceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B10.1145/3461002.3473942(45-50)Online publication date: 6-Sep-2021
  • (2021)Towards Delta-Oriented Variability Modeling for IEC 614992021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613293(1-4)Online publication date: 7-Sep-2021
  • (2020)Supporting feature-oriented evolution in industrial automation product linesConcurrent Engineering10.1177/1063293X2095893028:4(265-279)Online publication date: 24-Sep-2020
  • (2020)Modelling Production System Families with AutomationML2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA46521.2020.9211894(1057-1060)Online publication date: Sep-2020
  • (2018)Change analysis on evolving PLC software in automated production systemsat - Automatisierungstechnik10.1515/auto-2018-003766:10(806-818)Online publication date: 17-Oct-2018
  • (2017)Industry 4.0 interface for dynamic reconfiguration of an open lab size automated production system to allow remote community experiments2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM)10.1109/IEEM.2017.8290254(2058-2062)Online publication date: Dec-2017
  • (2017)Cardinality-based variability modeling with AutomationML2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2017.8247711(1-4)Online publication date: Sep-2017
  • (2017)Reverse engineering of production processes based on Markov chains2017 13th IEEE Conference on Automation Science and Engineering (CASE)10.1109/COASE.2017.8256182(680-686)Online publication date: Aug-2017
  • (2016)Incremental Consistency Checking in Delta-oriented UML-Models for Automation SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.206.4206(32-45)Online publication date: 28-Mar-2016
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media