Section: Contracts and Grants with Industry
The Topcased Project
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:
We contributed actively to the Airbus proposal for adding a behavioral annex to Aadl (Architecture Analysis & Design Language ), the Sae (Society of Automotive Engineers ) standard architecture description language for embedded real-time systems. The behavioral annex provides structured statements inspired from Ntif  that describe data computations using a ``big steps'' semantics, which avoids splitting these computations into many smaller, less efficient steps. The behavioral annex will be submitted for balloting in early 2007.
We undertook the design of an integrated development environment for Cadp based on Eclipse (see § 6.1.7 ).
We started a study of time models so as to identify time models which are both equipped with effective verification algorithms and appropriate to describe asynchronous systems with data and time.
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.