Environnement de programmation
pour applications temps réel
Responsable du projet : Paul LE GUERNIC
Contexte scientifique
- Conception de systèmes critiques temps réel enfouis
- Modèles mathématiques du calcul synchrone/asynchrone
- Raffinement et preuves de spécifications/programmes
- Synthèse de systèmes dédiés sur architectures hétérogènes
- Conception matériel/logiciel
Activités de recherche
Les activités de recherche du projet EP-ATR adressent différents aspects
de la conception globale d'applications enfouies. Elles s'articulent
autour du modèle de calcul synchrone auquel sont apparentés les Statecharts,
VHDL, Esterel, Lustre, Signal,... Les recherches portent principalement
sur les thèmes suivants:
- modèles hétérogènes (continu-discret, asynchrone-synchrone),
- méthodes de raffinement de spécification par transformations
interactives, vérification de propriétés dynamiques et méthodologies
associées
- compilation et plus particulièrement, traitement efficace de
structures de données complexes, mobilité, optimisation dépendantes
du source,
- génération de code et en particulier, techniques structurelles
de partitionnment (logiciel/logiciel, logiciel/matériel), ordonnancements
optimisés (dépendant de l'architecture cible), algorithmes d'évaluation
de coût formellement conçus comme des interprétations de programme.
- synthèse de matériel, techniques de transformation de programmes
adaptées, les outils externes sont in fine utilisés via VHDL ou
Verilog
Ces activités sont conduites en étroite collaboration avec des projets
de l'Irisa (API/COSI, CAPS,
Pampa, mais aussi Paragraphe),
d'autres centres Inria, et internationaux.
Développements
- Prototypes :
Compilateur Signal V4 et environnement graphique Signal, simulateur
Environnement de preuve/synthèse Sigali et logiciel d'évaluation
de performance
- Produits :
L'environnement Sildex vendu par TNI est conçu autour de Signal
La machine virtuelle DC+ (format commun synchrone)
Applications
Le projet EP-ATR participe à un projet européen R&D Sacres (les
problèmes de certification constituent un sujet majeur) avec des applications
en avionique, à un projet LTR Syrf sur le modèle synchrone avec des
applications dans l'énergie, à l'étude d'applications dans le domaine
des télécommunications (AAR), à des études sur la synthèse de matériel
pour des applications là encore télécoms, à des études sur la conception
conjointe matériel-logiciel (expérimentation soutenue par Motorola).
Pour en savoir plus :
|
