Distributed and Complex Systems Group : Homepage

COMBEST (COMponent-Based Embedded Systems design Techniques) is an European research project funded by the European Community's (2008-2010) under the grant agreement number ST STREP 215543.
GENESYS is an European research project funded by the European Community's Seventh Framework Programme (FP7/2007-2013) under the grant agreement number FP7-213322.
ARTIST: IST network of excellence on Real-time embedded Systems (2004-2007)
SPEEDS: IST integrated project on Speculative and exploratory Design in Systems Engineering (2006-2009)
ASSERT: IST integrated project on Automated proof-based System and Software Engineering for Real-time Applications (2004-2007)
SPICES: EUREKA-ITEA project on Support for predictable Integration of mission-critical embedded Systems (2006-2009)
Types Coordination action in EU's 6th framework programme (2004-2007)

MARAE, is an industrial project on robust methods to develop autonomous systems (2008-2010), in collaboration with ASTRIUM (EADS) and LAAS. This project is funded by FNRAE ("Fondation Nationale pour la Recherche en Aéronautique et l'Espace")
OpenEmBEDD: RNTL project on Model-driven Engineering of Real-time and embedded Systems (2006-2008)
POLITESS: RNRT project on security policies for networked information systems
AVERILES: RNTL project on Analysis and Verification of embedded Software with dynamic Memory Structures (2006-2008)
EDEN2: RNTL project on an industrial tool box for the security evaluation at the highest level of CC
PROUVE: RNTL project on cryptographic protocols: tools for automatic verification
PERSIFORM: RNRT Project on PERformance engineering based on SImulation of FORmal functional Models (2005-2007)
DYNAMO : ACI on Verification of Dynamic Embedded Programs (2005-2008)
POTESTAT: ACI on Security policies: test directed analysis of open network systems (2004-2007)
Blanche: ACI on semi-automatic verification of complex systems
Averroes: Analysis and VERification for the Reliability Of Embedded Systems
ARA SSIA AMAES ANR project on Advanced Methods for autonomous embedded Systems
AS Software Security: Models and verification
VERDYN (French National Young Researchers Grant)
GaLogiC: RNTL project on Automatic Generation of Controlled Software
ARESA: RNRT project on Embedded Systems & Wireless Sensor Networks (2006-2009)

Distributed and Complex Systems Group