skip to main content
10.1145/3652620.3687812acmconferencesArticle/Chapter ViewAbstractPublication PagesmodelsConference Proceedingsconference-collections
research-article
Open access

Consistency Is Key: Can Your Product Line Realise What It Models?

Published: 31 October 2024 Publication History

Abstract

Nowadays, automotive systems are modelled as cyber-physical product lines. However, often it is not clear whether a modelled configuration can be realised as a physical product. The combination of software- and hardware-artefacts harbours the risk of non-functioning products due to incompatible resource demands and provisionings of the components installed (realisability), thus can result in high financial loss for manufacturers. With new business models, such as over-the-air updates, they also face this risk for products already in the field, because it remains unclear whether a vehicle is still functioning after an update where resource demands have changed (update-ability). Manually analysing realisability and update-ability is infeasible in practice, as the number of product variants in a product line grows combinatorially (with respect to the number of configuration options). In this paper, we approach this challenge by proposing a novel baseline approach for the analysis of realisability and update-ability in automotive cyber-physical systems. We formally model resource demands and resource provisionings as well as the construction of a resource allocation problem per product variant based on constraint satisfaction problems. In the evaluation, we apply our method to an automotive case study by modelling realisation artefacts and investigate its feasibility and performance. Our results show that a non-realisable configuration of the product line can be identified in 206 ms median time. Finally, we discuss limitations and extensions of our ongoing work.

References

