ACI sécurité ALIDECS 2004 - 2007
Rapport à mi-parcours
Buts du projet: Proposer un atelier intégré pour le
développement de composants embarqués sûrs. Cet atelier est fondé sur
un ensemble de langages permettant de programmer à la fois le système
et son environnement à l'exécution. Il est associé à des outils de
génération de code, de vérification et de simulation.
Trois
axes ont été développés dans le projet: un axe autour de langages; un
axe sur la comparaison avec les outils et modèles du domaine appuyée
par des études de cas; un axe sur la conception d'un modèle formel de
composants pour l'embarqué.
Page web: http://www-verimag.imag.fr/SYNCHRONE/alidecs
- Liste des participants et des équipes impliquées
- Langages
- Lutin, un langage de modélisation de l'environnement
- Lucid Synchrone
- Un système de type avec effets pour la distribution modulaire de programmes synchrones
- FunLoft
- ReactiveML
- Larissa, aspects et composants pour les systèmes embarqués
- Outils/étude de cas
- Simulation avec ReactiveML et Lucky
- Comparaison avec Fractal
- Mise en
uvre de la tolérance aux fautes par des
transformations automatiques de programmes
- Modèles de composants pour l'embarqué
- Synthèse d'adaptateurs pour composants temps-réels
- Un modèle de composants pour le prototypage virtuel des systèmes embarqués
- Modèle
-synchrone
- Bibliographie
- À propos de ce document...
Pascal Raymond 2006-11-16
