Mit Hilfe dieses Werkzeugs lassen sich durch eine graphische Beschreibungssprache System-Spezifikationen erstellen, mit denen Funktion und Verhaltensweise des zu beschreibenden Problems darstellt werden.

Durch die Unterstützung der ausführbaren System-Spezifikation kann jederzeit mit dem Auftraggeber geprüft werden, ob die Anforderungen erfüllt sind. Die vollständige System-Spezifikation erlaubt es, bereits in der frühen Phase der Entwicklung Fehler zu finden und zu korrigieren.

Statemate® Workshop

Im Rahmen des Statemate® Workshops werden am Beispiel einer speziellen, vom Auftraggeber zu definierenden Aufgabenstellung die von K&A erarbeiteten Richtlinien bezüglich Methodik und formaler Modellierungskriterien für den Einsatz von Statemate® gelehrt und angewendet.

Dokumentengenerator StmDocTemp für Statemate®

Basierend auf den Anforderungen der System-Spezifikation und der Softwareentwicklung zusammen mit der K&A-Kompetenz in der System- und Software-Spezifikation mit dem SDA-Werkzeug Statemate®, wurde das Software-Paket StmDocTemp entwickelt.

Mit diesem Paket ist es möglich, standardisierte Dokumentationen von Statemate® Spezifikationen zu erzeugen.

Hardware in the Loop mit Statemate®

National Instruments bietet für den Einsatz im PC eine umfangreiche Auswahl an IO-Karten (darunter auch CAN) an. Für eine Auswahl an Karten hat K&A eine Einbindung in Statemate® realisiert. Wenn Sie detaillierte Informationen zu diesem Thema wünschen, wenden Sie sich bitte an SE-A@ka-muc.de.

Statemate ist eingetragenes Warenzeichen der Fa. i-logix