ABSTRACT
Cyber-Physical Production Systems (CPPSs) are complex, versatile systems interacting with the environment by sensors and actuators. Specific customer demands and technical requirements lead to high engineering efforts for the control software of CPPSs, especially when following a clone-and-own approach to reuse, as is still common in industry. Utilizing systematic variability management to derive and configure control software variants from a product line could help to reduce the cost of developing and/or maintaining CPPSs. However, modeling CPPS variability is challenging as knowledge from multiple disciplines (e.g., mechanics, electrics, software) is needed, which is either implicit in practice or expressed in multiple heterogeneous engineering artifacts with diverse semantics. Furthermore, techniques commonly used to implement CPPS control software (e.g., graphical programming or modeling languages) do not have any formal mechanism to express variability. In this paper, we report on our ongoing efforts to create a multidisciplinary variability management approach for CPPSs, particularly CPPS control software. We designed our approach as an integrated approach providing configuration options based on related heterogeneous variability models from multiple disciplines. Our integrated approach can generate control software based on related domain-specific implementation artifacts.
- Sven Apel, Don S. Batory, Christian Kästner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines - Concepts and Implementation. Springer.Google Scholar
- Virendra Ashiwal, Alois Zoitl, and Matthias Konnerth. 2020. A Service Bus Concept for Modular and Adaptable PLC-Software. In 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vol. 1. 22--29. Google ScholarCross Ref
- Thorsten Berger, Jan Philipp Steghöfer, Tewfik Ziadi, Jacques Robin, and Jabier Martinez. 2020. The state of adoption and the challenges of systematic variability management in industry. Empirical Software Engineering 25, 3 (2020), 1755--1797.Google ScholarDigital Library
- Stefan Biffl, Detlef Gerhard, and Arndt Lüder. 2017. Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems. Springer International Publishing, Cham, 1--24.Google Scholar
- Krzysztof Czarnecki, Paul Grünbacher, Rick Rabiser, Klaus Schmid, and Andrzej Wαsowski. 2012. Cool features and tough decisions: a comparison of variability modeling approaches. In Proc. of the 6th Int'l Workshop on Variability Modeling of Software-intensive Systems (Leipzig, Germany) (VaMoS '12). ACM, New York, NY, USA, 173--182.Google ScholarDigital Library
- Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2005. Staged configuration through specialization and multilevel configuration of feature models. Software process: improvement and practice 10, 2 (2005), 143--169.Google Scholar
- Deepak Dhungana, Paul Grünbacher, and Rick Rabiser. 2011. The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Autom. Softw. Eng. 18, 1 (2011), 77--114.Google ScholarDigital Library
- Zinovy Diskin, Yingfei Xiong, and Krzysztof Czarnecki. 2010. Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In Proceedings of the First International Workshop on Model-Driven Interoperability (Oslo, Norway) (MDI '10). Association for Computing Machinery, New York, NY, USA, 42--51.Google ScholarDigital Library
- Sabrine Edded, Sihem Ben Sassi, Raúl Mazo, Camille Salinesi, and Henda Ben Ghezala. 2019. Collaborative configuration approaches in software product lines engineering: A systematic mapping study. Journal of Systems and Software 158 (2019), 110422.Google ScholarDigital Library
- Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Philipp Bauer, Elene Kutsia, and Rick Rabiser. 2022, in press. V4rdiac: Tooling for Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production Systems. In 26th ACM Int'l Systems and Software Product Line Conf. - Volume B. ACM.Google Scholar
- Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Kristof Meixner, Lisa Sonnleithner, Rick Rabiser, and Alois Zoitl. 2022. Towards Multidisciplinary Delta-Oriented Variability Management in Cyber-Physical Production Systems. In Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems (Florence, Italy) (VaMoS '22). Association for Computing Machinery, New York, NY, USA, Article 13, 10 pages.Google ScholarDigital Library
- Hafiyyan Sayyid Fadhlillah, Kevin Feichtinger, Lisa Sonnleithner, Rick Rabiser, and Alois Zoitl. 2021. Towards Heterogeneous Multi-Dimensional Variability Modeling in Cyber-Physical Production Systems. In Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B. Association for Computing Machinery, New York, NY, USA, 123--129.Google ScholarDigital Library
- Hafiyyan Sayyid Fadhlillah, Bianca Wiesmayr, Michael Oberlehner, Rick Rabiser, and Alois Zoitl. 2021. Towards Delta-Oriented Variability Modeling for IEC 61499. In 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021, Vasteras, Sweden, September 7-10, 2021. IEEE, 1--4.Google ScholarDigital Library
- Miao Fang. 2019. Model-Based Software Derivation for Industrial Automation Management Systems. Ph. D. Dissertation. Technische Universität Kaiserslautern.Google Scholar
- Kevin Feichtinger, Kristof Meixner, Rick Rabiser, and Stefan Biffl. 2021. A Systematic Study as Foundation for a Variability Modeling Body of Knowledge. In 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). 25--28.Google ScholarCross Ref
- Kevin Feichtinger, Johann Stöbich, Dario Romano, and Rick Rabiser. 2021. TRAVART: An Approach for Transforming Variability Models. In 15th Int'l Working Conf. on Variability Modelling of Software-Intensive Systems (Krems, Austria) (VaMoS'21). ACM, New York, NY, USA, 8:1--8:10.Google Scholar
- Michael Felderer and Guilherme Horta Travassos (Eds.). 2020. Contemporary Empirical Methods in Software Engineering. Springer.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 48, 3 (2015), 211--218.Google ScholarCross Ref
- Sanford Friedenthal, Alan Moore, and Rick Steiner. 2014. A practical guide to SysML: the systems modeling language. Morgan Kaufmann.Google Scholar
- Roman Froschauer, Alois Zoitl, and Paul Grünbacher. 2009. Development and adaptation of IEC 61499 automation and control applications with runtime variability models. In Proc. of the 2009 IEEE Int'l Conf. on Industrial Informatics. IEEE, 905--910.Google ScholarCross Ref
- Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl, Martin Gogolla, and Gerti Kappel. 2019. A feature-based classification of formal verification techniques for software models. Softw. Syst. Model. 18, 1 (2019), 473--498.Google ScholarDigital Library
- José A. Galindo, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, and Paul Grünbacher. 2015. Supporting distributed product configuration by integrating heterogeneous variability modeling approaches. Information and Software Technology 62, 1 (2015), 78--100.Google ScholarDigital Library
- Matthias Galster, Danny Weyns, Dan Tofan, Bartosz Michalik, and Paris Avgeriou. 2014. Variability in Software Systems - A Systematic Literature Review. IEEE Trans. Software Eng. 40, 3 (2014), 282--306.Google ScholarDigital Library
- Robert Harrison, Daniel Vera, and Bilal Ahmad. 2016. Engineering methods and tools for cyber-physical automation systems. Proc. IEEE 104, 5 (2016), 973--985.Google ScholarCross Ref
- International Electrotechnical Commission (IEC), TC65/WG6. 2012. IEC 61499-1, Function Blocks - part 1: Architecture: Edition 2.0.Google Scholar
- Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, and Martin Steffen. 2012. ABS: A Core Language for Abstract Behavioral Specification. In Formal Methods for Components and Objects, Bernhard K. Aichernig, Frank S. de Boer, and Marcello M. Bonsangue (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 142--164.Google Scholar
- Christian Kästner, Klaus Ostermann, and Sebastian Erdweg. 2012. A Variability-Aware Module System. In Proc. of the ACM Int'l Conf. on Object Oriented Programming Systems Languages and Applications (Tucson, Arizona, USA) (OOPSLA '12). ACM, New York, NY, USA, 773--792.Google ScholarDigital Library
- Barbara Ann Kitchenham, David Budgen, and Pearl Brereton. 2015. Evidence-Based Software Engineering and Systematic Reviews. Chapman & Hall/CRC.Google ScholarDigital Library
- Harald König and Zinovy Diskin. 2016. Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. In Modelling Foundations and Applications, Andrzej Wαsowski and Henrik Lönn (Eds.). Springer International Publishing, Cham, 19--35.Google Scholar
- 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
- 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 Proceedings of the 21st International Systems and Software Product Line Conference. ACM, 237--241.Google ScholarDigital Library
- Jens Meinicke, Thomas Thüm, Reimar Schröter, Fabian Benduhn, Thomas Leich, and Gunter Saake. 2017. Mastering Software Variability with FeatureIDE. Springer.Google Scholar
- Kristof Meixner, Kevin Feichtinger, Rick Rabiser, and Stefan Biffl. 2022. Efficient Production Process Variability Exploration. In Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems (Florence, Italy) (VaMoS '22). Association for Computing Machinery, New York, NY, USA, Article 14, 9 pages.Google ScholarDigital Library
- Damir Nešić and Mattias Nyberg. 2016. Multi-view modeling and automated analysis of product line variability in systems engineering. In Proc. of the 20th Int'l Systems and Software Product Line Conference. ACM, 287--296.Google ScholarDigital Library
- Olesia Oliinyk, Kai Petersen, Manfred Schoelzke, Martin Becker, and Soeren Schneickert. 2017. Structuring automotive product lines and feature models: an exploratory study at Opel. Requirements Engineering 22, 1 (2017), 105--135.Google ScholarDigital Library
- Nikolaos Papakonstantinou and Seppo Sierla. 2013. Generating an Object Oriented IEC 61131-3 software product line architecture from SysML. In 2013 IEEE 18th Conf. on Emerging Technologies & Factory Automation (ETFA). IEEE, 1--8.Google ScholarCross Ref
- Nikolaos Papakonstantinou, Seppo Sierla, and Kari Koskinen. 2011. Generating and validating product instances in IEC 61131--3 from feature models. In ETFA2011. IEEE, 1--8.Google ScholarCross Ref
- Christopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling, and Manuel Ohrndorf. 2015. SiPL-A Delta-Based Modeling Framework for Software Product Line Engineering. In 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 852--857.Google Scholar
- Herbert Prähofer, Daniela Rabiser, Florian Angerer, Paul Grünbacher, and Peter Feichtinger. 2016. Feature-oriented development in industrial automation software ecosystems: Development scenarios and tool support. In 2016 IEEE 14th Int'l Conf. on Industrial Informatics (INDIN). IEEE, 1218--1223.Google Scholar
- Mikko Raatikainen, Juha Tiihonen, and Tomi Männistö. 2019. Software product lines and variability modeling: A tertiary study. Journal of Systems and Software 149 (2019), 485--510.Google ScholarCross Ref
- Daniela Rabiser, Herbert Prähofer, Paul Grünbacher, Michael Petruzelka, Klaus Eder, Florian Angerer, Mario Kromoser, and Andreas Grimmer. 2018. Multipurpose, multi-level feature modeling of large-scale industrial software systems. Software and Systems Modeling 17, 3 (2018), 913--938.Google ScholarDigital Library
- Rick Rabiser and Alois Zoitl. 2021. Towards Mastering Variability in Software-Intensive Cyber-Physical Production Systems. Procedia Computer Science 180 (2021), 50--59.Google ScholarDigital Library
- Mark-Oliver Reiser and Matthias Weber. 2007. Multi-Level Feature Trees: A Pragmatic Approach to Managing Highly Complex Product Families. Requir. Eng. 12, 2 (apr 2007), 57--75.Google ScholarDigital Library
- Marko Rosenmüller, Norbert Siegmund, Thomas Thüm, and Gunter Saake. 2011. Multi-dimensional variability modeling. In Proc. of the 5th Workshop on Variability Modeling of Software-Intensive Systems (Namur, Belgium) (VaMoS '11). ACM, New York, NY, USA, 11--20.Google ScholarDigital Library
- Per Runeson and Martin Höst. 2009. Guidelines for conducting and reporting case study research in software engineering. Empir. Softw. Eng. 14, 2 (2009), 131--164.Google ScholarDigital Library
- Safdar Aqeel Safdar, Hong Lu, Tao Yue, Shaukat Ali, and Kunming Nie. 2021. A framework for automated multi-stage and multi-step product configuration of cyber-physical systems. 20, 1 (2021), 211--265.Google Scholar
- Alcemir Rodrigues Santos, Raphael Pereira de Oliveira, and Eduardo Santana de Almeida. 2015. Strategies for Consistency Checking on Software Product Lines: A Mapping Study. In Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (Nanjing, China) (EASE '15). Association for Computing Machinery, New York, NY, USA, Article 5, 14 pages.Google ScholarDigital Library
- Ina Schaefer. 2010. Variability Modelling for Model-Driven Development of Software Product Lines. In Proc. of the 4th Int'l Workshop on Variability Modelling of Software-Intensive Systems. ICB-Research Report 37, Universität Duisburg-Essen 2010, 85--92.Google Scholar
- Andreas Schäfer, Martin Becker, Markus Andres, Tim Kistenfeger, and Florian Rohlf. 2021. Variability Realization in Model-Based System Engineering Using Software Product Line Techniques: An Industrial Perspective. In Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A. Association for Computing Machinery, New York, NY, USA, 25--34.Google ScholarDigital Library
- Christoph Seidl, Ina Schaefer, and Uwe Aßmann. 2014. DeltaEcore-A Model-Based Delta Language Generation Framework. In Modellierung 2014, Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer (Eds.). Gesellschaft für Informatik e.V., Bonn, 81--96.Google Scholar
- Lisa Sonnleithner, Bianca Wiesmayr, Virendra Ashiwal, and Alois Zoitl. 2021. IEC 61499 Distributed Design Patterns. In 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). 1--8. Google ScholarDigital Library
- Lisa Sonnleithner and Alois Zoitl. 2020. A Software Measure for IEC 61499 Basic Function Blocks. In 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Vol. 1. 997--1000. Google ScholarCross Ref
- Michael Tiegelkamp and Karl-Heinz John. 2010. IEC 61131-3: Programming industrial automation systems. Springer.Google Scholar
- 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 Model Driven Engineering Languages and Systems, Robert B. France, Jürgen Kazmeier, Ruth Breu, and Colin Atkinson (Eds.). Springer, Springer Berlin Heidelberg, Berlin, Heidelberg, 531--545.Google Scholar
- Birgit Vogel-Heuser, Eva-Maria Neumann, Alois Zoitl, Antonio Manuel Gutiérrez-Fernández, Rick Rabiser, and Hafiyyan Sayyid Fadhlillah. 2021. An International Case Study on Control Software Development in Large-Scale Plant Manufacturing Companies of One Industrial Sector at Different Locations. In IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society, Toronto, ON, Canada, October 13-16, 2021. IEEE, 1--8.Google ScholarCross Ref
- Birgit Vogel-Heuser and Alexis Sarda-Espinosa. 2017. Current status of software development in industrial practice: Key results of a large-scale questionnaire. In 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017. IEEE, 595--600.Google ScholarCross Ref
- Valeriy Vyatkin and Alois Zoitl. 2013. Advanced software engineering in industrial automation. Control Engineering Practice 21, 11 (2013), 1606--1607.Google ScholarCross Ref
- Roel J. Wieringa. 2014. Design Science Methodology for Information Systems and Software Engineering. Springer.Google ScholarDigital Library
- David Wille, Tobias Runge, Christoph Seidl, and Sandro Schulze. 2017. Extractive Software Product Line Engineering Using Model-Based Delta Module Generation. In Proc. of the 11th Int'l Workshop on Variability Modelling of Software-Intensive Systems (Eindhoven, Netherlands) (VAMOS '17). Association for Computing Machinery, New York, NY, USA, 36--43.Google ScholarDigital Library
- Manuel Wimmer, Petr Novák, Radek Šindelár, Luca Berardinelli, Tanja Mayerhofer, and Alexandra Mazak. 2017. Cardinality-based variability modeling with AutomationML. In 2017 22nd IEEE Int'l Conf. on Emerging Technologies and Factory Automation (ETFA). IEEE, 1--4.Google Scholar
- Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, and Björn Regnell. 2012. Experimentation in Software Engineering. Springer.Google ScholarCross Ref
- Tao Yue, Shaukat Ali, and Bran Selic. 2015. Cyber-Physical System Product Line Engineering: Comprehensive Domain Analysis and Experience Report. In Proceedings of the 19th International Conference on Software Product Line (Nashville, Tennessee) (SPLC '15). Association for Computing Machinery, New York, NY, USA, 338--347.Google ScholarDigital Library
- Bo Zhang, Slawomir Duszynski, and Martin Becker. 2016. Variability Mechanisms and Lessons Learned in Practice. In Proceedings of the 1st International Workshop on Variability and Complexity in Software Design (Austin, Texas) (VACE '16). Association for Computing Machinery, New York, NY, USA, 14--20.Google ScholarDigital Library
- Alois Zoitl, Thomas Strasser, and Gerhard Ebenhofer. 2013. Developing modular reusable IEC 61499 control applications with 4diac. In Proc. of the IEEE Int'l Conf. on Industrial Informatics. IEEE, 358--363.Google ScholarCross Ref
- Alois Zoitl, Thomas Strasser, and Antonio Valentini. 2010. Open source initiatives as basis for the establishment of new technologies in industrial automation: 4DIAC a case study. In 2010 IEEE Int'l Symp. on Industrial Electronics. IEEE, 3817--3819.Google Scholar
Index Terms
- Multidisciplinary variability management for cyber-physical production systems
Recommendations
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 ...
Towards Mastering Variability in Software-Intensive Cyber-Physical Production Systems
AbstractSoftware-intensive Cyber-Physical Production Systems (SiCPPS), like metallurgical plants or manufacturing plants, are highly variable systems of systems that frequently evolve. They typically involve a large number of heterogeneous components (...
Variability management in software product line engineering
ICSE '06: Proceedings of the 28th international conference on Software engineeringBy explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in short time, and with high quality. This tutorial focuses on the two principle ...
Comments