Overall Objectives
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Contracts and Grants with Industry

The Topcased Project

Participants : Hubert Garavel, Frédéric Lang, Nathalie Lépy, Jan Stoecker.

TopCased (Toolkit in OPen-source for Critical Application and SystEms Development ) is a project of Aese , the French pôle de compétitivité dedicated to aeronautics, space, and embedded systems. This project gathers 23 partners, including companies developing safety-critical systems such as Airbus (leader), Astrium , Atos Origin , Cs , Siemens Vdo , and Thales Aerospace .

TopCased develops a modular, open-source, generic Case environment providing methods and tools for embedded system development, ranging from system and architecture specifications to software and hardware implementation through equipment definition. Vasy contributes in the combination of model-driven engineering and formal methods for asynchronous systems.

TopCased started in August 2006 for four years. In 2006, we worked along the following lines:

H. Garavel is the Inria representative at the TopCased executive committee, for which he served as the secretary during the elaboration phase of the TopCased proposal.


Logo Inria