Haben Sie schon einmal erlebt, dass Softwaresysteme ausfallen? Websites stürzen ab, Kalender werden nicht synchronisiert, oder sogar ein Stromausfall. Natürlich haben Sie das! Aber wussten Sie, dass viele dieser Fehler das Ergebnis von Kommunikationsfehlern innerhalb eines Systems oder zwischen Systemen sind? Je nach System können die Auswirkungen von Softwarefehlern enorm sein und sogar zu massiven wirtschaftlichen Schäden oder zum Verlust von Menschenleben führen. Software, und insbesondere die Kommunikation zwischen softwareintensiven Systemen, ist sehr komplex und nur schwer in den Griff zu bekommen. Dennoch brauchen wir Zuverlässigkeit in den Systemen, die wir direkt oder indirekt nutzen, um unser tägliches Leben zu meistern. Die Systemvalidierung hilft Ihnen, das Verhalten eingebetteter Systeme so zu gestalten, dass es strukturell einwandfrei ist. Sie zwingt Sie auch dazu, das Verhalten einfach und einleuchtend zu gestalten; Systeme, die auf ein solides Verhalten ausgelegt sind, lassen sich auch viel leichter warten und anpassen. Systemvalidierung ist ein Bereich, der sich mit den Grundlagen der Systemkommunikation und Informationsverarbeitung befasst. Mit den Techniken der Systemvalidierung lässt sich die Fehlerfreiheit nachweisen.

Dieser erste Kurs "Automaten und Verhaltensäquivalenzen" bildet die Grundlage für die nachfolgenden Kurse und zeigt Ihnen, wie Sie das Systemverhalten als Zustandsautomaten betrachten können. Er bespricht Verhaltensäquivalenzen und veranschaulicht diese in einer Reihe von Beispielen und Quizfragen. In diesem Kurs werden beschriftete Übergangssysteme oder Automaten zur Modellierung von Verhalten erklärt, insbesondere für softwaregesteuerte Systeme. Eine wichtige Frage ist, wann zwei Verhaltensweisen, die durch solche Automaten dargestellt werden, gleichwertig sind. Die Antwort auf diese Frage ist gar nicht so einfach, aber die sich daraus ergebenden Äquivalenzen werden als mächtige Werkzeuge zur Vereinfachung von komplexem Verhalten verwendet. Dies ermöglicht es uns, die Verhaltenseigenschaften solcher Systeme genau zu untersuchen und zu verstehen. Insbesondere in Kombination mit dem Verbergen von Verhalten ist die Äquivalenzreduktion eine einzigartige Technik, um Einblicke in das Verhalten von Systemen zu erhalten, und sie ist weitaus effektiver als Simulation oder Tests. Mit Hilfe dieser Einsicht können wir die Modelle korrekt gestalten. Solche Modelle bilden eine hervorragende Grundlage für die Erstellung von präziser, zuverlässiger und wartbarer Software. Dieser Kurs ist Teil I der Kursreihe für Systemvalidierung. Systemvalidierung ist als Kursreihe Teil eines größeren 28DIGITAL-Online-Programms mit dem Titel 'Internet der Dinge durch eingebettete Systeme'.