|
 Collaborations, contrats, transferts
Collaborations, contrats, transferts
Collaborations :
-
Académiques :
-
ENSTB : CAMA
- IRISA : ESPRESSO.
- LAAS : OLC
- LABRI : MVTSI
- ONERA : DTIM
- VASY : INRIA
- Industrielles :
-
AIRBUS : EYY
- ASTRIUM
- CNES : Service Logiciel Vol DCT/SB/LV
-
AESE
-
TOPCASED boîte à outils open source pour le développement (2005-2009)
- AIRSYS
-
PAM Platform architecture management (2006-2009)
- ANR
-
SPACIFY Ingénierie des modèles et méthodes formelles intégrées
pour le développement des logiciels de vol spatiaux (2006-2009)
- CNRS
-
Verification de
Commutativite des Diagrammes Algebriques dans le Calcul Formel.
- TAPIOCA 2007-2010
- ITEA
- RTRA STAE
Projets antérieurs
- Projets ACI Sécurité Informatique
- CORSS : Composition et raffinement de
systèmes sûrs(2003-2006).
- DISPO : Formalisation et modélisation
du concept de disponibilité (2003-2006).
- FIACRE : Fiabilité de composants
réutilisables (2004-2007).
- Projets STIC CNRS
- Isomorphisme de types (ISOT 2002)
- Invertibilité de lambda-termes et ses applications (2004-2005)
- ARTS - Test de Systèmes Embarqués (2005)
- Projet RNTL Cotre : Composants temps réel (2002-2004)
- Action Spécifique n°195 du RTP SECC et du GdR ARP : CAT - Composants et Architectures Temps réel (2004)
- Projets FéRIA
- FLUX : Flux multimédias coordonnés (2004)
- COTRE-AADL : Annexe comportementale pour le standard AADL (2005)
- Théorie de types et calcul
formel (INRIA - Institut Liapounov)
- Projet européen
“Types” (sous-site) (2004-2006)
- Projet Docomo Euro Lab
(2005)
- Projet Centre de Coopération
Franco-Bavarois (2005)
|
Accueil
