Projets de l'équipe ALSOC

* MORE *

(2007-2010)

Karine Heydemann, Nathalie Drach Temam

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.

Partenaires : IRIT, LORIA

* Usine Logicielle Pôle SYSTEM@TIC région parisienne *

(2006-2010)

Alain Greiner
Intégration de la plate-forme SoCLib dans le sous-projet MODRIVAL de Usine Logicielle

Partenaires : THALES (Thales Research & Technology France), Institut Français du Pétrole (IFP), Laboratoire de Recherche en Informatique d'Orsay (LRI), Ecole Polytechnique, Electricité de France (EDF), Trialog

* ADAM *

(2008-2010)

François Pêcheux

ADAPTATIV DYNAMIC ARCHITECTURE FOR MP2SOCS

Partenaires : CEA LETI Grenoble, LIRMM

* FME3 *

(2007-2010)

Emmanuelle Encrenaz, Cécile Braunstein, Sana Younes

Utilisation des méthodes formelles pour améliorer le degré de robustesse des circuits électroniques sujets aux pannes transitoires

site web

Partenaire: TIMA

* TSAR *

(En cours 2008-2011)

Alain Greiner

architecture de processeurs multi-cores

Partenaires : Bull, THALES, Philips, NXP, COMPAAN, ACE,TU DELFT

* VALMEM *

(2006-2010)

Emmanuelle Encrenaz

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.

site web

Partenaires : LSV, STMicroelectronics

* DEAR *

(En cours 2010-2011)

Cécile Braunstein, Emmanuelle Encrenaz

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.

Partrenaire : AGRA group (Bremen Universität)