Systemvalidierung ist der Bereich, der sich mit den Grundlagen der Systemkommunikation und Informationsverarbeitung beschäftigt. Sie ermöglicht eine automatisierte Analyse auf der Grundlage von Verhaltensmodellen eines Systems, um festzustellen, ob ein System korrekt funktioniert. Wir wollen garantieren, dass das System genau das tut, was es tun soll.

Mit den Techniken der Systemvalidierung lässt sich die Abwesenheit von Fehlern nachweisen. Sie ermöglichen es, das Verhalten eingebetteter Systeme zu entwerfen, das strukturell solide ist, und zwingen Sie als Nebeneffekt dazu, das Verhalten einfach und aufschlussreich zu gestalten. Das bedeutet, dass sich die Systeme nicht nur korrekt verhalten, sondern auch viel einfacher zu warten und anzupassen sind. modellierung von Softwareprotokollen und anderem Verhalten' demonstriert die Leistungsfähigkeit formaler Methoden bei der Softwaremodellierung, bei Kommunikationsprotokollen und anderen Beispielen. Lesestoff. J.F. Groote und M.R. Mousavi. Modellierung und Analyse von kommunizierenden Systemen. The MIT Press, 2014.