Multifaceted automated analyses for variability-intensive embedded systems

2019 • In *Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019*

Peer reviewed

___small_textbf_Submitted__Do_not_disclose_ (13).pdf

Author preprint (1.23 MB)

All documents in ORBilu are protected by a user license.

copy to clipboard copied

Disciplines :

Computer science

Lazreg, Sami; University of Nice Sophia Antipolis

Cordy, Maxime ^{} ^{}; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Collet, Philippe; University of Nice Sophia Antipolis

Heymans, Patrick; Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP

Mosser, Sébastien; University of Nice Sophia Antipolis

External co-authors :

yes

Language :

English

Title :

Multifaceted automated analyses for variability-intensive embedded systems

Publication date :

May 2019

Event name :

41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019

Event date :

from 23-05-2019 to 31-05-2019

Audience :

International

Main work title :

Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019

Pages :

854-865

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 24 January 2020

Scopus citations^{®}

6

Scopus citations^{®}

without self-citations

without self-citations

4

- A. Pretschner, M. Broy, I. H. Kruger, and T. Stauner, "Software engineering for automotive systems: A roadmap, " in 2007 Future of Software Engineering, ser. FOSE '07. IEEE Computer Society, 2007, pp. 55-71.
- M. Broy, S. Chakraborty, D. Goswami, S. Ramesh, M. Satpathy, S. Resmerita, and W. Pree, "Cross-layer analysis, testing and verification of automotive control software, " in Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011, 2011, pp. 263-272.
- M. Broy, "Challenges in automotive software engineering, " in 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, 2006, pp. 33-42.
- F. Balarin, Hardware-software co-design of embedded systems: the POLIS approach. Springer Science & Business Media, 1997.
- B. Kienhuis, E. Deprettere, K. Vissers, and P. Van Der Wolf, "An approach for quantitative analysis of application-specific dataflow architectures, " in Application-Specific Systems, Architectures and Processors, 1997. Proceedings., IEEE International Conference on. IEEE, 1997, pp. 338-349.
- E. Khalilov, J. Ross, M. Antkiewicz, M. Völter, and K. Czarnecki, "Modeling and optimizing automotive electric/electronic (e/e) architectures: Towards making clafer accessible to practitioners, " in International Symposium on Leveraging Applications of Formal Methods. Springer, 2016, pp. 447-464.
- J. A. Ross, A. Murashkin, J. H. Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems, " Software & Systems Modeling, pp. 1-29, 2017.
- J. Guo, D. Yang, N. Siegmund, S. Apel, A. Sarkar, P. Valov, K. Czarnecki, A. Wasowski, and H. Yu, "Data-efficient performance learning for configurable systems, " Empirical Software Engineering, pp. 1-42, 2017.
- Y. Zhang, J. Guo, E. Blais, and K. Czarnecki, "Performance prediction of configurable software systems by fourier learning (t), " in Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. IEEE, 2015, pp. 365-373.
- N. Siegmund, M. Rosenmüller, M. Kuhlemann, C. Kästner, S. Apel, and G. Saake, "Spl conqueror: Toward optimization of non-functional properties in software product lines, " Software Quality Journal, vol. 20, no. 3-4, pp. 487-517, 2012.
- N. Siegmund, A. Grebhahn, S. Apel, and C. Kästner, "Performanceinfluence models for highly configurable systems, " in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering. ACM, 2015, pp. 284-294.
- P. Jamshidi, N. Siegmund, M. Velez, C. Kästner, A. Patel, and Y. Agarwal, "Transfer learning for performance modeling of configurable systems: An exploratory analysis, " in Proceedings of the 32Nd IEEE/ACM International Conference on Automated Software Engineering, ser. ASE 2017. Piscataway, NJ, USA: IEEE Press, 2017, pp. 497-508. [Online]. Available: http://dl. acm. org/citation. cfm?id=3155562. 3155625
- P. Valov, J.-C. Petkovich, J. Guo, S. Fischmeister, and K. Czarnecki, "Transferring performance prediction models across different hardware platforms, " in Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering. ACM, 2017, pp. 39-50.
- R. Olaechea, S. Stewart, K. Czarnecki, and D. Rayside, "Modelling and multi-objective optimization of quality attributes in variability-rich software, " in Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, ser. NFPinDSML '12. ACM, 2012, pp. 2:1-2:6.
- E. Zulkoski, C. Kleynhans, M.-H. Yee, D. Rayside, and K. Czarnecki, "Optimizing alloy for multi-objective software product line configuration, " in Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z-Volume 8477, ser. ABZ 2014. Springer-Verlag New York, Inc., 2014, pp. 328-333.
- R. Olaechea, D. Rayside, J. Guo, and K. Czarnecki, "Comparison of exact and approximate multi-objective optimization for software product lines, " in SPLC '14. ACM, 2014, pp. 92-101.
- S. Kugele and G. Pucea, "Model-based optimization of automotive e/earchitectures, " in Proceedings of CSTVA 2014. ACM, 2014, pp. 18-29.
- C. Henard, M. Papadakis, M. Harman, and Y. Le Traon, "Combining multi-objective search and constraint solving for configuring large software product lines, " in Proceedings of ICSE '15. IEEE Press, 2015, pp. 517-528.
- R. Olaechea, U. Fahrenberg, J. M. Atlee, and A. Legay, "Long-term average cost in featured transition systems, " in Proceedings of the 20th International Systems and Software Product Line Conference, ser. SPLC '16. New York, NY, USA: ACM, 2016, pp. 109-118. [Online]. Available: http://doi. acm. org/10. 1145/2934466. 2934473
- P. Asirelli, M. H. ter Beek, S. Gnesi, and A. Fantechi, "Formal description of variability in product families, " in Software Product Line Conference (SPLC), 2011 15th International. IEEE, 2011, pp. 130-139.
- M. Chechik, B. Devereux, S. M. Easterbrook, and A. Gurfinkel, "Multivalued symbolic model-checking, " ACM Trans. Softw. Eng. Methodol., vol. 12, no. 4, pp. 371-408, 2003.
- A. Classen, M. Cordy, P.-Y. Schobbens, P. Heymans, A. Legay, and J.-F. Raskin, "Featured transition systems: Foundations for verifying variability-intensive systems and their application to ltl model checking, " IEEE Transactions on Software Engineering, vol. 39, no. 8, pp. 1069-1089, 2013.
- S. Lazreg, P. Collet, and S. Mosser, "Assessing the functional feasibility of variability-intensive data flow-oriented systems, " in Symposium on Applied Computing, 2018.
- M. Cordy, P.-Y. Schobbens, P. Heymans, and A. Legay, "Behavioural modelling and verification of real-time software product lines, " in Proceedings of the 16th International Software Product Line Conference-Volume 1. ACM, 2012, pp. 66-75.
- G. Cledou, J. Proença, and L. Soares Barbosa, "Composing families of timed automata, " in Fundamentals of Software Engineering, M. Dastani and M. Sirjani, Eds. Cham: Springer International Publishing, 2017, pp. 51-66.
- L. Luthmann, A. Stephan, J. Bürdek, and M. Lochau, "Modeling and testing product lines with unbounded parametric real-time constraints, " in Proceedings of the 21st International Systems and Software Product Line Conference-Volume A. ACM, 2017, pp. 104-113.
- V. Nunes, P. Fernandes, V. Alves, and G. N. Rodrigues, "Variability management of reliability models in software product lines: An expressiveness and scalability analysis, " in SBCARS '12, 2012, pp. 51-60.
- G. N. Rodrigues, V. Alves, V. Nunes, A. Lanna, M. Cordy, P. Schobbens, A. M. Sharifloo, and A. Legay, "Modeling and verification for probabilistic properties in software product lines, " in 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015, 2015, pp. 173-180.
- R. Olaechea, J. Atlee, A. Legay, and U. Fahrenberg, "Trace checking for dynamic software product lines, " in Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems, ser. SEAMS '18. ACM, 2018, pp. 69-75.
- G. Behrmann, K. G. Larsen, and J. I. Rasmussen, "Priced timed automata: Algorithms and applications, " in International Symposium on Formal Methods for Components and Objects. Springer, 2004, pp. 162-182.
- P. Bouyer, F. Cassez, E. Fleury, and K. G. Larsen, "Optimal strategies in priced timed game automata, " in International Conference on Foundations of Software Technology and Theoretical Computer Science. Springer, 2004, pp. 148-160.
- G. Behrmann, K. G. Larsen, and J. I. Rasmussen, "Optimal scheduling using priced timed automata, " ACM SIGMETRICS Performance Evaluation Review, vol. 32, no. 4, pp. 34-40, 2005.
- N. Bertrand, S. Pinchinat, and J.-B. Raclet, "Refinement and consistency of timed modal specifications, " in International Conference on Language and Automata Theory and Applications. Springer, 2009, pp. 152-163.
- F. Cassez, P. G. de Aledo, and P. G. Jensen, "Wuppaal: Computation of worst-case execution-time for binary programs with uppaal, " in Models, Algorithms, Logics and Tools. Springer, 2017, pp. 560-577.
- J. Liebig, S. Apel, C. Lengauer, and T. Leich, "Robbydbms: a case study on hardware/software product line engineering, " in Proceedings of the First International Workshop on Feature-Oriented Software Development. ACM, 2009, pp. 63-68.
- T. Fischer, C. Kollner, M. Hardle, and K. D. Muller-Glaser, "Product line development for modular fpga-based embedded systems, " in Rapid System Prototyping (RSP), 2014 25th IEEE International Symposium on. IEEE, 2014, pp. 9-15.
- C. Brink, E. Kamsties, M. Peters, and S. Sachweh, "On hardware variability and the relation to software variability, " in Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on. IEEE, 2014, pp. 352-355.
- D. Streitferdt, P. Sochos, C. Heller, and I. Philippow, "Configuring embedded system families using feature models, " in Proc. of Net. ObjectDays, 2005, pp. 339-350.
- R. Adler, I. Schaefer, T. Schuele, and E. Vecchié, "From model-based design to formal verification of adaptive embedded systems, " in Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, ser. Proceedings of ICFEM '07. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 76-95.
- R. Adler, I. Schaefer, M. Trapp, and A. Poetzsch-Heffter, "Componentbased modeling and verification of dynamic adaptation in safety-critical embedded systems, " ACM Trans. Embedded Comput. Syst., vol. 10, no. 2, pp. 20:1-20:39, 2010.
- P. Marwedel, Embedded system design: Embedded systems foundations of cyber-physical systems. Springer Science & Business Media, 2010.
- T. A. Henzinger and J. Sifakis, "The embedded systems design challenge, " in International Symposium on Formal Methods. Springer, 2006, pp. 1-15.
- J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity-the ptolemy approach, " Proceedings of the IEEE, vol. 91, no. 1, pp. 127-144, 2003.
- A. Bakshi, V. K. Prasanna, and A. Ledeczi, "Milan: A model based integrated simulation framework for design of embedded systems, " ACM Sigplan Notices, vol. 36, no. 8, pp. 82-93, 2001.
- A. Davare, D. Densmore, T. Meyerowitz, A. Pinto, A. Sangiovanni-Vincentelli, G. Yang, H. Zeng, and Q. Zhu, "A next-generation design framework for platform-based design, " in Conference on using hardware design and verification languages (DVCon), vol. 152, 2007.
- T. Basten, E. Van Benthum, M. Geilen, M. Hendriks, F. Houben, G. Igna, F. Reckers, S. De Smet, L. Somers, E. Teeselink et al., "Modeldriven design-space exploration for embedded systems: The octopus toolset, " Leveraging Applications of Formal Methods, Verification, and Validation, pp. 90-105, 2010.
- A. D. Pimentel, C. Erbas, and S. Polstra, "A systematic approach to exploring embedded system architectures at multiple abstraction levels, " IEEE Transactions on Computers, vol. 55, no. 2, pp. 99-112, 2006.
- M. Chadli, J. H. Kim, K. G. Larsen, A. Legay, S. Naujokat, B. Steffen, and L.-M. Traonouez, "High-level frameworks for the specification and verification of scheduling problems, " International Journal on Software Tools for Technology Transfer, pp. 1-26, 2017.
- V.-M. Sima and K. Bertels, "Runtime decision of hardware or software execution on a heterogeneous reconfigurable platform, " in Parallel & Distributed Processing, 2009. IPDPS 2009. IEEE International Symposium on. IEEE, 2009, pp. 1-6.
- K. Sigdel, M. Thompson, A. D. Pimentel, C. Galuzzi, and K. Bertels, "System-level runtime mapping exploration of reconfigurable architectures, " in Parallel & Distributed Processing, 2009. IPDPS 2009. IEEE International Symposium on. IEEE, 2009, pp. 1-8.
- G. Palermo, C. Silvano, and V. Zaccaria, "Variability-aware robust design space exploration of chip multiprocessor architectures, " in Design Automation Conference, 2009. ASP-DAC 2009. Asia and South Pacific. IEEE, 2009, pp. 323-328.
- L. Schor, I. Bacivarov, D. Rai, H. Yang, S.-H. Kang, and L. Thiele, "Scenario-based design flow for mapping streaming applications onto on-chip many-core systems, " in Proceedings of the 2012 international conference on Compilers, architectures and synthesis for embedded systems. ACM, 2012, pp. 71-80.
- P. Van Stralen and A. Pimentel, "Scenario-based design space exploration of mpsocs, " in Computer Design (ICCD), 2010 IEEE International Conference on. IEEE, 2010, pp. 305-312.
- S. Wildermann, F. Reimann, J. Teich, and Z. Salcic, "Operational mode exploration for reconfigurable systems with multiple applications, " in Field-Programmable Technology (FPT), 2011 International Conference on. IEEE, 2011, pp. 1-8.
- G. Palermo, C. Silvano, and V. Zaccaria, "Robust optimization of soc architectures: A multi-scenario approach, " in Embedded Systems for Real-Time Multimedia, 2008. ESTImedia 2008. IEEE/ACM/IFIP Workshop on. IEEE, 2008, pp. 7-12.
- J. L. Noir, S. Madelénat, G. Gailliard, C. Labreuche, M. Acher, O. Barais, and O. Constant, "A decision-making process for exploring architectural variants in systems engineering, " in Proceedings of the 20th International Systems and Software Product Line Conference. ACM, 2016, pp. 277-286.
- S. Graf, M. Glaß, D. Wintermann, J. Teich, and C. Lauer, "Ivam: Implicit variant modeling and management for automotive embedded systems, " in Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 2013 International Conference on. IEEE, 2013, pp. 1-10.
- S. Graf, S. Reinhart, M. Glaß, J. Teich, and D. Platte, "Robust design of e/e architecture component platforms, " in Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE. IEEE, 2015, pp. 1-6.
- M. Lukasiewycz, F. Sagstetter, and S. Steinhorst, "Efficient design space exploration of embedded platforms, " in Design Automation Conference (DAC), 2015 52nd ACM/EDAC/IEEE. IEEE, 2015, pp. 1-6.
- U. Fahrenberg and A. Legay, "Featured weighted automata, " in 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, 2017, pp. 51-57. [Online]. Available: https://doi. org/10. 1109/FormaliSE. 2017. 2
- G. Fleischanderl, G. E. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, "Configuring large systems using generative constraint satisfaction, " IEEE Intelligent Systems, vol. 13, no. 4, pp. 59-68, Jul. 1998.
- D. Sabin and R. Weigel, "Product configuration frameworks-a survey, " IEEE Intelligent Systems and their Applications, vol. 13, no. 4, pp. 42-49, Jul 1998.
- A. Hubaux, Y. Xiong, and K. Czarnecki, "A user survey of configuration challenges in linux and ecos, " in VaMoS '12. ACM, 2012, pp. 149-155.
- M. Cordy, P.-Y. Schobbens, P. Heymans, and A. Legay, "Beyond boolean product-line model checking: Dealing with feature attributes and multifeatures, " in ICSE'13. IEEE, 2013, pp. 472-481.
- A. Felfernig, L. Hotz, C. Bagley, and J. Tiihonen, Knowledge-based Configuration: From Research to Business Cases, 1st ed. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 2014.
- P. C. Clements and L. Northrop, Software Product Lines: Practices and Patterns, ser. SEI Series in Software Engineering. Addison-Wesley, August 2001.
- K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, "Featureoriented domain analysis (FODA) feasibility study, " Tech. Rep. CMU/SEI-90-TR-21, 1990.
- D. Benavides, P. T. Martín-Arroyo, and A. R. Cortés, "Automated reasoning on feature models, " in Proceedings of CAiSE'05, 2005, pp. 491-503.
- J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, "Uppaala tool suite for automatic verification of real-time systems, " Hybrid Systems III, pp. 232-243, 1996.
- E. M. Clarke, O. Grumberg, and D. Peled, Model checking. MIT press, 1999.
- A. E. Dalsgaard, M. C. Olesen, M. Toft, R. R. Hansen, and K. G. Larsen, "Metamoc: Modular execution time analysis using model checking, " in OASIcs-OpenAccess Series in Informatics, vol. 15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2010.
- M. Droste, W. Kuich, and H. Vogler, Handbook of Weighted Automata. Springer, 2009.
- L. Comtet, Sperner Systems (7. 2). Springer Berlin Heidelberg, 1974.
- G. Behrmann, A. Fehnker, T. Hune, K. G. Larsen, P. Pettersson, J. Romijn, and F. W. Vaandrager, "Minimum-cost reachability for priced timed automata, " in Proceedings of HSCC '01, 2001, pp. 147-161.
- T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, "A classification and survey of analysis strategies for software product lines, " ACM Comput. Surv., vol. 47, no. 1, pp. 6:1-6:45, 2014.
- M. Mendonca, M. Branco, and D. Cowan, "Splot: software product lines online tools, " in Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications. ACM, 2009, pp. 761-762.
- M. Cordy, A. Classen, P. Heymans, P.-Y. Schobbens, and A. Legay, "Provelines: a product line of verifiers for software product lines, " in Proceedings of the 17th International Software Product Line Conference co-located workshops. ACM, 2013, pp. 141-146.
- G. J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2004.
- A. Classen, Q. Boucher, and P. Heymans, "A text-based approach to feature modelling: Syntax and semantics of tvl, " Science of Computer Programming, vol. 76, no. 12, pp. 1130-1143, 2011.
- P. Godefroid, Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem, ser. LNCS. Springer, 1996, vol. 1032.
- A. Murashkin, M. Antkiewicz, D. Rayside, and K. Czarnecki, "Visualization and exploration of optimal variants in product line engineering, " in Proceedings of the 17th International Software Product Line Conference. ACM, 2013, pp. 111-115.