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

Modèle $N$-synchrone Dans le domaine de l'embarqué, on rencontre de nombreuses applications mêlant à la fois calcul intensif, contraintes de temps-réel dur et besoin de sûreté. Le cas le plus représentatif est celui du traitement vidéo (TV grand public, vidéo médicale). Ces applications demandent une interaction forte entre des spécialistes de domaines différents (analyse numérique, automatique, architecture, parallélisme, compilation et optimisation). La caractéristique commune de ces systèmes est de s'exécuter sur une architecture mêlant logiciel/matériel et où les composants communiquent par des buffers. Le problème de la spécification des différents composants du systèmes et la garantie par construction de propriétés sur le comportement de l'ensemble (e.g., taille bornée des buffers et calcul de leur taille, déphasage ou gigue) reste largement ouvert. Le modèle de description couramment utilisé dans ce domaine est celui des réseaux de Kahn. En étudiant les modèles de description du domaine nous avons introduit un modèle de synchronisme dit $N$-synchrone. Ce modèle est fondé sur un assouplissement du modèle synchrone traditionnel à la Lustre. Dans ce modèle, il est possible de composer des flots non strictement synchrones dès lors que ceux-ci peuvent être synchronisés par l'introduction d'un buffer dont la taille peut être calculée statiquement. Ainsi, les programmes synchrone Lustre correspondent à des réseaux de Kahn $0$-synchrones. Ce modèle est également à rapprocher du modèle des Synchronous Data-Flow d'Edward Lee (et intégré à l'outil Ptolemy) mais est strictement plus expressif car permettant de décrire à la fois des systèmes périodiques et non périodiques. L'objectif est donc ici d'obtenir un modèle de composants bien adapté au domaine du traitement vidéo et de l'intégrer dans un langage de programmation. Ce modèle doit permettre une composition souple de systèmes faiblement synchronisés, de calculer automatiquement les tailles de buffers et de générer automatiquement du code directement exécutable. Ce travail est fait dans le cadre de la thèse de Florence Plateau au LRI et est publié dans [8,9]