 |
| | | | | Beschreibung | | Bei Symbolischen Zeitdiagrammen (Symbolic Timing Diagrams, STD) handelt es sich um eine grafische Methode zur formalen Spezifikation.
Die folgende Abbildung zeigt ein Beispiel für ein symbolisches Zeitdiagramm, wie es innerhalb der am OFFIS entwickelten Statemate Verifikationsumgebung verwendet wird.
In diesem Beispiel werden die Anforderungen bezüglich des Ein-/Ausgabeverhaltens des Systems beschrieben. Das heißt, die spezifizierten Eigenschaften machen nur Aussagen über die Schnittstellen des Systems und das System selbst wird als Black Box angesehen.
Die Symbolischen Zeitdiagramme bestehen aus Waveforms, von denen jede eine Sequenz von Wertebelegungen ist, die an der Schnittstelle des Systems oder einer seiner Teilkomponenten beobachtbar sind. Ereignisse kennzeichnen eine Änderung der Wertbelegung einer Waveform.
Die Events einer Waveform sind total geordnet, von links nach rechts. Eine Ordnungsbeziehung zwischen Events verschiedener Waveforms wird durch ein Constraint hergestellt, repräsentiert durch einen Pfeil mit Intervallnotation. Anhand des Intervalls können verschiedene Arten von Constraints unterschieden werden. Es ist außerdem möglich, Realzeitanforderungen mit dem Constraint zu assoziieren. Die unteren und oberen Intervallgrenzen repräsentieren die minimale und maximale Zeit, die zwischen dem Auftreten der beiden Events verstreichen muss bzw. darf.
Es gibt zwei Aktivierungsmodi für symbolische Zeitdiagramme: initial und invariant. Initiale symbolische Zeitdiagramme (gekennzeichnet durch eine doppelte vertikale Linie am Anfang der Waveform) müssen beim Start des Systems erfüllt sein, während invariante (gekennzeichnet durch eine einfache vertikale Linie) immer dann erfüllt sein müssen, wenn ihre Aktivierungsbedingung (Activation Condition) wahr ist. Die Aktivierungsbedingung ist die Konjunktion der Anfangsbelegungen aller seiner Waveforms.
| |
| | | | | | | | | | | | Kommentare | | Es wurden 1 Kommentar und 0 Bewertungen abgegeben | | | Kommentare |  | Jürgen Franz Neumann, 07.12.2004 | | "Kommentar: Symbolic Timing Diagrams" | | | Schade, dass Ihr als Abkürzung "STD" benutzt, die schon für State Transition Diagrams benutzt wird. So etwas erzeugt in unserem Fach, das sich sowieso durch eine babylonische Sprachverwirrung auszeichnet,... | | [Kommentar ganz lesen] | |
| | | | Zu dieser Seite wurden noch keine Bewertungen abgegeben. |
| |
| | | | |  | Übergeordnet | | | | | | | | | | | | | | | | | | | | | | | Symbolic Timing Diagrams | | | | |  | Untergeordnet | | | | | | | | | Ansprechpartner | | | | | | | | Literaturhinweise | | | | | | | | | | | | | Löst die Probleme | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Weitere Themen | | | | | | | | | | | | | | Glossar | | | | | | | | | | | | | | | | | | | | | | | | | |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
![[Kommentar ganz lesen]](/servlet/is/Entry.2946.DisplayAnnotation/?annotationId=569&CatLogo=../5990/cpage_logo.jpg&annoNo=1){kind=link}