MATCH.:.Modelling and Analysis of Time Constrained and Hierarchical Systems (Human Capital and Mobility)
Contact : Claude.Girault (at) nulllip6.frDu 01/11/1994 au 31/10/1997
Élaboration de méthodes formelles de validation de systèmes parallèle. Ces méthodes s’appliquent de manière cohérente tout au long du cycle de développement du système. Expérimentation pour l’interconnexion des services télématiques. Développement de méthodes de vérification et d’évaluation pour des systèmes complexes intégrant des paramètres de temps. Notre contribution a porté sur les méthodes de modélisation, de vérification et de génération de code. Élaboration de méthodes efficaces d’analyse basées sur la décomposition du modéle, la réduction du graphe d’états, et les symétries du système. Application aux protocoles de communication et à l’interopérabilité de services télématiques.
Université de Eindhoven, Université de Hambourg, Université de Turin, Université de Vienne, Université de Saragosse, Thème RP (Dallery Yves)Claude GIRAULT