Systemspezifikationen für das ausführbare Modell
STIMULUS bietet eine Modelliersprache, die Systemarchitekten die Kombination formalisierter Textanforderungen, Statusmaschinen und Blockdiagramme in einer vollständig integrierten Simulationsumgebung ermöglicht. Textanforderungen können auf jeder Ebene der funktionalen Architektur des Systems zugewiesen werden, während Statusmaschinen in der Regel zur Beschreibung von Ausführungsmodi oder Ausführungsabfolgen von atomaren Systemen verwendet werden.
Systemspezifikationen für Debugging und Tests
Mit STIMULUS können Sie die gesamte Systemspezifikation (Anforderungen, Statusmaschinen und Blockdiagramme) als Ganzes simulieren und Spezifikationsfehler vor der Konstruktionsphase ermitteln. Auf diese Weise erhalten Sie einen effektiven Anforderungsprozess und einen testgesteuerten Entwicklungsprozess. STIMULUS generiert viele Ausführungs-Traces, die die Systemspezifikationen erfüllen, und bietet leistungsstarke Debugging-Funktionen zur Analyse der Simulationsergebnisse für Anforderungen: Automatische Erkennung und Diagnose von widersprüchlichen und fehlenden Anforderungen, Abdeckung von Anforderungen, Hervorhebung aktiver Anforderungen, Signalüberwachung usw.