Projet :
EP-ATR
Précédent : Projet Esprit Sacres,
convention n°195C4170031307006 Remonter :
Contrats
industriels (nationaux, européens et Suivant :
TNI
Sous-sections
Projet Esprit Syrf, convention n°197G04900MPG211
(01/1997-12/1999)
Participants : Albert Benveniste, Thierry Gautier, Olga
Kouchnarenko, Paul Le Guernic, Sophie Pinchinat.
Mots clés : format commun, DC+, Signal,
programmation synchrone, système hybride, code distribué,
compilation séparée, génération d'automate, vérification,
génération de tests, conception conjointe matériel/logiciel
.
Résumé :
Le projet Esprit Syrf («Synchronous Reactive Formalisms») a
pour objet de développer des études autour des formalismes
synchrones dans un cadre coopératif industriel et de recherche
initié dans le projet Eureka Synchron.
http://www-verimag.imag.fr/SYNCHRONE/SYRF/syrf.html
Le projet Esprit Syrf 22703 complète les travaux des projets
européens Synchron et Sacres.
Les participants sont l'Inria (ex-projet Spectre de Grenoble,
projets Meije de Sophia-Antipolis et EP-ATR de
Rennes), le German National I.T. Research Institute, la compagnie
suédoise Logikkonsult, l'institut de recherche suédois de
l'Université de Linköping, la compagnie Schneider-Électrique
France, la compagnie suédoise Saab Military Aircraft et
Électricité de France.
Il a pour objectifs :
- de combiner les différents formalismes synchrones,
- d'étendre les techniques de vérification automatique,
- de développer la génération de code vers des architectures
distribuées,
- d'étudier les modèles qui combinent des aspects synchrones
et asynchrones,
- d'établir un lien avec la conception
matériel/logiciel,
- la conception du synchronisme analogique ou discret.
Le projet EP-ATR est plus particulièrement
impliqué dans les thèmes suivants :
Ce thème général recouvre
l'utilisation de moteurs de technologie BDD ou
autre pour la résolution de problèmes tels que :
vérification, test, calculs d'abstractions, synthèse de
contrôleurs [[51]].
L'objectif est de comprendre comment
basculer d'un point de vue synchrone vers un point de vue
radicalement asynchrone, où le temps est vu comme un ordre
partiel, et vice-versa. La génération automatique de code réparti
est l'un des principaux résultats attendus [[53],[54]]. Il s'agit évidemment
d'un thème important pour le projet, c'est également un des
thèmes majeurs pour EP-ATR dans le projet Esprit
Sacres.
L'effort porte sur les liens entre formalismes
synchrones et VHDL ou Verilog.
Il s'agit soit d'études de type
architectural, soit de l'utilisation des techniques de synthèse
de contrôleur dans le cadre de la conduite d'une centrale.
Précédent : Projet Esprit Sacres,
convention n°195C4170031307006 Remonter :
Contrats
industriels (nationaux, européens et Suivant :
TNI