Ablauf 4: Manuelle und regelbasierte Verifizierung

Die folgenden zwei Abläufe ermöglichen es dem Benutzer, eine Verifizierung direkt aus dem Requirements Module einzurichten.

Manueller Verifizierungsablauf

Dieser Ablauf ermöglicht es dem Benutzer, direkt aus dem Requirements Module eine V&V-Aktivität zu einer Anforderung hinzuzufügen und den Status manuell zu aktualisieren.

Dazu können Sie im Requirements Module auf eine Zelle in der Spalte „V&V Activities“ doppelklicken und eine Aktivität erstellen.

Hier sehen Sie bereits hinzugefügte Aktivitäten sowie die Möglichkeit, bestehende Aktivitäten mit dieser Anforderung zu verknüpfen, indem Sie auf die Schaltfläche „Link Activity“ klicken.

Von hier aus können Sie über das Dropdown eine bestehende Aktivität auswählen und optional einen Block auswählen.

Danach können Sie den Status direkt manuell zuweisen oder über die dynamischen Links zur Aktivität oder zum Run springen.

Das Feld V&V Status einer Anforderung mit zugewiesenen V&V-Aktivitäten wird automatisch auf Grundlage des Status der V&V-Aktivitäten aktualisiert. Der Eintrag im Feld V&V Status der Anforderung wird wie folgt angezeigt:

• Not Verified – wenn keine zugewiesenen Aktivitäten den Status Verified haben.

• Partially Verified – wenn einige, aber nicht alle zugewiesenen Aktivitäten den Status Verified haben.

• Verified – wenn alle zugewiesenen Aktivitäten den Status Verified haben.

Außerdem werden in der Zelle Zahlen in der Form X/Y angezeigt, wobei X die Anzahl der zugewiesenen Aktivitäten mit dem Status Verified ist und Y die Gesamtzahl der zugewiesenen Aktivitäten.

Ablauf zur Regelverifizierung

Mit den Regeln können Benutzer über boolesche Ausdrücke einen Vergleich zwischen Systemdesign-Valis und Anforderungs-Valis herstellen (z. B. „Ist die Design-Masse kleiner als die maximal zulässige Anforderungsmasse?“).

Stellen Sie dafür sicher, dass Sie auf beiden Seiten Valis eingerichtet haben (im System Design Module und im Requirements Module). Um eine Regel einzurichten, doppelklicken Sie bei einer Anforderung auf eine Zelle in der Spalte „V&V Rules“.

Dadurch wird ein Fenster geöffnet, in dem die Regeln definiert werden können.

Um die Valis aufzurufen, geben Sie einfach das Dollarzeichen ($) ein. Dadurch wird ein Dropdown geöffnet, in dem Sie Valis auswählen und nach ihnen suchen können.

In diesem Fall vergleichen wir die tatsächliche Masse des Drohnenschwarms mit der durch die Anforderung definierten maximal zulässigen Masse.

In diesem Fall ist die Regel verifiziert, da 6 kg (Design-Masse) kleiner als 8 kg (maximale Anforderungsmasse) sind.