ThingML: MDE for distributed embedded systems (2010-)

The idea of ThingML is to develop a practical model-driven software engineering tool-chain which targets resource constrained embedded systems such as low-power sensor and microcontroller based devices.
Role : Architect and developper.
Technologies : Eclipse, EMF, Scala, C/C++, AVR and MSP microcontrollers, Arduino.
Size : ~5 developers.
Link :
References :

  1. [PDF] Franck Fleurey, Brice Morin, Arnor Solberg and Olivier Barais. MDE to Manage Communications with and between Resource-Constrained Systems. In proceedings of 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, Wellington, New Zealand, October 16-21, 2011.
  2. [PDF] Franck Fleurey, Brice Morin, and Arnor Solberg. A Model-Driven Approach to Develop Adaptive Firmwares. In SEAMS’11: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Waikiki, Honolulu, Hawaii, USA, May 2011.

IDE for Adaptive applications (DiVA Studio) (2008-2011)

DiVA studio is an Eclipse based IDE for developing adaptive applications. It is developed in the context of the DiVA project.
Role : Responsible for the development of the design-time tools (adaptation modeling language and associated editors, adaptation simulator and architecture models and aspect editors).
Technologies : JAVA, Eclipse, EMF, Kermeta, Alloy.
Size : ~6 developers.
Link :
References :

  1. [PDF] Franck Fleurey and Arnor Solberg. A Domain Specific Modeling Language supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In proceedings of the MoDELS/UML 2009 conference.
  2. [PDF] Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Franck Fleurey, and Arnor Solberg. Models at runtime to support dynamic adaptation. IEEE Computer, pages 46--53, October 2009.
  3. [PDF] Brice Morin, Franck Fleurey, Nelly Bencomo, jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon Blair. An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. In proceedings of the MoDELS/UML 2008 conference.

CVL: Common Variability Language (2008-2011)

The Common Variability Language (CVL) is a generic variability modeling language which can be used to model variability on any type of models. The CVL tool supports languages defined within the Eclipse/EMF framework. CVL is developed in the context of the MoSIS project.
Role : Co-responsible for the generic CVL editors and its integration with EMF-based languages.
Technologies : JAVA, Eclipse, EMF.
Size : ~5 developers.
Link :
References :

  1. [PDF] Andreas Svendsen, Xiaorui Zhang, Roy Lind-Tviberg, Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Gøran K. Olsen. Developing a Software Product Line for Train Control: A Case Study of CVL. In proceedings of the SPLC 2010 conference.
  2. [PDF] Carlos Cetina, Oystein Haugen, Xiaorui Zhang, Franck Fleurey and Vicente Pelechano. Strategies for Variability Transformation at Run-time. In proceedings of the SPLC 2009 conference.

Kermeta Open-source meta-modeling platform (2004-2007)

Kermeta is the core of the model-oriented platform developped in the Triskell team. It has been validated with a wide range of applications including model transformation, model conposition and weaving and the specification of dedicated modeling languages.
Role : Project initial architect and primary developer during the first year of the project.
Size : ~75 KLOC of JAVA and Kermeta, ~10 developers.
Link :
References :

  1. [PDF] Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel. Weaving executability into object-oriented meta-languages. In S. Kent L. Briand, editor, Proceedings of MODELS/UML'2005, LNCS, Montego Bay, Jamaica, October 2005. Springer.
  2. [PDF] Pierre-Alain Muller, Franck Fleurey, Zoé Drey, Damien Pollet, Frédéric Fondement and Philippe Studer. On Executable Meta-Languages applied to Model Transformations. Model Transformation In Practice (MTIP) workshop held in conjunction with MODELS/UML 2005 conference, Montego Bay, Jamaica, October, 2005.

Kompose Model Composition Tool (2006-2007)

Kompose is an open-source generic model composition tool that was developed in the context of a collaboration between the Triskell team at IRISA (Rennes, France) and the CSU MDE Research group (Fort Collins, CO).
Link :
References :

  1. [PDF] Franck Fleurey, Benoit Baudry, Sudipto Ghosh and Robert France. A Generic Approach For Automatic Model Composition. In Aspect Oriented Modeling (AOM) Workshop colocated with MoDELS'07, Nashville, USA, October 2007.
  2. [PDF] Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry. Model Composition - A Signature-Based Approach. Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS/UML 2005 conference, Montego Bay, Jamaica, October, 2005.

UCTSystem (2003-2004)

Test generation tool from use cases and contracts developed in the context of the CAROLL/MUTATION project.
Size : ~15 KLOC of JAVA, 1 developer
References :

  1. [PDF] Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, vol. 32, no. 3, pp. 140-155, Mar., 2006.
  2. [PDF] Clémentine Nebut, Franck Fleurey, Yves Le traon, and Jean-Marc Jézéquel. Requirements by contracts allow automated system testing. In Proc. of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE'03), Denver (CO) 2003.

RMOF (2004)

Open-source implementation of the EMOF specification in Ruby.
Size : ~5 KLOC of Ruby, 2 developers
Link :

Test generation tools for C# and Java (2001-2004)

Implementation of genetic and bacteriologic algorithms for test generation and muation analysis tools in C# and Java.
Size : ~30 KLOC, 1 developer
Reference :

  1. [PDF] Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, and Yves LeTraon. From genetic to bacteriological algorithms for mutation-based testing. Software, Testing, Verification & Reliability journal (STVR), 15(2):73--96, 2005.
  2. [PDF] Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, and Yves LeTraon. Automatic test cases optimization: a bacteriologic algorithm. IEEE Software, 22(2):76--82, March 2005.
  3. [PDF] Δ B. Baudry, F. Fleurey, J-M. Jézéquel, and Y. Le Traon. Genes and bacteria for automatic test cases optimization in the .net environment. In Proceedings of ISSRE02 (International Symposium on Software Reliability Engineering), November 2002.
  4. [PDF] B. Baudry, F. Fleurey, J-M. Jézéquel, and Y. Le Traon. Automatic test cases optimization using a bacteriological adaptation model: Application to .net components. In Proceedings of ASE02 (Automated Software Engineering), October 2002.

Test generator for fault localization (2002-2003)

Implemenation of a tool to support and validate the fault localization technique proposed in my master thesis.
Size : ~10 KLOC, 1 developer
References :

  1. [PDF] Benoit Baudry, Franck Fleurey, and Yves Le Traon. Improving test suites for efficient fault localization. In proceedings of the 28th International Conference on Software Engineering (ICSE 06). ACM, 2006.
  2. [PDF] Franck Fleurey, Benoit Baudry, and Yves Le Traon. From testing to diagnosis: An automated approach. In Proc. 19th IEEE International Conference on Automated Software Engineering (ASE'04), Linz, October 2004.


Po. Box 124 Blindern,
0314 Oslo