Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System

Tao Yue, Shaukat Ali, Hong Lu, Kunming Nie

2016

Abstract

Industrial Cyber Physical Systems (CPSs) are naturally complex. Manual configuration of CPS product lines is error-prone and inefficient, which warrants the need for automated support of product configuration activities such as decision inference and decision ordering. A fully automated solution is often impossible for CPSs since some decisions must be made manually by configuration engineers and thus requiring an interactive and step-by-step configuration solution. Having an interactive solution with tool support in mind, we propose a search-based solution (named as Zen-DO) to support optimal ordering of configuration steps. The optimization objective has three parts: 1) minimizing overall manual configuration steps, 2) configuring most constraining decisions first, and 3) satisfying ordering dependencies among variabilities. We formulated our optimization objective as a fitness function and investigated it along with four search algorithms: Alternating Variable Method (AVM), (1+1) Evolutionary Algorithm (EA), Genetic Algorithm, and Random Search (a comparison baseline). Their performance is evaluated in terms of finding an optimal solution for two real-world case studies of varying complexity and results show that AVM and (1+1) EA significantly outperformed the others.

References

  1. Ali, S., Yue, T., Briand, L. & Walawege, S. 2012. A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study. In the 15th international conference on Model Driven Engineering Languages and Systems, 2012.
  2. Arcuri, A. 2011. It really does matter how you normalize the branch distance in search-based software testing. Software Testing, Verification and Reliability.
  3. Arcuri, A. & Fraser, G. 2011. On Parameter Tuning in Search Based Software Engineering. International Symposium on Search Based Software Engineering (SSBSE).
  4. Bai, Y. & Bai, Q. 2012. Subsea engineering handbook, Gulf Professional Publishing.
  5. Behjati, R., Yue, T., Briand, L. & Selic, B. 2013. SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems. Information and Software Technology, 55, 607-629.
  6. Benavides, D., Trinidad, P. & Ruiz-Cortés, A. Automated reasoning on feature models. Advanced Information Systems Engineering, 2005. Springer, 491-503.
  7. Beuche, D. 2008. Modeling and building software product lines with pure:: variants. Software Product Line Conference, 2008. SPLC'08. 12th International, 2008..
  8. Briand, L., Falessi, D., Nejati, S., Sabetzadeh, M. & Yue, T. 2012. Research-based innovation: a tale of three projects in model-driven engineering. Model Driven Engineering Languages and Systems. Springer.
  9. Capozucca, A., Cheng, B. H., Georg, G., Guelfi, N., Istoan, P., Mussbacher, G., Jensen, A., Jézéquel, J.-M., Kienzle, J. & Klein, J. 2012. Requirements Definition Document for a Software Product Line of Car Crash Management Systems. University of Nice Sophia Antipolis, I3S CNRS, Technical Report.
  10. Chen, S. & Erwig, M. Optimizing the product derivation process. Software Product Line Conference (SPLC), 2011 15th International, 2011. IEEE, 35-44.
  11. Czarnecki, K., Antkiewicz, M., Kim, C. H. P., Lau, S. & Pietroszek, K. fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates. Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, 2005.
  12. Dhungana, D., Grünbacher, P. & Rabiser, R. 2011. The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study. Automated Software Engineering, 18, 77-114.
  13. El-Sharkawy, S. & Schmid, K. Supporting the effective configuration of software product lines. Proceedings of the 16th International Software Product Line Conference-Volume 2, 2012. ACM, 119-126.
  14. Frakes, W. B. & Kang, K. 2005. Software reuse research: Status and future. Software Engineering, IEEE Transactions on, 31, 529-536.
  15. Guo, J., White, J., Wang, G., Li, J. & Wang, Y. A genetic algorithm for optimized feature selection with resource constraints in software product lines. Journal of Systems and Software, 84, 2208-2221.
  16. Hong, L., Tao, Y., Ali, S., Kunming, N. & Li, Z. 2014. Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration. Software Reliability Engineering (ISSRE), 2014 IEEE 25th International Symposium on.
  17. Hong, L., Tao, Y., Shaukat, A. & Li, Z. 2015. Modelbased Incremental Conformance Checking to Enable Interactive Product Configuration. accetped in Information and Software Technology.
  18. Hotz, L., Krebs, T. & Wolter, K. Combining software product lines and structure-based configurationmethods and experiences. Proceedings of the Workshop on Software Variability Management for Product Derivation, at Software Product Line Conference (SPLC), 2004.
  19. Huihui, Z., Tao, Y., Shaukat, A. & Chao, L. 2015. Facilitating Requirements Inspection with SearchBased Selection of Diverse Use Case Scenarios. 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS).
  20. ISO13628-6 2006. Petroleum and natural gas industriesDesign and operation of subsea production systemPart 6:Subsea production control systems.
  21. La Rosa, M., Van Der Aalst, W. M., Dumas, M. & Ter Hofstede, A. H. 2009. Questionnaire-based variability modeling for system configuration. Software and Systems Modeling, 8, 251-274.
  22. Mendonca, M., Branco, M. & Cowan, D. SPLOT: software product lines online tools. Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, 2009. ACM, 761-762.
  23. Nie, K., Yue, T. & Ali, S. Towards a Search-based Interactive Configuration of Cyber Physical System Product Lines. Demos/Posters/StudentResearch@ MoDELS, 2013a. 71-75.
  24. Nie, K., Yue, T., Ali, S., Zhang, L. & Fan, Z. Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems. ACM/IEEE 16th International Conferene on Model Driven Engineering Languages and Systems (MODELS),, 2013b.
  25. Nohrer, A. & Egyed, A. Optimizing user guidance during decision-making. Software Product Line Conference (SPLC), 2011 15th International, 2011. IEEE, 25-34.
  26. OMG Accessed: 2015. OCL 2.0 Specification, http://www.omg.org/spec/OCL/2.2/.
  27. Rabiser, R., Dhungana, D. & Grünbacher, P. Tool support for product derivation in large-scale product lines: A wizard-based approach. Workshop on Visualisation in Software Product Line Engineering (ViSPLE), IEEE Computer Society, 2007. 119-124.
  28. Rabiser, R., Grünbacher, P. & Lehofer, M. A qualitative study on user guidance capabilities in product configuration tools. The 27th IEEE/ACM International Conference on Automated Software Engineering, 2012.
  29. Sayyad, A. S., Menzies, T. & Ammar, H. 2013. On the Value of User Preferences in Search-Based Software Engineering: A Case Study in Software Product Lines. Software Engineering (ICSE), 2013 35th International Conference on.
  30. Sinnema, M., Deelstra, S., Nijhuis, J. & Bosch, J. 2004. Covamof: A framework for modeling variability in software product families. Software product lines, 25- 27.
  31. White, J., Dougherty, B., Schmidt, D. C. & Benavides, D. Automated reasoning for multi-step feature model configuration problems. The 13th International Software Product Line Conference, 2009. Carnegie Mellon University, 11-20.
  32. Yan, L., Tao, Y., Shaukat, A. & Li, Z. 2015. ZenReqOptimizer: A Search-based Approach for
Download


Paper Citation


in Harvard Style

Yue T., Ali S., Lu H. and Nie K. (2016). Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD, (MODELSWARD 2016) ISBN 978-989-758-168-7, pages 691-703. DOI: 10.5220/0005717006910703


in Bibtex Style

@conference{indtrackmodelsward16,
author={Tao Yue and Shaukat Ali and Hong Lu and Kunming Nie},
title={Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD, (MODELSWARD 2016)},
year={2016},
pages={691-703},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005717006910703},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: IndTrackMODELSWARD, (MODELSWARD 2016)
TI - Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System
SN - 978-989-758-168-7
AU - Yue T.
AU - Ali S.
AU - Lu H.
AU - Nie K.
PY - 2016
SP - 691
EP - 703
DO - 10.5220/0005717006910703