Team s4

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: s4

Project : s4

Section: Contracts and Grants with Industry

Columbus: embedded software design for mission-critical systems

Participants : Albert Benveniste, Benoît Caillaud, Dumitru Potop-Butucaru.

The Columbus project (IST-2001-38314, 2002–2004) is a light-weight project, involving teams from both Europe and USA. In this project, our team mainly cooperates with the teams of Alberto Sangiovanni-Vincentelli (Parades and U.C. Berkeley) and Janos Sztipanovits (Vanderbilt U., USA). The focus is on fundamental studies related to the overall design flow for embedded systems. Our research on heterogeneous modeling is part of that [15] [17]. Janos Sztipanovit's team is currently working on a specific domain for the Signal reactive synchronous language, in their GME meta-modeling [40].