Die Arbeit stellt eine Methodik zur modellbasierten Spezifikation und Analyse des Zeitverhaltens eines Systems mit UML (Unified Modeling Language) vor.
Durch Stereotypen und Tags des Profile for Schedulability, Performance and Time (SPT) werden die erforderlichen Eigenschaften beschrieben. Als Eingangsinformation dient das UML-Modell des zu entwerfenden Systems.
Die Analyse liefert eine Aussage über die Einhaltung von Zeitconstraints als Ganzes. Bei Verletzungen erfolgen elementbezogene Kommentare.
Damit wird mit standardisierten Mitteln eine Analyse des zeitbezogenen Systemverhaltens vor den Partitionierungsentscheidungen möglich.
Die Modellierung erfolgt im Tool Real-time Studio (RtS) der Firma Artisan Software Tools, Inc.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:swb:ch1-200601010 |
Date | 30 June 2006 |
Creators | Dimitrow, Wassil |
Contributors | TU Chemnitz, Fakultät für Informatik |
Publisher | Universitätsbibliothek Chemnitz |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | deu |
Detected Language | German |
Type | doc-type:workingPaper |
Format | application/pdf, text/plain, application/zip |
Relation | dcterms:isPartOf:Chemnitzer Informatik-Berichte ; CSR-06-01 |
Page generated in 0.0017 seconds