Text anzeigen (PDF) - bei DuEPublico

Lösungsansätze in der Literatur
auftreten, zu analysieren. Allerdings ist der Ansatz, jedem Block eine Maschine zuzuordnen,
nicht flexibel genug, um reale Systeme zu bewerten. Außerdem fehlen Möglichkeiten, zwischen
den Prozessen unterschiedliche Prioritätsklassen zu bilden, um so den unterschiedlichen Anforderungen
von Multimedia-Strömen Rechnung zu tragen.
2.4.5 SPEET
SPEET ist ein Werkzeug zur Leistungsbewertung von Systemen, die in SDL spezifiziert sind.
Die SDL-Spezifikation wird durch Code-Generierung in C-Code transformiert und kann dann
ausgeführt werden, vgl. Abbildung 2-3.
Abbildung 2-3 SPEET-Komponenten mod. nach [17]
Die verwendete Hardware wird in diesem Ansatz durch Emulatoren ersetzt. SPEET ermöglicht
eine Lastbeschreibung durch Verkehrslastgeneratoren, die Verkehrsströme von Anwendungen
wie digitalisierte Sprache, WWW, FTP, SMTP, Telnet oder MPEG-codierte Videoströme
ermöglicht. Die einzelnen Ströme können zu beliebigen Lastmixturen gemischt werden und das
zu emulierende System belasten [106]. Weiterhin enthält SPEET Kanalmodelle, mit deren Hilfe
die Verbindung verschiedener SDL-Systeme in die Untersuchung mit einbezogen werden kann.
Die gewünschten Leistungsgrößen können als Probes in die SDL-Spezifikation eingebracht werden.
Dazu wird ein neues Probesymbol eingeführt, das als Annotation innerhalb des SDL-Kommentarsymbols
erscheint. Weiterhin ist es möglich, quantitative Anforderungen an das System in
Form von erweiterten MSCs auszudrücken. Die Verletzung solcher Anforderungen kann durch
die Simulation bzw. die Emulation aufgedeckt werden.
Die wesentlichen Stärken des SPEET-Ansatzes liegen in der Existenz sehr detaillierter Lastmodelle
vor allem aus dem Bereich Mobilkommunikation. Darüberhinaus existieren sehr genaue
Repräsentationen existierender Hardware-Strukturen, z.B. Mikro-Controler der Firmen Intel,
Motorola und Siemens. SPEET ermöglicht daher sehr detaillierte Analysen des neuen Systems,
erfordert aber sehr aufwendige Hardware-Emulatoren und Kanalmodelle. Die Lastgeneratoren
ermöglichen die Erstellung sehr realistischer Verkehrsströme. Die vorgestellte Methode erfordert
zudem die vollständige Ausspezifizierung des gesamten Systems, und kann daher erst relativ spät
in den Entwurfsprozeß integriert werden.
22
SDL-Spezifikation
Lastgenerator
C-Code
HW Emulator
Modell des
Übertragungskanals