Erstellung von Simulationsmodellen für Kommunikationsprotokolle Aus unseren Daten lernen
-
- Deutsch ausgewählt
48,90 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
18.04.2026
Verlag
Verlag Unser WissenSeitenzahl
52
Maße (L/B/H)
22/15/0,4 cm
Gewicht
96 g
Sprache
Deutsch
ISBN
978-620-9-95179-4
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice