Seminar Cameo Systems Modeler / MagicDraw – Requirements Engineering, Traceability und Verifikation

Anforderungen werden erst steuerbar, wenn Herkunft, Ableitung, Architekturbezug, Änderungswirkung und Verifikationsnachweis geschlossen nachvollziehbar sind. Das Seminar baut eine vollständige Requirements- und Verification-Kette vom Stakeholderbedarf bis zum dokumentierten Test- oder Analyseergebnis auf.

Inhaltsübersicht

• Zielsetzung
• Zielgruppe
• Voraussetzungen
• Seminarinhalte
• Praxisübungen
• Methodik

Zielsetzung

• Anforderungen eindeutig, prüfbar und hierarchisch strukturiert modellieren
• Ableitung, Verfeinerung, Erfüllung und Verifikation korrekt verknüpfen
• Abdeckung, Lücken und Änderungsfolgen mit Tabellen und Matrizen analysieren
• Verifikationsfälle, Ergebnisse, Freigaben und Nachweise modellbasiert organisieren

Zielgruppe

Requirements Engineering, Systems Engineering, Systemarchitektur, Test und Verifikation, Qualitätsmanagement und Konfigurationsmanagement.

Voraussetzungen

SysML-Grundkenntnisse und sichere Bedienung von Cameo Systems Modeler. Verständnis des eigenen Anforderungs- und Verifikationsprozesses ist erforderlich.

Seminarinhalte

1. Schritt 1: Requirements-Prozess und Begriffe festlegen

   Anforderungsklassen, Quellen, Status, Verantwortlichkeiten, Baselines, Änderungsweg und Freigaben werden vereinheitlicht.

2. Schritt 2: Stakeholderbedürfnisse erfassen

   Quelle, Begründung, Anliegen, Priorität, Betriebsfall und Akzeptanzidee werden strukturiert dokumentiert.

3. Schritt 3: Anforderungen formulieren und klassifizieren

   Eindeutigkeit, Prüfbarkeit, atomare Aussage, Randbedingung, Leistung, Schnittstelle und Qualitätsmerkmal werden überprüft.

4. Schritt 4: Hierarchie und Ableitung aufbauen

   Containment, Ableitung, Verfeinerung, Wiederverwendung und Variantenbezug werden bewusst voneinander getrennt.

5. Schritt 5: Anforderungen mit Architektur verbinden

   Satisfy-, Allocate-, Trace- und Abhängigkeitsbeziehungen verknüpfen Anforderungen mit Funktionen, Schnittstellen und Komponenten.

6. Schritt 6: Änderungswirkung analysieren

   Quellen, abgeleitete Anforderungen, Architektur, Tests, Dokumente und externe Daten werden in einer Impact-Sicht verfolgt.

7. Schritt 7: Verifikationsstrategie planen

   Analyse, Inspektion, Demonstration und Test werden als Methoden mit Verantwortlichkeit, Umgebung und Akzeptanzkriterium festgelegt.

8. Schritt 8: Verifikationsfälle modellieren

   Testfall, Szenario, Vorbedingungen, Eingaben, erwartete Ergebnisse, Messgrößen und Abbruchkriterien werden strukturiert beschrieben.

9. Schritt 9: Traceability schließen

   Verify-Beziehungen, Testabdeckung, mehrfache Nachweise, nicht verifizierbare Anforderungen und offene Lücken werden geprüft.

10. Schritt 10: Ergebnisse und Abweichungen erfassen

    Durchführung, Ist-Ergebnis, Status, Evidenz, Abweichung, Wiederholung und Freigabe werden nachvollziehbar dokumentiert.

11. Schritt 11: Qualität mit Tabellen und Matrizen prüfen

    Anforderungsattribute, Status, Quellen, Satisfy- und Verify-Abdeckung werden in wiederverwendbaren Ansichten kontrolliert.

12. Schritt 12: Baseline und Änderungsprozess anwenden

    Freigabestand, Änderungsantrag, Bewertung, Umsetzung, Re-Verifikation und Auditnachweis werden an einem Beispiel durchgespielt.

Praxisübungen

• Einen kleinen Anforderungskatalog mit Qualitätsprüfung aufbauen
• Anforderungen mit Verhalten, Architektur und Schnittstellen verknüpfen
• Verifikationsfälle mit Akzeptanzkriterien und Ergebnissen modellieren
• Eine Traceability- und Impact-Analyse für eine Änderung durchführen

Methodik

Fachliche Einordnung, live geführte Demonstrationen, schrittweise Modellierungsübungen, gemeinsame Reviews und eine durchgängige Fallstudie. Jede Übung baut auf dem vorherigen Arbeitsschritt auf; Fehlerbilder und Qualitätskriterien werden unmittelbar ausgewertet.