Softwares

Triskell develops various softwares to demonstrate and support its research activities.

Those softwares are organised into research domain. Notice that some of those sofware may be representative of several domains.

• Kernel tools for metamodelisation
• Tools for test and validation
• Tools for Product lines
• Tools for components
• Tools for Requirement engineering
• Tools for model weaving

All those tools use a Model Driven approache. Thus, most of them can/will be linked to each other in order to create a full development process.

For some tool/prototype, there is no link because they aren't publicly available yet or because we haven't packaged them in a form suitable for "mass" distribution. However, you can ask to the contact for information and/or which part is available.

Kernel tools for metamodelisation

This special domain is the corner stone of all current development in the team. It is used by all our other research domains.

Kermeta language

With its workbench, this this the main component of this domain.

MTL

MTL is a Model Transformation Language. However, Kermeta is the refactoring of the previous work on MTL and thus replace it for our developments. (MTL was designed for model transformation only).

General contacts for Kernel tools for metamodelisation:  Jean-Marc Jézéquel, Pierre-Alain Muller, Didier Vojtisek, Franck Fleurey, Jim Steel, Damien Pollet, Franck Chauvel, Zoé Drey.

Tools for test and validation

Umlaut Simulator

One of the first tool that Triskell has developped for test and validation is Umlaut Simulator. This tool allows to specify a dynamic UML model using class diagrams and state diagrams, them it allows to simulate it and generate test cases.

Contacts for tools for test and validation:  Benoit Baudry, Yves Le Traon, Franck Fleurey.

Tools for Product lines

PLiBS

Product Line Behavior Synthesis (PLiBS) is an Ecplipse based prototype tool to synthesis products specific statecharts from product lines scenarios. It implements an algebraic approach for modeling and deriving behaviors in product lines

Contacts for tools for product lines:  Jean-Marc Jézéquel.

Tools for model weaving

We are working on model weaving applied to static and dynamic models.

Generic weaver

In collaboration with the Colorado state university, we have a generic weaver. Currently, it was mainly applied to static models. (Contacts: Benoit Baudry and Franck Fleurey)

MSC weaver

We are working on a weaver for MSC (Message Sequence Chart). It is based on a primitive operator : amalgamatedSum (Contacts: Jean-Marc Jézéquel, Jacques Klein and Loïc Hélouët)

General contacts for tools for model weaving:  Jean-Marc Jézéquel.

Tools for components

QoS prediction on component contratcs

This prototype predicts the effective QoS level of the assembly thanks to an Arithmetic Constraints Solver.

Tools for Requirement engineering

Triskell works on the domain of MDRE (Model Driven Requirement Engineering) and had produced several for for it.

Requirements to Analysis platform (R2A)
        This prototype is an open model-driven requirements engineering platform. Starting from a multi-formalims description of a system requirements, it provides support for generating the system analysis model and allows a step-by-step simulation of the system behavior.

UCTSystem

This is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts.