Project : s4
Section: Contracts and Grants with Industry
Columbus: embedded software design for mission-critical systems
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  . Janos Sztipanovit's team is currently working on a specific domain for the Signal reactive synchronous language, in their GME meta-modeling .