FrançaisEnglish

Projets de l'Équipe ALSOC

MORE

Logo ANR Participantes K. Heydemann, N. Drach Temam
Durée 2007-2010
Partenaires IRIT, LORIA
Le projet MORE a pour objectif de développer des "stratégies de recherche de compromis" qui transforment le code d’une application embarquée critique pour qu’elle respecte les "contraintes de temps, de taille mémoire et de consommation d’énergie" du système.

Usine Logicielle Pôle Sytematic Région Parisienne

Logo ANR Participant A. Greiner
Durée 2006-2010
Partenaires Thales (Thales Research & Technology France), Institut Francais du Pétrole (IFP), Laboratoire de Recherche en Informatique d'Orsay (LRI), Ecole Polytechnique, Electricité de France (EDF), Trialog,
Intégration de la plate-forme SoCLib dans le sous-projet MODRIVAL d'Usine Logicielle

ADAM

Logo ANR Participants
  1. Pecheux
Durée 2008-2010
Partenaires CEA LETI Grenoble LIRMM
Adaptative dynamic architecture for MP2SOCS

FME3

Logo ANR Participantes E. Encrenaz, C. Braunstein, S. Younes
Durée 2007-2010
Partenaires TIMA
Utilisation des méthodes formelles pour améliorer le degré de robustesse des circuits électroniques sujets aux pannes transitoires

TSAR

Logo UE Participants A. Greiner
Durée 2008-2011
Partenaires Bull, Thales, Philips, NXP, COMPAAN ACE, TU DELFT
Architecture de processeurs multi-cores

VALMEM

Logo ANR Participante E. Encrenaz
Durée 2006-2010
Partenaires LSV, STMicroelectronics
Site Web
Le projet VALMEM s'intéresse la vérification fonctionnelle et temporelle de circuits mémoires.Les circuits mémoires ont la particularité d'intégrer des fonctionnalités toujours plus complexes tout en devant répondre des objectifs de performances accrues. Pour ces raisons, ces circuits sont conçus directement au niveau transistor, ce qui rend très difficile leur validation

DEAR

Logo ANR Participantes E. Encrenaz, C. Braunstein
Durée 2010-2011
Partenaires AGRA Group (Bremen Universität)
L'objectif du projet DEAR est d'utiliser les techniques d'abstraction-raffinement pour le déboguage de systèmes matériels. L'idée principale est d'offrir différentes méthodes d'abstraction au niveau transfert de registres