• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Erstellung von Simulationsmodellen für Kommunikationsprotokolle

Erstellung von Simulationsmodellen für Kommunikationsprotokolle

Paperback

General Computers

ISBN10: 6209951791
ISBN13: 9786209951794
Publisher: Verlag Unser Wissen
Published: Apr 18 2026
Pages: 52
Weight: 0.18
Height: 0.12 Width: 6.00 Depth: 9.00
Language: German
Im Bereich der vereinfachten modellbasierten Verifikations- und Validierungstechniken gab es zahlreiche Entwicklungen. Die meisten davon basieren auf der Beobachtung des externen Verhaltens des Systems. Unser Ansatz folgt diesem Prinzip und ist auch dann gültig, wenn der Quellcode des zu beobachtenden Systems nicht verfügbar ist. Inferenzmechanismen ermöglichen es uns, solche Maschinenmodelle durch Beobachtung abzuleiten. Wir stellen ein Framework vor, das Komponenten mit unendlichen/endlichen Zuständen generiert und sich an formale Verifikationen anpasst. Die verwendeten Modelle sind Kommunikationsprotokolle, die durch reguläre Inferenz aus dem beobachteten Verhalten der Kommunikationsprotokoll-Entität abgeleitet werden. Au erdem wird ein Ansatz vorgestellt, bei dem das beobachtete Verhalten des Protokolls mit dem entworfenen Modell des Protokolls abgeglichen wird.

Also from

Rahman, MD Tanzilur

Also in

General Computers