Modélisation avancée et spécification de systèmes d'information distribués (ASPIRE)

Période

1997-2000

Mots clés

modélisation, spécification, système d'information, distribution, concurrence, temps réel, logique de défauts

Description

Ce projet vise à la spécification et la modélisation de systèmes d'information. Les thèmes plus spécialement étudiés sont les systèmes répartis, s'exécutant en parallèle, avec des aspect de temps réel. De plus, il explore l'usage de logiques de défauts dans ce cadre. Le but est de contribuer à bâtir des outils d'analyse, d'animation, d'implémentation, de validation, de vérification et de maintenance.

Unités

• Pôle sémantique, logique et calcul (ISLC)
• PReCISE Research Center (PRECISE)

Axes de recherche

• Requirements Engineering and Business-IT Alignment
• Sémantique des langages informatiques

Staff (contrats terminés)

Collaborations

• Technische Universität Braunschweig, Abteilung Informationssysteme
• Universiteit Twente
• Fraunhofer Gesellschaft, ISST
• The University of Birmingham, School of Computer Science
• Universite d'Evry, LAMI
• Universitaet Hannover, Fachbereich Informatik
• Otto-von-Guericke Universitaet

Financement

• Commission européenne, DG III Industry

Pour plus d'information