Erweiterung der UML um Zeitannotationen zur Analyse des Zeitverhaltens reaktiver Systeme

BIB
Kersten, Michael and Biniasch, Ramon and Nebel, Wolfgang and Oppenheimer, Frank
Konferenzband: GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Mit der UML kann das Verhalten reaktiver Systeme modelliert werden. Die Analyse von (Echt)-Zeiteigenschaften und Schedulingeigenschaften erfordert jedoch präzise Zeitannotationen, die allein auf Basis der UML nicht vollständig ausgedrückt werden können. Zahlreiche Ansätze sind derzeitig um Besserung bemüht. Diese basieren jedoch auf dem Erweiterungsmechanismus der UML, der inhärente Schwächen aufweist. Die vorliegende Arbeit zeigt einen anderen Ansatz, in dem stattdessen das Meta-Modell der UML modifiziert wird.
01 / 2003
inproceedings