| Laboratoire |
LaBRI |
| Nom
de l'équipe ou du projet |
MVTsi
(modélisation, vérification et test de systèmes informatisés) |
| Responsable |
André
Arnold |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
1
chercheur CNRS, 3 professeurs, 9 MdC, 7 thèsards |
| Axes
de recherche (liste de mots-clefs) |
- Modélisation
- Vérification
- Test
- Assistants
de preuve
- Réseaux
de Petri
- Mu-calcul
- Diagramme
de décision
- Systèmes
hybrides et temporisés
|
| Relations
industrielles ( liste de partenaires industriels) |
CERT-ONERA,
Elf Aquitaine, DassaultAviation, EADS, collaborations dans le cadre
des projets RNTL et RNRT |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
- RNRT: Calife,
Platonis (plate-forme)
- RNTL: ACES-Altarica
(plate-forme, interrompu), AVEROES
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
|
| Plates-formes |
|
| Suggestions |
Développer
les AS et des projets pluri-laboratoires. Développer des projets
pluri-disciplinaires (pour le LaBRI, par exemple avec la bio-informatique) |