| |
2-6 UML-Profil für Schedulability, Leistung und Zeit, v1.0 September 2003 2 Die quantitativen Begrenzungen, die in der überlagerten Deutung zutreffen, sind in der Natur ähnlich an den, die in der Gleichdeutung erscheinen, aber werden normalerweise an verwirklicht zugetroffen Abhängigkeiten anstatt zu den Verbindungen. Merken Sie, daß das Technikmodell der Reihe nach sein kann verwirklicht durch dennoch ein anderes Technikmodell, in diesem Fall es auch als a angesehen würde logisches Modell. 2,2,2 Modellieren Zeit Zeit ist selbstverständlich ein immer anwesender Aspekt der Realzeitsysteme, und sie hat Auswirkung innen einige unterschiedliche Bereiche. Nur metrische Zeit wird als Teil dieser Spezifikation umfaßt, wie real Zeitsysteme werden normalerweise nur mit der Kardinalität der Zeit, wie betroffen Stichtag für eine Antwort. Insbesondere finden wir es nützlich, zwischen Systemtest zu unterscheiden (ununterbrochen) setzen Sie fest und simulierte Zeit Zeit, in der Zeit nicht sich notwendigerweise erhöht monoton. Ein anderer Fall, wohin Zeit in Spiel kommt, ist in Verbindung mit den Dienstleistungen, die für bereitgestellt werden in Form von Beispiel durch ein Realzeitbetriebssystem Timer und Taktgeber und Spezifikation stellt einen Rahmen für das Modellieren dieses Service und ihres in Verbindung stehenden zur Verfügung Eigenschaften. Taktraster der unterschiedlichen Arten sind in stützendem schedulability wesentlich und Ergebnisanalyse und umfassen das Modellieren, ob etwas periodisch ist oder nicht, und innen ehemalige der Periode, der Verteilungsfunktionen und des Bammels auch modellieren des Falles. 2,2,3 Modellieren Von Schedulability Von Realzeitsysteme Systeme denen die Frage wenn eine Antwort zu einem Fall enthalten tritt ist so wichtig für das korrekte Verhalten des Systems wie sein algorithmisches Verhalten auf. Eine allgemeine Unterscheidung in dieser Hinsicht ist zwischen weichem und stark Realzeit, der Unterschied das im ehemaligen sein eine späte Antwort ist eine gute Antwort, da lang es innerhalb annehmbaren einiges ist Strecke, während im letzten Fall eine späte Antwort unbrauchbar ist, und manchmal total nicht annehmbares (tödlich). In der ehemaligen Kategorie ist statistische Vorhersage eine Weise, das relevante zu modellieren Eigenschaften, die normalerweise quantitativ bestimmt werden kann als durchschnittliche Leistung und Standard Abweichung. In der letzten Kategorie ist das Problem normalerweise, wenn es überprüft, ob es gibt oberes Limit für Antwort zu einer Anregung d.h. muß es eine garantierte Antwortzeit geben. Tatsächliche Systeme kombinieren häufig Merkmale beider Kategorien. Als Teil der Spezifikation konzentrieren wir besonders auf die Systeme, die harte Rechtzeitigkeit haben Anforderungen 1 und wie man das Modell in den Weisen kommentiert, dessen breite Vielzahl erlauben Sie zuzutreffende schedulabilitytechniken. Das Ziel ist selbstverständlich, es zu ermöglichen zu stellen Sie fest, ob oder nicht ein Modell d.h. schedulable ist wenn es in der LageIST, sein zu treffen garantierte Antwortzeiten. 1. Durch "stark" bedeuten uns Rechtzeitigkeitsanforderungen, die ohne Ausnahme gerecht geworden werden müssen. Anmerkung daß dieses zum Begriff der Kritikalität d.h. ob die Konsequenzen des Verlustes orthogonal ist ing ein harter Stichtag sind oder nicht nicht annehmbar. |  |
|
| |
|
|
