Our links



The SAE AADL (Architecture Analysis & Design Language) is a textual and graphical language designed for model-based engineering of embedded real-time systems.



ASSERT IST project (Automated proof based System and Software Engineering for Real-Time)



RNTL project (COmposants Temps Reel Embarqués) aiming to improve real time software architecture design methods.


Eclipse EMP

The Eclipse Modeling Project focuses on the evolution and promotion of model-based development technologies within the Eclipse community by providing a unified set of modeling frameworks, tooling, and standards implementations.


INRIA Rhône-Alpes - VASY

The VASY team of INRIA Rhone-Alpes develops formal methods for safety-critical systems, notably formal specification languages and associated methodologies, compiling and rapid prototyping techniques, simulation, validation, verification, and testing.


IRISA Espresso

The Espresso project focuses on the formal approach based on the SIGNAL synchronous programming environment. Polychrony is an SIGNAL technology demonstrator consisting of a compiler, a visual editor and simulator and a model checker.



The MeMVaTEx project aims at defining a methodology, based on UML profiles, for software development of real time embedded system.



Modelware is an european research project (IST) aiming to improve software development competitiveness thanks to the MDE (Model Driven Development) techniques.



This site is dedicated to the static verification techniques applied on UML models. You will find there the NEPTUNE conferences papers (2003 to 2005) and the PDF version of the NEPTUNE book.



OpenEmbeDD aims to build an MDE platform in open source that use and contribute to some Topcased components.