Anforderungsbasierte Systementwicklung

Erkennen falscher, fehlender und widersprüchlicher Anforderungen vor Konstruktionsbeginn

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.

Textanforderungen

STIMULUS bietet Sprachvorlagen-Bibliotheken, die gängige Branchenpraktiken zum Verfassen von klaren und standardisierten Systemanforderungen unterstützen.

Statusmaschinen

STIMULUS bietet Maschinen mit hierarchischem Status, die einfach mit Textanforderungen kombiniert werden können, um das erwartete Systemverhalten für jeden Ausführungsmodus festzulegen.

Blockdiagramme

STIMULUS bietet Blockdiagramme, die eine Beschreibung von Funktions- oder Systemarchitekturen ermöglichen. Auf jeder Systemebene können Anforderungen verfeinert und Subsystemen zugeordnet 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.

Widersprüchliche Anforderungen

Bei der Simulation erkennt der STIMULUS Solver Konflikte zwischen Anforderungen. Wenn zu einem bestimmten Zeitpunkt ein Konflikt auftritt, stoppt der Simulator, um die verschiedenen widersprüchlichen Anforderungen hervorzuheben.

Fehlende Anforderungen

Zum Zeitpunkt der Simulation erkennt STIMULUS fehlende Anforderungen oder, genauer gesagt, Zeitpunkte, wenn eine Systemausgabe nicht durch eine Anforderung definiert ist, die im Simulationsfenster mit gestrichelten Linien dargestellt wird.

Anforderungsabdeckung

Wenn die Anforderungen in Beobachter umgewandelt werden, misst STIMULUS ihre funktionale Abdeckung. Eine Anforderung gilt als abgedeckt, wenn sie seit Beginn der Simulation mindestens einmal aktiviert wurde.

STIMULUS in Aktion: Anforderungssimulation

Die Abbildung unten zeigt einen STIMULUS Screenshot, bei dem die Anforderungssimulation zu Konflikten führt. Sobald STIMULUS den Konflikt erkannt hat, kann er mithilfe der Debugging-Funktionen analysiert werden (Rückwärtssimulation, Hervorhebung der Anforderungen, Signalüberwachung usw.).