| Laboratoire |
LSR-IMAG |
| Nom
de l'équipe ou du projet |
VASCO |
| Responsable |
Farid
OUABDESSELAM |
| Effectifs
(chercheurs, enseignants-chercheurs, thésards, ingénieurs, techniciens) |
2,9,7,1,0 |
| Axes
de recherche (liste de mots-clefs) |
- Méthodes
formelles pour le génie logiciel
- Langages
de spécification (algébriques, à base de logiques temporelles,
intégrant spécifications semi-formelles et formelles)
- M éthodes
de conception (B, VDM, Z)
- Méthodes
devalidation (test fonctionnel et structurel, preuves, model
checking)
- Architectures
logicielles
- Compilation
- Génération
de code optimisée
- Détection
d'interactions entre fonctions
|
| Relations
industrielles ( liste de partenaires industriels) |
ClearSy,
France Télécom, Gemplus, Matra Transport International, Motorola,
OROS, RATP, Siemens, Softeam, ST Microelectronics, Syseca, Thalès
SystèmesAéroportés |
| Participation
à des programmes nationaux (ex. RNTL, RNRT) (liste de projets) |
- RNTL: BOM
(Traduction du langage B optimisant la consommation mémoire),
COTE (test de composants, INKA (génération automatique et déterministe
de données de teststructurel pour des programmes C et C++),
DANOCOOPS (suite d'INKA)
- RNRT :
VALISERV (validation incrémentale de services téléphoniques)
|
| Participation
à des programmes européens (ex. IST) (liste de projets) |
|
| Plates-formes |
- B (extension
spécifique à l'équipe)
- LPG (Langage
pour la programmation générique)
- Lutess
(environnement de test pour les logiciels flots de données synchrones)
- RoZ (environnement
pour la spécification des systèmes d'information)
|
| Suggestions |
|
|