Projekt: Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
Projekt im Rahmen des EG-Programms 'Humankapital und Mobilität'
Partner sind die Universitäten Eindhoven, Paris VI, Turin, Wien, Zaragoza
Laufzeit: Oktober 1994 - September 1997
Schlagworte: hierarchische und modulare Modelle für Informatiksysteme, Echtzeitsysteme, Petrinetze
Ziele:
In dem Projekt werden auf der Basis von Petrinetzen die folgenden Aspekte moderner Informatiksysteme untersucht:
- Strukturelle Eigenschaften- Performanz von synchronen und asynchronen Systemen
- Approximative Verfahren zur Performanzanalyse
- Wechselwirkung von strukturellen Eigenschaften und Performanzanalyse
- Hierarchische und modulare Analyse von Modellen
- Prototyping- Zusammenwirken von Softwarewerkzeugen
