RA
1996 RA 1998Suivant : Composition de l'équipe
RA
1996 RA 1998
Suivant : Composition de l'équipe
Projet EP-ATR
Environnement de programmation d'applications temps réel
Rapport d'activité de 1997
Page de présentation du projet - Rapport d'activité au format PostScript ou PDF
Localisation : Rennes
Mots-clés : EP-ATR, système enfoui, temps réel, cycle
en V, vérification, méthode formelle, traitement temps réel du
signal, télécommunications, conception synchrone, programmation
synchrone, Signal, génération de code enfoui, code distribué,
architecture hétérogène, composant matériel, VHDL, format commun,
DC+, Statecharts, système dynamique polynomial, synthèse de
contrôleur, BDD, transformation de programme, génération
d'automate, préemption, fonction affine