Arbeitsbereich
THEORETISCHE
GRUNDLAGEN DER
INFORMATIK
Projekt:
Modelling And Analysis Of Time Constrained And Hierarchical Systems (MATCH)
More information is available in
English .
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
[Forschung]
[TGI]
[Informatik]
Letzte Änderung: 15:10 02.07.1997
Impressum