Komplexe Kommunikations- und Steuerungssysteme weisen eine hohe Anzahl interner Zustände und realisierter Zustandsübergänge auf. Damit einhergehend steht die Anzahl der möglichen Fehler. Das frühzeitige und umfassende sowie vor allem das nachvollziehbare Erkennen von Fehlverhalten und -zuständen erfordert das computerunterstützte Prüfen dieser komplexen Steuerungsgeräte. Die Validierung der Systeme gehört zu den anspruchvollsten Herausforderungen in diesem Bereich.
Beispielsweise Systeme wie: