|
Equipes
|
| Lande,
Triskell, Vertecs |
| Laboratoire |
Irisa |
| Nom
de l'équipe ou du projet |
Lande |
| Responsable |
Thomas
JENSEN |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
2,3,8,1,
0 |
| Axes
de recherche (liste de mots-clefs) |
- Architecture
logicielle
- Analyse
et test de programmes
- Programmation
déclarative
- Cartes
a puce
- Sécurité
logicielle
|
| Relations
industrielles ( liste de partenaires industriels) |
AQL,
TNI, Trusted Logic, FT R&D, Schlumberger, Gemplus |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
- RNTL: Cote,
Dico, Oaddympac
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
- IST FET/Open
"Secsafe"
- IST R&D
"Verificard"
- IST Roadmap
"Reset"
|
| Plates-formes |
- TGV: synthèse
de tests, techniques énumératives
- STG: synthèse
de tests, techniques symboliques
- Sigali:
verif et synthèse de contrôleurs, techniques BDD
- New Polka
: librairie de polyhèdres convexes pour l'analyse deprogrammes
numériques
|
| Suggestions |
Des
actions autour de la sécurité logicielle (propositiond'action spécifique
en cours) et son application pour lelogiciel de cartes a puce. |
|
| Laboratoire |
Irisa |
| Nom
de l'équipe ou du projet |
Triskell |
| Responsable |
J.-M.
Jézéquel |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
2,3,7,6,0 |
| Axes
de recherche (liste de mots-clefs) |
- Ingéniérie
de la modélisation UML
- conception
par objets de systèmes temps réel
- composants
contractualisables
- test de systèmes
à composants
- qualification
de composants
|
| Relations
industrielles ( liste de partenaires industriels) |
Softeam,
Microsoft |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
- RNRT: Convergence,
Magda2
- RNTL: COTE,
ACCOR
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
- IST: QCCS,
Artist
- ITEA: CAFE
|
| Plates-formes |
|
| Suggestions |
|
|
| |
| Laboratoire |
Irisa |
| Nom
de l'équipe ou du projet |
Vertecs |
| Responsable |
Thierry
Jéron |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
4,
0, 3,1, 0 |
| Axes
de recherche (liste de mots-clefs) |
- Méthodes
formelles
- Test
- Contrôle
des DES
- Vérification
|
| Relations
industrielles ( liste de partenaires industriels) |
IBM
Haifa-Hursley, Imbus Germany, France Telecom Lannion, Intrasoft, Luxembourg-Greece,
Softeam, Gemplus, AQLST Micro Grenoble, Matra SI, Passées récentes:
CP8-Schlumberger, Alitec, Renault, PSA |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
RNTL:
Cote (2001-2002): test de composants |
| Participation
à des programmes européens (ex. IST) (liste de projets) |
IST
Agedis (2000- 2003): synthèse et exécution de tests pour composants
logiciels distribués |
| Plates-formes |
- TGV: synthèse
de tests, techniques énumératives
- STG: synthèse
de tests, techniques symboliques
- Sigali: verif
et synthèse de contrôleurs, techniques BDD
- New Polka
: librairie de polyèdres convexes pour l'analyse deprogrammes
numériques
|
| Suggestions |
Quel
est le sens du terme "action" ici ? Action de recherche ou autre ?Il
me semble, et je crois que ceci a déjà été évoqué par ailleurs,
que les travaux ou les résultats de l'AS 23 (Test de robustesse) devraient
être intégrés à cet RTP. Il s'agit essentiellement de définir ce qu'est
le test de robustesse et comment produire de tels tests.Le test de
systèmes enfouis est encore peu étudié et pose de nombreux problèmes
de contrôlabilité et d'observabilité. Ces problèmes doivent être abordés
au niveau conception (design for testability), synthèse de test (observabilité/contrôlabilité
partiels) et exécution (mécanismes à mettre en oeuvre). C'est un des
défis scientifique à résoudre dans le cadre de cet RTP.Pour ce qui
concerne plus précisément la contribution de Vertecs, nous sommes
intéressés par la combinaison de techniques de vérif/contrôle/test
pour l'analyse et la validation de systèmes enfouis, son support par
des outils et leur expérimentation. |
|