Projet : EPATR - epatr

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00022000000000000000" id= "SECTION00022000000000000000">Objectif général du projet</a></h2> <a name="EPATR_presentation_module-3" id= "EPATR_presentation_module-3"></a> <p><strong>Mots clés :</strong> <i>modèles théoriques, méthodologie de conception, prototypes logiciels, applications, traitement temps réel du signal, télécommunication, avionique, automobile, temps réel, programmation synchrone, génération de code enfoui, génération de code distribué, architecture hétérogène, circuits .</i></p> <p>C'est dans ce cadre que s'inscrivent les activités conduites par le projet <small>EP-ATR</small> : elles visent à proposer des <em>modèles théoriques</em>, des enrichissements du contexte <em>méthodologique</em> traditionnel (cycle en V) prenant en compte ces modèles, et enfin des logiciels (à l'état de <em>prototype avancé</em>) permettant de mettre en oeuvre ces méthodes de conception nouvelles et de conduire des expérimentations des solutions proposées. Ayant débuté dans le domaine du traitement temps réel du signal en télécommunication (avec le soutien du Cnet et de la <small>DGA</small>, nos travaux ont trouvé de nouveaux contextes d'applications, en particulier par des collaborations suivies avec différents projets de l'Inria (robotique, image), avec <small>EDF</small>, puis dans le domaine de l'avionique avec nos partenaires des projets Esprit Sacres, Syrf, puis IST Safeair, dans le domaine des télécommunications, là encore en collaboration avec des projets de l'Inria, avec Alcatel et le Cnet, et dans le domaine de l'automobile, avec les industriels impliqués dans le projet <small>AEE</small>, et là aussi différents projets de l'Inria et d'autres partenaires universitaires.</p> <p>En même temps que se sont élargis les domaines d'applications, les problèmes que nous considérons se sont étendus d'une part en amont vers la spécification de systèmes temps réel, d'autre part en aval vers la génération de code enfoui, éventuellement sous la forme de <em>code distribué</em> sur des architectures hétérogènes et au delà, vers la prise en compte de composants matériels, en synthèse et en modélisation.</p> <p>Ces travaux, qui concernent ainsi aujourd'hui le développement des applications temps réel depuis leur spécification jusqu'à leur mise en oeuvre matérielle, reposent sur une modélisation homogène des niveaux de description rencontrés au cours de la conception : cette approche, fondée sur un modèle mathématique de la <em>programmation synchrone,</em> permet de mettre formellement en relation différentes versions de l'application, réduisant en cela les risques liés à des ruptures dans le cycle de leur conception.</p> </body>