Computerunterstütztes Design von Mechatronischen Systemen zur Beschreibung von textbasierten Systemspezifikationen

Eine Computerunterstützte Systementwicklungsmethode für dynamische Systeme ist hier beschrieben. Gemäß folgender Ausführungsform umfasst das Verfahren folgende Schritte: Vorgabe einer textuellen Systembeschreibung; Umwandlung der textuellen Textbeschreibung in eine lineare temporale Logik (LTL) Formel mit Hilfe eines Computers; Umwandlung der LTL Formel in einen ersten Zustandsautomaten mit Hilfe eines Computers; Vorgage eines zeiten Zustandsautoamten, welcher die Systemdynamik repräsentiert, mit Hilfe eines Computers; und die Generierung eines Testzustandsautomaten in dem der erste und zweite Zustandsautomat mit Hilfe eines Computers kombiniert werden.