[1]
Sofia Ananieva, Sandra Greiner, Thomas Kühn, Jacob Krüger, Lukas Linsbauer, Sten Grüner, Timo Kehrer, Heiko Klare, Anne Koziolek, Henrik Lönn, Sebastian Krieter, Christoph Seidl, S. Ramesh, Ralf Reussner, and Bernhard Westfechtel. 2020. A conceptual model for unifying variability in space and time. In Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A. ACM, Montreal Quebec Canada, 1--12.
[2]
Sven Apel, Don Batory, Christian Kästner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer Berlin Heidelberg, Berlin, Heidelberg.
[3]
David Benavides, Pablo Trinidad, and Antonio Ruiz-Cortés. 2005. Automated Reasoning on Feature Models. In Active Flow and Combustion Control 2018, Rudibert King (Ed.). Vol. 141. Springer International Publishing, Cham, 491--503. Series Title: Notes on Numerical Fluid Mechanics and Multidisciplinary Design.
[4]
Nikolaj Bjørner. 2012. Taking Satisfiability to the Next Level with Z3. In Automated Reasoning, Bernhard Gramlich, Dale Miller, and Uli Sattler (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--8.
[5]
Paul Clements and Linda Northrop. 2002. Software product lines: practices and patterns. Addison-Wesley, Boston.
[6]
Stephen A. Cook. 1971. The complexity of theorem-proving procedures. In Proceedings of the Third Annual ACM Symposium on Theory of Computing (STOC '71). Association for Computing Machinery, New York, NY, USA, 151--158. event-place: Shaker Heights, Ohio, USA.
[7]
Leonardo De Moura and Nikolaj Bjørner. 2011. Satisfiability modulo theories: introduction and applications. Commun. ACM 54, 9 (Sept. 2011), 69--77. Place: New York, NY, USA Publisher: Association for Computing Machinery.
[8]
EAST-ADL Association. 2024. Electronics Architecture and Software Technology - Architecture Description Language (EAST-ADL). Specification Language. http://east-adl.info/2.2.0 Accessed 2024-08-16.
[9]
Sascha El-Sharkawy, Adam Krafczyk, and Klaus Schmid. 2017. An Empirical Study of Configuration Mismatches in Linux. In Proceedings of the 21st International Systems and Software Product Line Conference - Volume A (SPLC '17). Association for Computing Machinery, New York, NY, USA, 19--28. event-place: Sevilla, Spain.
[10]
José A. Galindo, David Benavides, Pablo Trinidad, Antonio-Manuel Gutiérrez-Fernández, and Antonio Ruiz-Cortés. 2019. Automated analysis of feature models: Quo vadis? Computing 101, 5 (May 2019), 387--433.
[11]
Paul Gazzillo and Robert Grimm. 2012. SuperC: parsing all of C by taming the preprocessor. SIGPLAN Not. 47, 6 (June 2012), 323--334. Place: New York, NY, USA Publisher: Association for Computing Machinery.
[12]
Weiwei Gong and Xu Zhou. 2017. A survey of SAT solver. Rome, Italy, 020059.
[13]
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, and Ina Schaefer. 2022. Generic Solution-Space Sampling for Multi-Domain Product Lines. In Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2022). Association for Computing Machinery, New York, NY, USA, 135--147. event-place: Auckland, New Zealand.
[14]
Marc Hentze, Chico Sundermann, Thomas Thüm, and Ina Schaefer. 2022. Quantifying the Variability Mismatch between Problem and Solution Space. In Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS '22). Association for Computing Machinery, New York, NY, USA, 322--333. event-place: Montreal, Quebec, Canada.
[15]
Chang Hwan Peter Kim, Don S. Batory, and Sarfraz Khurshid. 2011. Reducing Combinatorics in Testing Product Lines. In Proceedings of the Tenth International Conference on Aspect-Oriented Software Development (AOSD '11). Association for Computing Machinery, New York, NY, USA, 57--68. event-place: Porto de Galinhas, Brazil.
[16]
Charles W. Krueger. 2006. New methods in software product line practice. Commun. ACM 49, 12 (Dec. 2006), 37--40. Place: New York, NY, USA Publisher: Association for Computing Machinery.
[17]
Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, and Thorsten Berger. 2011. Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation. In Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). ACM Press, New York, NY, USA, 805--824.
[18]
Duc Minh Le, Hyesun Lee, Kyo Chul Kang, and Lee Keun. 2013. Validating Consistency between a Feature Model and Its Implementation. In Safe and Secure Software Reuse, John Favaro and Maurizio Morisio (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--16. https://link.springer.com/chapter/10.1007/978-3-642-38977-1_1
[19]
Alessandro Ferreira Leite, Vander Alves, Genaina Nunes Rodrigues, Claude Tadonki, Christine Eisenbeis, and Alba Cristina Magalhaes Alves de Melo. 2015. Automating Resource Selection and Configuration in Inter-clouds through a Software Product Line Method. In 2015 IEEE 8th International Conference on Cloud Computing. 726--733.
[20]
Sasha Lity, Remo Lachmann, Malte Lochau, and Ina Schaefer. 2012. Delta-oriented Software Product Line Test Models - The Body Comfort System Case Study. Technical Report 2012-07. Technische Universität Braunschweig. https://www.isf.cs.tu-bs.de/cms/team/lity/bcs_tubs_tech_rep_V1_4.pdf
[21]
Object Management Group (OMG). 2024. System Modeling Language (SysML). Specification Language. https://www.omg.org/spec/SysML Accessed 2024-08-16.
[22]
Philip Ochs. 2024. KIT-TVA/solution-space-realisation-checker: mase-2024.
[23]
Stuart J. Russell and Peter Norvig. 2022. Artificial intelligence: a modern approach (fourth edition. global edition ed.). Pearson, Harlow, United Kingdom. OCLC: 1242911311.
[24]
Jiangfan Shi, Myra B. Cohen, and Matthew B. Dwyer. 2012. Integration Testing of Software Product Lines Using Compositional Symbolic Execution. In Fundamental Approaches to Software Engineering. Vol. 7212. Springer Berlin Heidelberg, Berlin, Heidelberg, 270--284. Series Title: Lecture Notes in Computer Science.
[25]
Thomas Thum, Christian Kastner, Sebastian Erdweg, and Norbert Siegmund. 2011. Abstract Features in Feature Modeling. In 2011 15th International Software Product Line Conference. IEEE, Munich, Germany, 191--200.
[26]
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47, 1 (June 2014). Place: New York, NY, USA Publisher: Association for Computing Machinery.
[27]
Jules White, Douglas C. Schmidt, Egon Wuchner, and Andrey Nechypurenko. 2007. Automating Product-Line Variant Selection for Mobile Devices. In 11th International Software Product Line Conference (SPLC 2007). 129--140.
[28]
Jan Willem Wittler, Thomas Kühn, and Ralf Reussner. 2022. Towards an Integrated Approach for Managing the Variability and Evolution of Both Software and Hardware Components. In Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B (SPLC '22). Association for Computing Machinery, New York, NY, USA, 94--98. event-place: Graz, Austria.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
September 2024
1261 pages
ISBN:9798400706226
DOI:10.1145/3652620
This work is licensed under a Creative Commons Attribution International 4.0 License.

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 October 2024

Check for updates

Author Tags

  1. product line engineering
  2. cyber-physical systems
  3. product variant analysis
  4. product line consistency
  5. realisability analysis

Qualifiers

  • Research-article

Funding Sources

  • Deutsche Forschungsgemeinschaft (DFG)
  • German Federal Ministry for Economic Affairs and Climate Action
  • Ministry of Science, Research and Arts of the Federal State of Baden-Württemberg

Conference

MODELS Companion '24
Sponsor:

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 99
    Total Downloads
  • Downloads (Last 12 months)99
  • Downloads (Last 6 weeks)29
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media