Erstellung von Simulationsmodellen für Kommunikationsprotokolle

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.