Systemvalidierung ist der Bereich, der die Grundlagen der Systemkommunikation und Informationsverarbeitung untersucht. Sie ist der nächste logische Schritt in der Informatik und zur Verbesserung der Softwareentwicklung im Allgemeinen. Sie ermöglicht eine automatisierte Analyse auf der Grundlage von Verhaltensmodellen eines Systems, um festzustellen, ob ein System korrekt funktioniert. Wir wollen sicherstellen, 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. prozessverhalten modellieren" ist der Folge-MOOC zu "Automaten und Verhaltensäquivalenzen". Dieser MOOC zeigt Ihnen, wie Sie das Verhalten von Prozessen, insbesondere von Protokollen und verteilten Algorithmen, modellieren, tiefer in die Eigenschaften des Systemverhaltens eintauchen und die Dinge einfach halten, um eine Explosion des Zustandsraums zu vermeiden. Lesestoff. J.F. Groote und M.R. Mousavi. Modellierung und Analyse von kommunizierenden Systemen. The MIT Press, 2014. Dieser Kurs ist Teil 2 einer Reihe von Kursen zur Systemvalidierung. Systemvalidierung ist als Kursreihe Teil eines größeren Online-Programms von EIT Digital mit dem Titel 'Internet of Things through Embedded Systems'.