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

État de l'art en recherche Dans le monde académique, de nombreux travaux de recherche portent sur la notion de composant pour systèmes embarqués. Il est en général reconnu que la difficulté vient de l'hétérogénéité de ces systèmes. D'autre part il faut être capable de décrire les composants à la fois par leur propriétés fonctionnelles, et par leur propriétés dites non fonctionnelles (ou parfois ``extra-fonctionnelles'') comme la consommation d'énergie. Les travaux existants sont nombreux. Citons l'outil de modélisation hétérogène Ptolemy (de E. Lee à Berkeley), qui permet de décrire des systèmes en utilisant plusieurs modèles de calcul, ou ``MoCs'' (models of computation). C'est un outil assez abouti, mais dans lequel il est difficile de comprendre la sémantique des différents MoCs et surtout les liens entre ces MoCs. Il existe également des travaux plus théoriques, et donc plus loin des besoins d'une approche de prototypage virtuel. C'est le cas du modèle BIP (Behavior-Interaction-Priorities) de J. Sifakis. Enfin il existe des approches par composants formalisées, comme Fractal et le Kell calculus, mais ils ne sont pas dédiés à la modélisation fine du temps et des mécanismes de concurrence, ce qui rend leur usage difficile pour les systèmes embarqués très hétérogènes.