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.
