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 > 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
FORMEDICISMéthodes formelles pour le développement et l'ingénierie de systèmes interactifs critiques2016-2021 Ait Ameur, YamineONERA - ENAC/Ecole Nationale de l'Aviation Civile - INGENUITY i/o - UL/Université de Lorraine
PARDIVérification de systèmes distribués paramétrés2016-2021 Queinnec, PhilippeUniversité Paris VI - Université Paris XI - INRIA NANCY
IMPEXIntegration des semantique implicite et explicite dans le développement de systèmes discrets fondés sur la panne2013-2017 Ait Ameur, YamineSupélec - Institut Telecom - SYSTEREL

Contrats terminés

AcronymeTitrePériodeResponsables
scientifiques
PartenairesSite Web
Contrats européens
HiMoCoHi-Integrity Model Compiler2012-2014 Pantel, MarcAdacore
OPEESPlateforme ouverte pour ingénierie des systèmes embarqués2009-2012 Pantel, MarcAirbus - INRIA - CS Systemes d'Informations - ONERA - Astrium - OBEO - CEA/Commissariat à l'énergie atomique - Dasault Aviation - Schneider Electric Industries - Thales Corporate Services - Mdba France - Adacore - Anyware technologies - Atos Origin Integration - Ingénierie Processus et ProductivitéWWW
ES-PASSEmbedded Systems product-based assurance2007-2009 Pantel, MarcAirbus - CS Systemes d'Informations - CEA/LIST - EADS - ONERA - Thales Avionics - Siemens VDO automotive - PSA PEUGEOT - Estérel Technologies - Astrium
SPICESSupport for Predicable Integration of mission Critical Embedded Systems2006-2009 Filali, MamounAirbus - THC/Thales Communication (THC) - LAAS - ONERA - Université de Bretagne Sud
Contrats ANR
VORACEVérification des optimisations rapides appliquées à la commande embarquée2013-2016 Pantel, MarcCNRS - ONERA - Rockwell CollinsWWW
GeMoCGeMoC : Un framework de modèles de calcul génériques pour l'éxecution et l'analyse dynamique de modèles2012-2016 Cregut, XavierCNRS - INRIA - OBEO - Thales - ENSIETA/Ecole nationale supérieure des techniques avancées
CLIMTMéthodes catégoriques et logiques en transformations de modèles2012-2016 Percebois, Christian # Matthes, RalphCNRS Délégation régionale Rhône-AlpesWWW
VerisyncVérification formelle d'un générateur de code pour un langage synchrone2010-2014 Strecker, MartinINRIAWWW
ITEmISSystèmes d'information et embarqués intégrés2008-2011 Filali, MamounTHC/Thales Communication (THC) - INRIA - ScalAgent Distributed Technologies - EBM WEBSOURCING
SPACIFYIngénierie des modèles et méthodes formelles intégrées pour le développement des logiciels de vols spatiaux2006-2009 Filali, MamounCNES - LABRI - Alcatel Alenia Space - IRISA-INRIA - Télecom Bretagne/ENST BretagneWWW