Project : triskell

Section: Contracts and Grants with Industry

Keywords : validation, model-driven engineering, domain specific languages, model transformation, reliability, verification.

DOMINO (RNTL)

Participants : Benoit Baudry, Jean-Marc Jézéquel, Jean-Marie Mottu, Yves Le Traon, Sagar Sen.

The DOMINO project (Methods and processes for domain specific modelling) is funded by the french agency for research (ANR). It aims at proposing a development process based on a multi-view description of a system, each view being expressed with various domain specific modelling languages. Model-driven engineering is the core technology to define this process and is used to validate and verify the different artefacts produced at different steps of the process. A reliable process is crucial in the context of a multi-formalism approach to modelling. This process encompasses all the techniques needed to design, validate, and improve the software artefacts.

Triskell develops techniques to validate and test model transformations that are used to automate different steps of the process. These techniques are based on model synthesis techniques for automatic test input generation and on contracts to check the results of test cases. We also propose an incremental process to build and improve trust in model transformations that are encapsulated as reusable components.

Project duration:

2006-2008

Triskell budget share:

79 keuros

Project Coordinator:

IRIT

Participants:

IRIT, Airbus, Sodifrance, CNES, CEA-LIST, ENSIETA, INRIA/Triskell