Kristof Meixner
Rick Rabiser
ABSTRACT
Planning and developing Cyber-Physical Production Systems (CPPS) are multi-disciplinary engineering activities that rely on effective and efficient knowledge exchange for better collaboration between engineers of different disciplines. The Product-Process-Resource (PPR) approach allows modeling products produced by industrial processes using specific production resources. In practice, a CPPS manufactures a portfolio of product type variants, i.e., a product line. Therefore, engineers need to create and maintain several PPR models to cover PPR variants and their evolving versions. In this paper, we detail a representative use case, identify challenges for using Variability Modeling (VM) methods to describe and manage PPR variants, and present a first solution approach based on cooperation with domain experts at an industry partner, a system integrator of automation for high-performance CPPS. We conclude that integrating basic variability concepts into PPR models is a promising first step and describe our further research plans to support PPR VM in CPPS.
- Sofia Ananieva, Matthias Kowal, Thomas Thüm, and Ina Schaefer. 2016. Implicit constraints in partial feature models. In Proc. of the 7th Int. FOSD Workshop, FOSD@SPLASH 2016, Amsterdam, Netherlands, October 30, 2016. 18--27. Google Scholar
Digital Library
- Sven Apel, Don Batory, Christian Kaestner, and Gunter Saake. 2013. Feature-Oriented Software Development: Concepts and Implementation. Springer. Google ScholarDigital Library
- Rabih Bashroush, Muhammad Garba, Rick Rabiser, Iris Groher, and Goetz Botterweck. 2017. CASE Tool Support for Variability Management in Software Product Lines. Comput. Surveys 50, 1 (2017), 14:1--14:45. Google ScholarDigital Library
- Luca Berardinelli, Alexandra Mazak, Oliver Alt, Manuel Wimmer, and Gerti Kappel. 2017. Model-driven systems engineering: Principles and application in the CPPS domain. In Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer, 261--299.Google Scholar
- Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M Atlee, Martin Becker, Krzysztof Czarnecki, and Andrzej Wąsowski. 2013. A survey of variability modeling in industrial practice. In Proc. of the 7th Int. Workshop on Variability Modelling of Software-intensive Systems. ACM, 7--14. Google ScholarDigital Library
- Stefan Biffl, Detlef Gerhard, and Arndt Lüder. 2017. Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems. In Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer, 1--24.Google Scholar
- Stefan Biffl, Marcos Kalinowski, and Dietmar Winkler. 2018. Towards an experiment line on software inspection with human computation. In Proc. of the 6th Int. Workshop on Conducting Empirical Studies in Industry, CESI@ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. 21--24. Google ScholarDigital Library
- BKCASE Editorial Board. 2017. The Guide to the Systems Engineering Body of Knowledge. Vol. 1.9.1. The Trustees of the Stevens Institute of Technology.Google Scholar
- Goetz Botterweck and Andreas Pleuss. 2014. Evolution of software product lines. In Evolving Software Systems. Springer, 265--295.Google Scholar
- Lianping Chen and Muhammad Ali Babar. 2011. A systematic review of evaluation of variability management approaches in software product lines. IST 53, 4 (2011), 344--362. Google ScholarDigital Library
- Krzysztof Czarnecki, Paul Grünbacher, Rick Rabiser, Klaus Schmid, and Andrzej Wasowski. 2012. Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches. In Proc. of the 6th Int. Workshop on Variability Modelling of Software-intensive Systems. ACM, 173--182. Google ScholarDigital Library
- Patricia Derler, Edward A Lee, and Alberto Sangiovanni Vincentelli. 2012. Modeling cyber-physical systems. Proc. of the IEEE 100, 1 (2012), 13--28.Google ScholarCross Ref
- Deepak Dhungana, Paul Grünbacher, Rick Rabiser, and Thomas Neumayer. 2010. Structuring the modeling space and supporting evolution in software product line engineering. JSS 83, 7 (2010), 1108--1122. Google ScholarDigital Library
- DIN. 2003. DIN 8580 - Manufacturing processes. https://standards.globalspec.com/std/756719/DIN%208580 {Online; accessed 2019-04-02}.Google Scholar
- Hoda A. ElMaraghy. 2009. Changing and evolving products and systems-models and enablers. In Changeable and reconfigurable manufacturing systems. Springer, 25--45.Google Scholar
- Stefan Feldmann, Christoph Legat, and Birgit Vogel-Heuser. 2015. Engineering support in the machine manufacturing domain through interdisciplinary product lines: An applicability analysis. IFAC-PapersOnLine 28, 3 (2015), 211--218.Google ScholarCross Ref
- Barbara Gallina. 2015. Towards Enabling Reuse in the Context of Safety-critical Product Lines. In Proc. of the 5th Int. Workshop on Product LinE Approaches in Software Engineering (PLEASE '15). IEEE Press, Piscataway, NJ, USA, 15--18. Google ScholarDigital Library
- Matthias Galster, Danny Weyns, Dan Tofan, Bartosz Michalik, and Paris Avgeriou. 2014. Variability in Software Systems - A Systematic Literature Review. IEEE TSE 40, 3 (mar 2014), 282--306. Google ScholarDigital Library
- Carlo Ghezzi and Amir Molzam Sharifloo. 2013. Model-based verification of quantitative non-functional properties for software product lines. IST 55, 3 (2013), 508--524. Google ScholarDigital Library
- Volkan Gunes, Steffen Peter, Tony Givargis, and Frank Vahid. 2014. A survey on concepts, applications, and challenges in cyber-physical systems. KSII Transactions on Internet & Information Systems 8, 12 (2014).Google Scholar
- Gerald Holl, Paul Grünbacher, and Rick Rabiser. 2012. A Systematic Review and an Expert Survey on Capabilities Supporting Multi Product Lines. IST 54, 8 (2012), 828--852. Google ScholarDigital Library
- ISA 95 2003. IEC 62264-1 Enterprise-control system integration-Part 1: Models and terminology. IEC, Genf.Google Scholar
- Lukas Kathrein, Arndt Lüder, Kristof Meixner, Dietmar Winkler, and Stefan Biffl. 2019. Production-Aware Analysis of Multi-disciplinary Systems Engineering Processes. In Proc. of the 21st Int. Conf. on Enterprise Information Systems - Vol. 2: ICEIS,. INSTICC, SciTePress, 48--60.Google ScholarCross Ref
- Matthias Kowal, Sofia Ananieva, Thomas Thüm, and Ina Schaefer. 2017. Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain. IFAC-PapersOnLine 50, 1 (2017), 4336--4341.Google ScholarCross Ref
- Max E Kramer, Erik Burger, and Michael Langhammer. 2013. View-centric engineering with synchronized heterogeneous models. In 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. ACM, 5. Google ScholarDigital Library
- Sebastian Krieter, Reimar Schröter, Thomas Thüm, Wolfram Fenske, and Gunter Saake. 2016. Comparing Algorithms for Efficient Feature-model Slicing. In Proc. of the 20th SPLC (SPLC '16). ACM, New York, NY, USA, 60--64. Google ScholarDigital Library
- Jacob Krüger, Sebastian Nielebock, Sebastian Krieter, Christian Diedrich, Thomas Leich, Gunter Saake, Sebastian Zug, and Frank Ortmeier. 2017. Beyond Software Product Lines: Variability Modeling in Cyber-Physical Systems. In Proc. of the 21st SPLC - Vol. A. ACM, New York, NY, USA, 237--241. Google ScholarDigital Library
- Anna-Lena Lamprecht, Stefan Naujokat, and Ina Schaefer. 2013. Variability Management beyond Feature Models. Computer 46, 11 (2013), 48--54. Google ScholarDigital Library
- Edward Lee. 2015. The past, present and future of cyber-physical systems: A focus on models. Sensors 15, 3 (2015), 4837--4869.Google ScholarCross Ref
- Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, and Ina Schaefer. 2018. 175% Modeling for Product-Line Evolution of Domain Artifacts. In Proc. of the 12th VAMOS 2018, Madrid, Spain, February 7--9, 2018, Rafael Capilla, Malte Lochau, and Lidia Fuentes (Eds.). ACM, 27--34. Google ScholarDigital Library
- Mathieu Lostie, Roman Peczalski, and Julien Andrieu. 2004. Lumped model for sponge cake baking during the "rust and crumb" period. Journal of Food Engineering 65, 2 (2004), 281--286.Google ScholarCross Ref
- Jabier Martinez, Wesley KG Assunção, and Tewfik Ziadi. 2017. ESPLA: A catalog of Extractive SPL Adoption case studies. In Proc. of the 21st SPLC-Vol. B. ACM, 38--41. Google ScholarDigital Library
- László Monostori. 2014. Cyber-physical Production Systems: Roots, Expectations and R&D Challenges. Procedia CIRP 17 (2014), 9--13.Google ScholarCross Ref
- Richard Mordinyi and Stefan Biffl. 2015. Versioning in Cyber-physical Production System Engineering: Best-practice and Research Agenda. In Proc. of the 1st Int. Workshop on Software Engineering for Smart CPS (SEsCPS '15). IEEE Press, Piscataway, NJ, USA, 44--47. Google ScholarDigital Library
- Thomas Moser and Stefan Biffl. 2012. Semantic Integration of Software and Systems Engineering Environments. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 42, 1 (Jan. 2012), 38--50. Google ScholarDigital Library
- Juergen Musil, Angelika Musil, Danny Weyns, and Stefan Biffl. 2015. An architecture framework for collective intelligence systems. In 2015 12th Working IEEE/IFIP Conf. on Software Architecture. IEEE, 21--30. Google ScholarDigital Library
- Andreas Pleuss, Benedikt Hauptmann, Deepak Dhungana, and Goetz Botterweck. 2012. User interface engineering for software product lines: the dilemma between automation and usability. In Proc. of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. ACM, 25--34. Google ScholarDigital Library
- Klaus Pohl, Günther Böckle, and Frank van der Linden. 2005. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer. Google ScholarDigital Library
- Mikko Raatikainen, Juha Tiihonen, and Tomi Männistö. 2019. Software product lines and variability modeling: A tertiary study. JSS 149 (2019), 485--510.Google ScholarCross Ref
- Rick Rabiser, Paul Grünbacher, and Martin Lehofer. 2012. A qualitative study on user guidance capabilities in product configuration tools. In Proc. of the 27th IEEE/ACM Int. Conf. on Automated Software Engineering. ACM, 110--119. Google ScholarDigital Library
- Ragunathan Rajkumar, Insup Lee, Lui Sha, and John Stankovic. 2010. Cyberphysical systems: the next computing revolution. In Proc. of the 47th ACM/IEEE Design Automation Conf. IEEE, 731--736. Google ScholarDigital Library
- Jan Oliver Ringert, Bernhard Rumpe, and Andreas Wortmann. 2015. Architecture and behavior modeling of cyber-physical systems with MontiArcAutomaton. arXiv preprint arXiv:1509.04505 (2015).Google Scholar
- Dieter Rombach. 2005. Integrated software process and product lines. In Software Process Workshop. Springer, 83--90. Google ScholarDigital Library
- Marcello La Rosa, Wil M P Van Der Aalst, Marlon Dumas, and Fredrik P Milani. 2017. Business Process Variability Modeling: A Survey. Comput. Surveys 50, 1 (mar 2017), 2:1--2:45. Google ScholarDigital Library
- Emmanuelle Rouillé, Benoît Combemale, Olivier Barais, David Touzet, and Jean-Marc Jézéquel. 2012. Leveraging CVL to manage variability in software process lines. In Proc. of the 2012 19th Asia-Pacific Software Engineering Conf., Vol. 1. IEEE, 148--157. Google ScholarDigital Library
- Melike Sakin, Figen Kaymak-Ertekin, and Coskan Ilicali. 2007. Simultaneous heat and mass transfer simulation applied to convective oven cup cake baking. Journal of Food Engineering 83, 3 (2007), 463--474.Google ScholarCross Ref
- Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, and Karina Villela. 2012. Software diversity: state of the art and perspectives. Software Tools for Technology Transfer 14, 5 (2012), 477--495. Google ScholarDigital Library
- Miriam Schleipen, Arndt Lüder, Olaf Sauer, Holger Flatt, and Jürgen Jasperneite. 2015. Requirements and concept for Plug-and-Work. at-Automatisierungstechnik 63, 10 (2015), 801--820.Google Scholar
- Julia Schroeter, Malte Lochau, and Tim Winkelmann. 2012. Multi-perspectives on Feature Models. In Model Driven Engineering Languages and Systems, Robert B France, Jürgen Kazmeier, Ruth Breu, and Colin Atkinson (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 252--268. Google ScholarDigital Library
- Christoph Seidl, Florian Heidenreich, and Uwe Aßmann. 2012. Co-evolution of models and feature mapping in software product lines. In Proc. of the 16th SPLC-Vol. 1. ACM, 76--85. Google ScholarDigital Library
- Norbert Siegmund, Marko Rosenmueller, Christian Kästner, Paolo Giarrusso, Sven Apel, and Sergiy Kolesnikov. 2011. Scalable Prediction of Non-functional Properties in Software Product Lines. In Proc. of the 15th SPLC. IEEE CS, 160--169. Google ScholarDigital Library
- Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre. 2015. A megamodel for software process line modeling and evolution. In Proc. of the 2015 ACM/IEEE 18th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS). IEEE, 406--415. Google ScholarDigital Library
- Julio Sincero, Wolfgang Schroder-Preikschat, and Olaf Spinczyk. 2010. Approaching non-functional properties of software product lines: Learning from products. In Proc. of the 2010 Asia Pacific Software Engineering Conf. IEEE, 147--155. Google ScholarDigital Library
- T Tolio, Darek Ceglarek, HA ElMaraghy, A Fischer, SJ Hu, L Laperrière, Stephen T Newman, and József Váncza. 2010. SPECIES - Co-evolution of products, processes and production systems. CIRP annals 59, 2 (2010), 672--693.Google Scholar
- Frank van der Linden, Klaus Schmid, and Eelco Rommes. 2007. Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering. Springer Berlin Heidelberg. Google ScholarDigital Library
- VDI/VDE 3682 2005. VDI/VDE 3682: Formalised process descriptions. Beuth Verlag.Google Scholar
- Michael Vierhauser, Paul Grünbacher, Alexander Egyed, Rick Rabiser, and Wolfgang Heider. 2010. Flexible and Scalable Consistency Checking on Product Line Variability Models. In 25th IEEE/ACM Int. Conf. on Automated Software Engineering. ACM, 63--72. Google ScholarDigital Library
- Michael Vierhauser, Paul Grünbacher, Wolfgang Heider, Gerald Holl, and Daniela Lettner. 2012. Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines. In Proc. of the 15th Int. ACM/IEEE Conf. on Model Driven Engineering Languages & Systems. Springer, 531--545. Google ScholarDigital Library
- Birgit Vogel-Heuser and Stefan Biffl. 2016. Cross-discipline modeling and its contribution to automation. Automatisierungstechnik 64, 3 (2016), 165--167.Google ScholarCross Ref
- Roland Willmann. 2016. Ontology matchmaking of product ramp-up knowledge in manufacturing industries: How to transfer a cake-baking recipe between bakeries. Ph.D. Dissertation. TU WIen.Google Scholar
Index Terms
- Towards Modeling Variability of Products, Processes and Resources in Cyber-Physical Production Systems Engineering
Recommendations
Towards heterogeneous multi-dimensional variability modeling in cyber-physical production systems
SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume BCyber-Physical Production Systems (CPPSs) are complex systems interacting with their environment by sensors and actuators. Such systems typically have a long lifespan, over which a plethora of variants are developed and maintained. The heterogeneity of ...
Integrating Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering
SPLC '20: Proceedings of the 24th ACM International Systems and Software Product Line Conference - Volume BThe Industry 4.0 initiative envisions the flexible and optimized production of customized products on Cyber-Physical Production Systems (CPPSs) that consist of subsystems coordinated to conduct complex production processes. Hence, accurate CPPS modeling ...
Towards Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production Systems
VaMoS '22: Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive SystemsCyber-Physical Production Systems (CPPSs) are complex systems comprised of software and hardware interacting with each other and the environment. In industry, over time, a plethora of CPPSs are developed to satisfy varying customer requirements and ...
Comments