Section: Contracts and Grants with Industry

The Topcased Project

Participants : Hubert Garavel, Frédéric Lang, Wendelin Serwe, Damien Thivolle.

Topcased (Toolkit in OPen-source for Critical Application and SystEms Development) is a project of Aese , the French pôle de compétitivité mondial 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 (Computer-Aided Software Engineering) 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 to the combination of model-driven engineering and formal methods for asynchronous systems.

Topcased started in August 2006 and completed in December 2010. In 2011, we enhanced the Flac translator from Fiacre to Lotos (see §  6.2.3 ). We participated in the final review of Topcased and gave three lectures during the Topcased Days (see §  9.3 ).

During the International Paris Air Show (salon international du Bourget), the Topcased project received the Aese trophy of the best R&D project (category Systèmes, équipements et logiciels pour l'aéronautique et l'espace).