[ Index ]
Modellierung und Bewertung
zeitkritischer Systeme
Im Rahmen dieses Projektes wurde das Testwerkzeug |SEMPER| entwickelt, welches die Bewertung der Performanzeigenschaften von Softwaremodellen erlaubt.
Projektleitung: Michael_Barth
Konzept:
Das zeitliche Verhalten eines Software-Modells wird analysiert anhand der Bewertung einzelner Abläufe, die durch dieses Modell abgedeckt sind. Diese Abläufe, sogenannte Szenarien, werden in einer Simulationsumgebung
bewertet. Dazu wurde eine zeitliche Semantik definiert, die jeweils einem Tripel aus einem dynamischen Modell, einem Szenario und einer passenden Umgebung einen Zeitwert zuordnet.
Die Implementierung erlaubt die Erstellung dynamischer Modelle aus UML-Aktivitätsdiagrammen, durch deren Übersetzung in Petrinetze. Die graphische Spezifikation einzelner Ablauf-Szenarien, die Entwicklung und Kalibrierung von Last- und Ressourcenmodellen aus Meßwerttabellen und die Bewertung der einzelnen Szenarien durch Simulation. Die Implementierung der Simulationsumgebung realisiert dabei die zeitliche Semantik. Generische Klassen implementieren die geforderten Ressourcen- und Lastfunktionen. Die Durchführung der Simulation erfolgt unmittelbar auf einer Implementierung des durch die Software-Modellsemantik definierten Petrinetzes.
Die mit diesem Testwerkzeug ermittelten Performanzwerte können dann
graphisch aufbereitet und zur Beurteilung der dynamischen Eigenschaften
herangezogen werden.