-  
- serveur interne











--


--

Projet EP-ATR :
Environnement de programmation pour applications temps réels

 

L'objectif général du projet est de contribuer au développement de méthodes, de techniques et d'outils pour la conception et la mise en oeuvre d'applications enfouies, en particulier dans le domaine du temps réel. Les systèmes considérés vont des plus petits (asics, par exemple, en électronique ou dans les automatismes) aux plus grands (avionique, énergie, télécommunications, militaire). Ils sont critiques en terme de sûreté, leur comportement temporel est souvent complexe ; ils s'exécutent sur des architectures diverses (circuits intégrés, architectures distribuées, architectures tolérantes aux fautes, etc.). Les contributions du projet reposent sur le modèle « flots de données synchronisés » sur lequel est construit le langage Signal. EP-ATR est un projet commun avec le CNRS, l'université de Rennes 1 et l'Insa de Rennes.

Responsable

Paul Le Guernic
tél : +33 2 99 84 72 42
paul.leguernic@irisa.fr


anim Projet EP-ATR
-
-

Présentation
Equipe
Collaborations
Publications
Sujets de DEA 2000-2001
Logiciel

-
anim les activités scientifiques
-
-

Objectifs:

- Contextes des études
Conception synchrone
Thèmes de recherche
Démonstrations/exemples

Fondements scientifiques:

- Spécifications et programmations synchrone
- Sémantique synchrone
Langage Signal
Vérification et synthèse

Domaines d'applications:

- Panorama
Télécommunications
Énergie
-
anim les partenariats
-
-

Rap. d'activité 1999
Rap. d'activité 1998
Rap. d'activité 1997
Rap. d'activité 1996
Rap. d'activité 1995
Thème Inria 1
-
 

 
-- english version --- epatr_webmaster@irisa.fr --- ©copyright --

inriacnrs insa université de Rennes1

 

w3c-html4