Langages et Atelier Intégré pour le Développement de Composants Embarqués Sûrs Ce projet est une ACI "Sécurité & Informatique"

Au menu Accueil / Home Participants Liens / Links Réunions Paris, ma. 07 Grenoble, ju. 06 Grenoble, sep. 05 Paris, mai 05 Grenoble, fév. 05 Paris, oct. 04 Documents Rapport à mi-parcours (html) (pdf) Poster présenté aux journées PaRI-STIC, nov. 2006 (format a4) (format a1) Publications

Les travaux dans le cadre d'Alidecs Le master recherche de Tayeb Bouhadiba en 2005-2006 à Verimag [4] porte sur ce thème. Tayeb a réalisé une étude de plusieurs modes de comportement parallèle (synchrone, asynchrone et GALS), en s'attachant à identifier une structure en composant générique, et en décrivant ces trois modes en termes d'opérations plus élémentaires. Par ailleurs il a implanté ses modèles en Fractal, pour valider l'approche composant. Le point central de ses travaux est d'essayer de trouver un dénominateur commun simple à tous les modes de composition nécessaires entre composants embarqués.