Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe ACADIE > 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
    • 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)