The Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems (NECSIS) is a research network established to tackle the obstacles and develop new MDE capabilities that lead to the development of the next generation of MDE methods and tools. This web site is used for distribution of tools, models, and publications developed within NECSIS Theme 3: Uncertainty, Adaptability, and Variability.
Dina Zayan, Atri Sarkar, Michał Antkiewicz, Rita Suzana Pitangueira Maciel, Krzysztof Czarnecki, "Example-Driven Modeling: On Effects of Using Examples on Structural Model Comprehension, What Makes Them Useful, and How to Create Them", Software & Systems Modeling. Jan 2018. DOI: 10.1007/s10270-017-0652-3
Leonardo Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wąsowski, Krzysztof Czarnecki, Paolo Borba, and Jianmei Guo, "Coevolution of variability models and related software artifacts: A fresh look at evolution patterns in the Linux kernel", Journal of Empirical Software Engineering, May 2015. DOI: 10.1007/s10664-015-9364-x
Rodrigo Queiroz, Leonardo Passos, M T. Valente, C. Hunsen, Sven Apel, Krzysztof Czarnecki, "The Shape of Feature Code: An Analysis of Twenty C-Preprocessor-Based Systems", Journal on Software and Systems Modeling (SOSYM), pp. 1–29, July 2015.
Sarah Nadi, Thorsen Berger, Christian Kästner, Krzysztof Czarnecki, "Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study", IEEE Transactions on Software Engineering, 2015.
Kacper Bąk, Zinovy Diskin, Michał Antkiewicz, Krzysztof Czarnecki, and Andrzej Wąsowski, Clafer: Unifying Class and Feature Modeling, Software and Systems Modeling, 2014
Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, and Krzysztof Czarnecki, "A Study of Variability Models and Languages in the Systems Software Domain", IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec, 2013.
Eldar Khalilov, Jordan Ross, Michał Antkiewicz, Markus Völter, Krzysztof Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", Accepted for publication at ISOLA’16, 2016
Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki, Huiqun Yu. "A Mathematical Model of Performance-Relevant Feature Interactions", International Software Product Line Conference (SPLC), 2016.
Rafael Olaechea, Uli Farhrenberg, Joanne M. Atlee, Axel Legay, "Long-Term Average Cost in Featured Transition Systems", International Software Product Line Conference (SPLC), 2016
Guilherme Avelino, Leonardo Passos, Andre Hora, Marco Tulio Valente, "A Novel Approach for Estimating Truck Factors", International Conference on Program Comprehension, 2016
Nancy A. Day and Amirhossein Vakili, "Representing hierarchical state machine models in SMT-LIB" In Modelling in Software Engineering (MISE), a workshop of the International Conference on Software Engineering, May 2016
Amirhossein Vakili and Nancy A. Day, "Finite Model Finding Using the Logic of Equality with Uninterpreted Functions" Submitted to Formal Methods, 2016.
Thorsten Berger, Markus Voelter, Hans Peter Jensen, Taweesap Dangprasert und Janet Siegmund, "Efficiency of Projectional Editing: A Survey, an Experiment, and Lessons Learned". In: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE). 2016
Leonardo Passos, Jesus Padilla Gaeta, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, Marco Tulio Valente, "Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers", 14th International Conference on Modularity, 2015. Best paper award.
Wenbin Ji, Thorsten Berger, Michal Antkiewicz, Krzysztof Czarnecki, "Maintaining Feature Traceability with Embedded Annotations", 19th International Software Product Line Conference (SPLC), 2015.
Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay, "Merging Features in Featured Transition Systems," 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1514, pp. 38-43
Joanne M. Atlee, U. Fahrenberg and A. Legay, "Measuring Behaviour Interactions between Product-Line Features," Formal Methods in Software Engineering (FormaliSE), 2015 IEEE/ACM 3rd FME Workshop on, Florence, 2015, pp. 20-25.
Shoham Ben-David, B. Sterin, Joanne M. Atlee, and Sandy Beidu, "Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods," 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Florence, 2015, pp. 189-199.
Sandy Beidu, Joanne M. Atlee and Pourya Shaker, "Incremental and Commutative Composition of State-Machine Models of Features," 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering, Florence, 2015, pp. 13-18.
Atri Sarkar, Jianmei Guo, Norbert Siegmund, Sven Apel, Krzysztof Czarnecki, "Cost-Efficient Sampling for Performance Prediction of Configurable Systems", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015.
Yi Zhang, Jianmei Guo, Eric Blais, and Krzysztof Czarnecki. "Performance Prediction of Configurable Software Systems by Fourier Learning", 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015. Distinguished paper award.
Pavel Valov, Jianmei Guo, Krzysztof Czarnecki. "Empirical Comparison of Regression Methods for Variability-Aware Performance Prediction". 19th International Software Product Line Conference (SPLC), 2015.
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki, "MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers." In Automated Deduction-CADE-25 (pp. 607-622). Springer International Publishing, 2015.
Jia Hui Liang, Vijay Ganesh, Edward Zulkoski, Zaman, A., Krzysztof Czarnecki, "Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers". In Hardware and Software: Verification and Testing (pp. 225-241). Springer International Publishing, 2015.
Jia Hui Liang, Vijay Ganesh, Krzysztof Czarnecki, V. Raman, "SAT-based analysis of large real-world feature models is easy". In Proceedings of the 19th International Conference on Software Product Line (pp. 91-100). 2015. Best paper award.
Alexandr Murashkin, Luis Silva Azevedo, Jianmei Guo, Edward Zulkoski, Jia Hui Liang, Krzysztof Czarnecki, David Parker. "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers." SAE International Journal of Passenger Cars – Electronic and Electrical Systems, 8(1), pp. 70-78, May 2015.
Alexander von Rhein, Alexander Grebhahn, Sven Apel, Norbert Siegmund, Dirk Beyer, and Thorsten Berger. "Presence-Condition Simplification in Highly Configurable Systems". In International Conference on Software Engineering (ICSE’15). 2015.
Thorsten Berger and Sarah Nadi. "Variability Models in Large-Scale Systems: A Study and a Reverse-Engineering Technique". In Proc. of SWM/SE. 2015.
Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grünbacher, Adeline Silva, Martin Becker, Marsha Chechik, and Krzysztof Czarnecki. "What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines". In Proc. of SPLC. 2015.
Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Laemmel, Ștefan Stănciulescu, Andrzej Wąsowski, and Ina Schaefer, "Flexible Product Line Engineering with a Virtual Platform", ICSE New Ideas and Emerging Research track, 2014.
Amirhossein Vakili and Nancy A. Day, "Verifying CTL-Live Properties of Infinite State Models using an SMT Solver". FSE'14, November, 2014.
Amirhossein Vakili and Nancy A. Day, "Reducing CTL-live Model Checking to Semantic Entailment in First-Order Logic". FMCAD'14, October, 2014.
Rafael Olaechea, Derek Rayside, Jianmei Guo, Krzysztof Czarnecki, "Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines," to appear in Proc. SPLC, 2014.
Leonardo Passos and Krzysztof Czarnecki, "A Dataset of Feature Additions and Feature Removals from the Linux Kernel", 11th Working Conference on Mining Software Repositories, IEEE/ACM, 2014.
Rodrigo Queiroz, Leonardo Passos, M T. Valente, Sven Apel, and Krzysztof Czarnecki, "Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems", 6th International Workshop of Feature-Oriented Software Evolution, Sweden, ACM, 2014.
Zulkoski, E., C. Kleynhans, M-H. Yee, D. Rayside, and Krzysztof Czarnecki, "Optimizing Alloy for Multi-Objective Software Product Line Configuration", ABZ, Toulouse, France, Springer-Verlag, 06/2014.
Michał Antkiewicz, Wenbin Ji, Krzysztof Czarnecki, Thorsten Berger, Thomas Schmorleiz, Ralf Laemmel, Ștefan Stănciulescu, Andrzej Wąsowski, and Ina Schaefer, "Flexible Product Line Engineering with a Virtual Platform", ICSE, 2014.
Dina Zayan, Michał Antkiewicz , and Krzysztof Czarnecki, "Effects of Using Examples on Structural Model Comprehension", ICSE, 2014.
Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki, "Mining Configuration Constraints: Static Analyses and Empirical Results", 36th International Conference on Software Engineering (ICSE'14), 2014.
Leonardo Passos and Krzysztof Czarnecki, "A Dataset of Feature Additions and Feature Removals from the Linux Kernel", 11th Working Conference on Mining Software Repositorie, India, IEEE/ACM, 2014.
Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, and Paulo Borba, "Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel", 17th International Software Product Line Conference, Tokyo, ACM, 2013.
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. "Variability-Aware Performance Prediction: A Statistical Learning Approach". In the proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), Silicon Valley, California, USA, 2013
Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, and Paulo Borba. "Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel". In the Proceedings of the 17th International Software Product Line Conference (SPLC'13), 2013.
Bo Wang, Leonardo Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang, and Hong Mei. "SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities". In the Proceedings of the 17th International Software Product Line Conference (SPLC'13), 2013.
Kacper Bąk, Zinovy Diskin, Michał Antkiewicz , Krzysztof Czarnecki, and Andrzej Wąsowski, "Partial Instances via Subclassing", 6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
Alexandr Murashkin, Michał Antkiewicz, Derek Rayside, and Krzysztof Czarnecki. "Visualization and Exploration of Optimal Variants in Product Line Engineering". Software Product Line Conference, Tokyo, Japan, 2013.
Michał Antkiewicz, Kacper Bąk, Alexandr Murashkin, Rafael Olaechea, Jia Liang, and Krzysztof Czarnecki, "Clafer Tools for Product Line Engineering", Software Product Line Conference, 2013.
Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Michał Antkiewicz, Zinovy Diskin, Andrzej Wąsowski, and Derek Rayside, "Example-Driven Modeling. Model = Abstractions + Examples", New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), 2013
David Dietrich, Joanne M. Atlee. "A Mode-Based Pattern for Feature Requirements, and a Generic Feature Interface". In the Proceedings of the IEEE International Requirements Engineering Conference (RE'13), July 15-19, 2013.
Dubinsky, Y., Julia Rubin, Thorsten Berger, S. Duszynski, M. Becker, and Krzysztof Czarnecki, "An Exploratory Study of Cloning in Industrial Software Product Lines", 17th European Conference on Software Maintenance and Reengineering (CSMR), 2013.
Julia Rubin, Krzysztof Czarnecki, and Marsha Chechik, "Managing Cloned Variants: A Framework and Experience", 17th International Software Product Line Conference (SPLC), Tokyo, Japan, 2013.
Pourya Shaker, Joanne M. Atlee, and Shige Wang. "A Feature-Oriented Requirements Modelling Language". In the Proceedings of the IEEE International Requirements Engineering Conference (RE'12), September 26-28, Chicago, September 2012.
Amirhossein Vakili and Nancy A. Day. "Temporal Logic Model Checking in Alloy". In the proceedings of 3rd conference on ASM, Alloy, B, and Z (ABZ), Pisa, Italy, June 2012.
Faghih, F., "Model Translations Among Big-Step Modeling Languages", In the Proceedings of the Doctoral Symposium of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, June 2012.
Yingfei Xiong, Arnaud Hubaux, Steven She, and Krzysztof Czarnecki. "Generating Range Fixes for Software Configuration". In Proceedings of the 34th International Conference on Software Engineering (ICSE), IEEE, 2012, pp. 89-99
Thorsten Berger and Jianmei Guo, "Towards System Analysis with Variability Model Metrics", Eigth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS'14), 2014.
David Dietrich, Joanne M. Atlee. "A Pattern for Structuring the Behavioural Requirements of Features of an Embedded System". In Proceedings of the RE Workshop on Requirements Patterns, July 2013.
Michal Antkiewicz, Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Andrzej Wąsowski, and Zinovy Diskin, "Example-Driven Modeling Using Clafer", First International Workshop on Model-driven Engineering By Example, 2013
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, and Pourya Shaker, "Recommendations for Improving the Usability of Formal Methods for Product Lines", Workshop on Formal Methods in Software Engineering, May 2013.
Leonardo Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wasowski, Christian Kästner, and Jianmei Guo. "Feature-Oriented Software Evolution". In the Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'13), 2013
David Dietrich, Pourya Shaker, Jan Grozny, Joanne M. Atlee, and Derek Rayside, "Translating the Feature-Oriented Requirements Modelling Language to Alloy". In Proceedings of the MODELS Workshop on Model-Driven Engineering, Verification, and Validation, October 2012.
Leonardo Passos, Krzysztof Czarnecki, and Andrzej Wasowski. "Towards a Catalog of Variability Evolution Patterns: the Linux kernel case". In Proceedings of 4th Workshop on Feature-Oriented Software Development (FOSD), Munich, Germany, ACM, 2012, 8 pages
Krzysztof Czarnecki, Paul Gruenbacher, Rick Rabiser, Klaus Schmid, and Andrzej Wasowski. "Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches". In Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS), Leipzig, Germany, ACM Press, 2012, pp. 173-182
Rafael Olaechea, Steven Stewart, Krzysztof Czarnecki, and Derek Rayside. "Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software". In Proceedings of the International Workshop on Non- functional System Properties in Domain Specific Modeling Languages (NFPinDSML’12), Innsbruck, Austria, 2012, 6 pages
Amirhossein Vakili and Nancy A. Day. "Avestan: A Declarative Modeling Language Based on SMT-LIB". In the proceedings of the 4th workshop on Modelling in Software Engineering (MiSE), Zurich, Switzerland, June 2012.
Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, and Krzysztof Czarnecki, "Relational Modeling and Reasoning with Multisets and Multirelations in Alloy", Technical Report, no. GSDLAB-TR 2016-01-22: University of Waterloo, 2016.
Jordan Ross, Michal Antkiewicz, and Krzysztof Czarnecki, "Case Studies on E/E Architectures for Power Window and Central Door Locks Systems", Technical Report, no. GSDLAB-TR-2016-05: University of Waterloo, 05/2016.
Alexander von Rhein, Thorsten Berger, Niklas Schalck Johansson, Mikael Mark Hardø und Sven Apel, "Lifting Inter-App Data-Flow Analysis to Large App Sets". Technical Report MIP-1504, Department of Informatics and Mathematics, University of Passau. 2015.
Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki, "Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study", Technical Report GSDLAB-TR 2015-01-27, University of Waterloo, 2015.
Amirhossein Vakili and Nancy A. Day, "Reducing CTL-live Model Checking to Semantic Entailment in First-Order Logic" University of Waterloo, David R. Cheriton School of Computer Science, Technical Report CS2014-05, Mar. 2014
Zinovy Diskin, Tom Maibaum, and Krzysztof Czarnecki, "Towards Category Theory Foundations for Model Management", Technical Report no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014.
Zinovy Diskin, Arif Wider, H. Gholizadeh, and Krzysztof Czarnecki, "A Taxonomic Space for Increasingly Symmetric Model Synchronization", Technical Report no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.
Zinovy Diskin, "Lax Lenses", Technical Report no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013.
Zinovy Diskin, Sahar Kokaly, and Tom Maibaum, "Mechanics of Megamodeling: Design Patterns and Laws", Technical Report no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton, University of Waterloo/McMaster University, 03/2013.
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. "Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions". Technical Report, GSDLAB-TR-2013-04-02, Generative Software Development Lab, University of Waterloo, 2013,
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. "Variability-Aware Performance Modeling: A Statistical Learning Approach". Technical Report, GSDLAB-TR-2012-08-18, Generative Software Development Lab, University of Waterloo, 2012,
Fathiyeh Faghih and Nancy A. Day, "Mapping Big-Step Modeling Languages to SMV". University of Waterloo, David R. Cheriton School of Computer Science, Technical Report CS2011-29, Dec. 2011
Bo Wang, Leonardo Passos, Yingfei Xiong, Krzysztof Czarnecki, Haiyan Zhao, Wei Zhang, and Hong Mei. "SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities". Technical Report, GSDLAB-TR 2012-04-02, Generative Software Development Lab, University of Waterloo, 2012,
Leonardo Passos, "Towards a Better Understanding of Variability Evolution", PhD Thesis, University of Waterloo, 2016.
Amirhossein Vakili, "Temporal Logic Model Checking as Automated Theorem Proving", PhD Thesis, University of Waterloo, 2016.
Xiaoni Lai, "ForMLSlicer: A Model Slicing Tool for Feature-rich State-machine Models", MMath. Thesis, University of Waterloo, 2015.
Zhaoyi Luo, "Integrating Semantically Configurable State-machine Models in a C Programming Environment", MMath. Thesis, University of Waterloo, 2015.
Zubair Akhtar, "Model Based Automotive System Design: A Power Window Controller Case Study", MASc Thesis, University of Waterloo, 2015.
Alexandr Murashkin, "Automotive Electronic/Electric Architecture Modeling", Design Exploration and Optimization using Clafer, MMath. Thesis, 2014.
Cecylia Bocovic, "A Feature Interaction Resolution Scheme Based on Controlled Phenomena", MMath Thesis , 2014.
Rafael Olaechea, "Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines", MMath. Thesis, 2013
Kacper Bąk, "Modeling and Analysis of Software Product Line Variability in Clafer", Ph.D. Thesis, 11/2013.
Pourya Shaker, "A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements", Ph.D. Thesis, 2013.
David Dietrich, "A Mode-Based Pattern for Feature Requirements, and a Generic Feature Interface", MMath. Thesis, 2013.
Alma Juarez Dominguez, "Detection of Feature Interactions in Automotive Active Safety Features", Ph.D. Thesis, University of Waterloo, 2012.
Clafer tools is a set of tools for working with models written in Clafer, a lightweight language for structural modeling. Clafer can be used for feature modeling with multiple goals for optimization, class and component modeling, and concept modeling.
Home: http://clafer.org
Project pages & Contacts:
General - Michał Antkiewicz
Clafer Compiler - Kacper Bąk, Jimmy Liang, Michał Antkiewicz,
Download : Clafer Tools Binary Distributions
The source code for the FORML to Alloy translator (as well as documentation, and several example models) is available for download.
mdl2smv is a translator of feature models designed using a subset of the Matlab's Stateflow language to the input notation of the model checker Cadence SMV. More details can be found at the mdl2smv translator page.
Contacts: Alma Juarez, Nancy Day
Download (sources, example and basic documentation): mdl2smv package (version 3.0)
The "University of Waterloo Feature Model Set" (UWFMS) is a set of non-proprietary automotive feature design models, which have been modelled using a subset of the Matlab's Stateflow language. The UWFMS is novel in the sense that there is not a publicly available set of models that our group could use to validate some of our methods. The features that are part of the set are:
The first four feature design models are based on TRW Automotive features' textual description provided in their website under the name 'Active Safety Systems'. The rest of the features were devised by Alma Juarez and Richard Fanson to have a larger set of models to work with. Richard Fanson is a Mechatronics engineer who contributed in the design of the UWFMS. His knowledge and insights, as well as those from the engineers at GM during visits in 2007-2008, helped to make the UWFMS representative.
Contacts: Alma Juarez, Nancy Day
Download (feature models and documentation): UWFMS package