Incrementally synthesizing controllers from scenario-based product line specifications

Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

Many software-intensive systems consist of components that interact to fulfill complex functionality. Moreover, often many variants of such systems have to be designed at once. This adds complexity to the design task. Recently, we proposed a scenario-based approach to design product lines, which combines feature diagrams and Modal Sequence Diagrams. We proposed a consistency-checking technique based on a dedicated product line model checker. One limitation of this technique is that it is incomplete, i.e., it may fail to show the consistency of some consistent specifications. In this paper we propose a new game-based approach that overcomes this incompleteness and, in addition, automatically synthesizes controllers for the consistent product specifications. We exploit the fact that many variants are similar and efficiently synthesize product controllers incrementally. We provide a prototype tool and evaluate the efficiency of the approach.

Original languageEnglish
Title of host publication2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings
Pages433-443
Number of pages11
DOIs
Publication statusPublished - 16 Sep 2013
Event2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Saint Petersburg, Russian Federation
Duration: 18 Aug 201326 Aug 2013

Conference

Conference2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013
CountryRussian Federation
CitySaint Petersburg
Period18/08/1326/08/13

Keywords

  • Controller synthesis
  • Features
  • Message sequence diagrams

Fingerprint Dive into the research topics of 'Incrementally synthesizing controllers from scenario-based product line specifications'. Together they form a unique fingerprint.

Cite this