05.10.2013 Aufrufe

Text anzeigen (PDF) - bei DuEPublico

Text anzeigen (PDF) - bei DuEPublico

Text anzeigen (PDF) - bei DuEPublico

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Konzepte<br />

rungszeit des Simulationsmodells die gewünschten Leistungsmaße ermittelt und können zur<br />

Laufzeit visualisiert werden. Durch mehrfache Simulationsläufe können mit den bekannten Verfahren<br />

auch stationäre Leistungsmaße für eine Schar unterschiedlicher Parameter ermittelt werden<br />

[59], [60].<br />

Abbildung 3-1 Die Rolle von (Q)SDL-Systemen im Entwurfsprozeß<br />

Das grundlegende Konzept besteht darin, eine SDL-Spezifikation durch ein Maschinenmodell zu<br />

ergänzen, mit dessen Hilfe der Systemdesigner den für die Implementierung notwendigen Raumund<br />

Zeitbedarf beschreiben kann. Weiterhin werden Sprachelemente eingeführt, mit deren Hilfe<br />

die zu bewältigende Ar<strong>bei</strong>tslast durch geeignete Verkehrsmodelle repräsentiert werden können.<br />

Darüberhinaus stellt QSDL einen Bindungsmechanismus zur Verfügung, mit dessen Hilfe die<br />

Verteilung von Lasten auf die vorhandenen Maschinen beschrieben werden kann, siehe<br />

Abbildung 3-2.<br />

Abbildung 3-2 QSDL-System<br />

Den Kern eines QSDL-Systems bildet die SDL-Spezifikation. Diesem System werden Modelle<br />

von Verkehrsquellen angelagert, die die Signale, die das SDL-System aus der Umgebung emp-<br />

26<br />

dienstanbietende<br />

Maschine<br />

SDL-System Spezifikation<br />

beschreibt das funktionale Verhalten<br />

Validation & Verifikation<br />

Funktionale Simulation & Animation<br />

Code Generierung<br />

Prototyping Testen<br />

Machine M1<br />

Machine M2<br />

Last<br />

Quelle<br />

B1 B3<br />

B2 B4<br />

B5<br />

SDL System<br />

Machine M4<br />

QSDL-System enthält<br />

nicht-funktionale Aspekte<br />

Leistungsanalyse<br />

Validation & Verifikation<br />

zeitbehafteter Systeme<br />

Machine M3<br />

QSDL-System<br />

modelliert durch Prozesse<br />

und stochastische Verteilungen<br />

Bindung von Last<br />

an Maschinen<br />

modelliert<br />

Übertragungszeit

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!