Spelling suggestions: "subject:"modellbasierte spezifikation"" "subject:"modellbasierte misspezifikation""
1 |
UML basierte Zeitmodellierung für eingebettete EchtzeitsystemeDimitrow, Wassil 30 June 2006 (has links) (PDF)
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.
|
2 |
UML basierte Zeitmodellierung für eingebettete EchtzeitsystemeDimitrow, Wassil 30 June 2006 (has links)
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.
|
Page generated in 0.1211 seconds