Erstellung von Simulationsmodellen für Kommunikationsprotokolle [German]

Bys: Rahman, MD Tanzilur and Saini, Gurpreet Singh

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.

• Format: Paperback
• Language: German
• ISBN: 6209951791
• ISBN13: 9786209951794
• Release Date: April 2026
• Publisher: Verlag Unser Wissen
• Length: 52 Pages
• Weight: 0.18 lbs.
• Dimensions: 0.1" x 6.0" x 9.0"