Our partners

CNRS

Search





Home page > Français > Départements > Fiabilité des systèmes et des logiciels > Equipe ACADIE > Contrats

Contrats

Les contrats ci-dessous sont extraits dynamiquement du système d'information.
Ne sont affichés que les projets ANR et les projets européens.

 

Equipe ACADIE

Contrats en cours

AcronymeTitrePériodeResponsables
scientifiques
PartenairesSite Web
Contrats ANR
DISCONTIntégration correcte de modèles discrets et continus2017-2022 Singh, NeerajUniversité Paris XII Val de Marne(EPCSCP) - Telecom Paris Tech/Institut Mines Telecom(EPCST) - UL/Université de Lorraine(EPCSCP) - CLEARSY(PME)
FORMEDICISMéthodes formelles pour le développement et l'ingénierie de systèmes interactifs critiques2016-2021 Ait Ameur, YamineONERA(EPIC) - ENAC/Ecole Nationale de l'Aviation Civile(Ecole) - INGENUITY i/o(SAS Société par Actions Simplifiées) - UL/Université de Lorraine(EPCSCP)
PARDIVérification de systèmes distribués paramétrés2016-2021 Queinnec, PhilippeUniversité Paris VI(EPCSCP) - Université Paris XI(EPCST) - INRIA NANCY(EPCST)

Contrats terminés

AcronymeTitrePériodeResponsables
scientifiques
PartenairesSite Web
Contrats européens
HiMoCoHi-Integrity Model Compiler2012-2014 Pantel, MarcAdacore(PME - SAS)
OPEESPlateforme ouverte pour ingénierie des systèmes embarqués2009-2012 Pantel, MarcAirbus Group SAS(Grande Entreprise) - INRIA(EPST) - CS Systemes d'Informations(Etablissement de Taille Intermédiaire) - ONERA(EPIC) - Astrium(SAS Société par Actions Simplifiées) - OBEO(startup) - CEA/Commissariat à l'énergie atomique(EPIC) - Dasault Aviation(GE - SA) - Schneider Electric Industries(GE - SAS) - Thales Corporate Services(GE - SAS) - Mdba France(TPE - SARL) - Adacore(PME - SAS) - Anyware technologies(PME - SA) - Atos Origin Integration(GE - SAS) - Ingénierie Processus et Productivité(TPE - SARL)WWW
ES-PASSEmbedded Systems product-based assurance2007-2009 Pantel, MarcAirbus Group SAS(Grande Entreprise) - CS Systemes d'Informations(Etablissement de Taille Intermédiaire) - CEA/LIST(Laboratoire) - EADS(Société Anonyme) - ONERA(EPIC) - Thales Avionics(Grande Entreprise) - Siemens VDO automotive(Société Anonyme) - PSA PEUGEOT(GIE) - Estérel Technologies(Société Anonyme) - Astrium(SAS Société par Actions Simplifiées)
SPICESSupport for Predicable Integration of mission Critical Embedded Systems2006-2009 Filali, MamounAirbus Group SAS(Grande Entreprise) - THC/Thales Communication (THC)(Société Anonyme) - LAAS(Laboratoire) - ONERA(EPIC) - Université de Bretagne Sud(EPCSCP)
Contrats ANR
IMPEXIntegration des semantique implicite et explicite dans le développement de systèmes discrets fondés sur la panne2013-2017 Ait Ameur, YamineSupélec(EPCSCP) - Institut Telecom(EPCSCP) - SYSTEREL(PME)
VORACEVérification des optimisations rapides appliquées à la commande embarquée2013-2016 Pantel, MarcCNRS (EPCST) - ONERA(EPIC) - Rockwell Collins(GE - SAS)WWW
GeMoCGeMoC : Un framework de modèles de calcul génériques pour l'éxecution et l'analyse dynamique de modèles2012-2016 Cregut, XavierCNRS (EPCST) - INRIA(EPST) - OBEO(startup) - Thales(GE - SA) - ENSIETA/Ecole nationale supérieure des techniques avancées(Ecole)
CLIMTMéthodes catégoriques et logiques en transformations de modèles2012-2016 Matthes, RalphCNRS Délégation régionale Rhône-Alpes(EPCST)WWW
VerisyncVérification formelle d'un générateur de code pour un langage synchrone2010-2014 Strecker, MartinINRIA(EPST)WWW
ITEmISSystèmes d'information et embarqués intégrés2008-2011 Filali, MamounTHC/Thales Communication (THC)(Société Anonyme) - INRIA(EPST) - ScalAgent Distributed Technologies(PME - SA) - EBM WEBSOURCING(Société Anonyme)
SPACIFYIngénierie des modèles et méthodes formelles intégrées pour le développement des logiciels de vols spatiaux2006-2009 Filali, MamounCNES(EPIC) - LABRI(Laboratoire) - Alcatel Alenia Space(Société Anonyme) - IRISA-INRIA(Laboratoire) - Télecom Bretagne/ENST Bretagne(EPCSCP)WWW