1-2 UML-Profil für Schedulability, Leistung und Zeit, v1.0 September 2003 1 1,1 Modellieren von Realzeiteigenschaften in UML Über Zeit sind eine Anzahl von unterschiedlichen modellierenden Techniken und Konzepte innen aufgetaucht die Realzeit-Software-Gemeinschaft. Jede Technik hat seinen eigenen verschiedenen Satz von gefördert Terminologie und Darstellungen. Eine der Absichten hinter dieser Spezifikation ist, a zur Verfügung zu stellen allgemeiner Rahmen innerhalb UML, das völlig diese Verschiedenartigkeit umgibt, aber verläßt noch genügend Flexibilität für unterschiedliche Spezialisierungen. Insbesondere wurde Fokus an gesetzt Eigenschaften, die mit dem Modellieren der Zeit und der zeitbezogenen Aspekte wie des Schlüssels zusammenhängen Eigenschaften der Rechtzeitigkeit, der Leistung und des schedulability. Die Fähigkeit, diese Eigenschaften vorauszusagen, die auf dem Analysieren basieren, modelliert von Software -- vornehmlich umfassen modelliert, das vor einer Linie des Codes konstruiert werden, der ist -- geschrieben eine grundlegende Zielsetzung dieser Spezifikation. Genau und vertrauenswürdig Vorhersagen beziehen unveränderlich formale quantitative Analysen mit ein. Anstatt bauend ausschließlich auf Intuition und "Gefühl," einer aller zu allgemeinen und bedauerlichen Praxis innen Software-Entwicklung, zu bauen ist weit besser, auf das mathematisch abgeleitete Resultatsaufhalten von den genauen Modellen. Die Probleme, die früh an während des Entwicklungslebenszyklus können ermittelt werden seien an viel niedrigeren Kosten und mit im wesentlichen weniger Überarbeitung entfernt Sie. Folglich investierten wir spezielle Bemühung, wenn wir modellierende Fähigkeiten definierten, die ermöglichen vorbestimmte quantitative Analysen, wie die Fähigkeit, das schedulability von a festzustellen geplantes Stück Software. Ein großes Teil von diesem basiert auf der Fähigkeit, Qualität von zu modellieren halten Sie Aspekte, wie Stichtage und Prioritäten instand. Merken Sie insbesondere daß wir neue vorbildliche Analysentechniken nicht als Teil erfinden diese Spezifikation. Eher ist die Absicht, in der Lage zuSEIN, ein UML-Modell in solchem a zu kommentieren Weise, die das verschiedene Bestehen und die zukünftigen vorbildlichen Analysentechniken in der LageSIND, zu nehmen Vorteil der zur Verfügung gestellten Eigenschaften. Es gibt selbstverständlich zusätzlichen Nutzen außerdem; Spezifikation ermöglicht der Kommunikation der Designabsicht zwischen Entwicklern in a Standardweise und erlaubt weiter Zwischenfunktionsfähigkeit zwischen den Werkzeugen, welche die Informationen verwenden (wie zwischen verschiedene Arten der vorbildlichen Analysenwerkzeuge und der Designwerkzeuge). Das Konzept der Voraussagbarkeit verbindet parametrisches Verständnis einer Implementierung mit Funktionsanforderungen, die durch das System in Erwägung entsprochen werden. Systeme sind gewöhnlich entworfen und in die Elemente verfeinert, die Funktionskohärenz ausstellen. Jedes von diese Funktionen müssen betreffend seine Leistung dann nachgeforscht werden, wie eingeführt worden; dieses wird gewöhnlich getan, indem man Testfälle durchführt und die Resultate mißt. Zusätzlich zu nachher die Tatsachenmaß-, vorbildlicheanalyse und die Simulation werden beide verwendet, um zur Verfügung zu stellen Anzeigen oder Vorhersagen über zukünftige Leistung. Eine Kombination von Maßen, Simulation und vorbildliche Analyse ist extrem sinnvoll, das quantitative festzustellen Bedeutung einer Systemimplementierung gegen seine Leistungserwartungen. Maße liefern Einblick und quantitative Hilfe. Durch die die Fähigkeit Maße kann in Leistungsprojektionen extrapoliert werden ist nicht so direkt, wie sie scheint. Es gibt ein Kontinuum des Verstehens zwischen Maßen, statistische Vorhersage und garantierte Antwort. Voraussagbarkeit bezieht sich die auf quantitative Einschätzung über eine Implementierung von einigem erwartete Funktionalität. Diese Quantitäten beziehen sich auf alle Aspekte eines Systems - zum Beispiel Menge Hitze, die es erzeugt, Energie, die es verbraucht, usw..