IRIT - UMR 5505

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
  • SPICES 2006-2009
  • GENEAUTO
• RTRA STAE
  • ROSACE (2007-2010)

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)