Requirements Toolbox

 

Requirements Toolbox

Verfassen, Verknüpfen und Validieren von Anforderungen für Entwürfe und Tests

Dauer des Videos 2:25

KI-Agenten mit Requirements Toolbox verbinden

Integrieren Sie domänenspezifische Funktionen in Ihren Agentic-AI-Workflow.

Die Requirements Editor-App zeigt eine Tabelle mit einer Zusammenfassung der Anforderungen und detaillierten Attribute im Property Inspector-Fenster.

Erstellung und Organisation von Anforderungen

Definieren Sie Anforderungen mithilfe von Rich-Text, benutzerdefinierten Attributen und Schlüsselwörtern. Stellen Sie Anforderungshierarchien zusammen, um Funktionen auf System- oder niedrigerer Ebene festzulegen.

Ein Workflow-Diagramm zeigt Anforderungen aus externen Tools, die in die Requirements Toolbox importiert wurden, Verknüpfungen zwischen Anforderungen und MATLAB Programmcode, Simulink-Entwürfen und Tests sowie die Rückverfolgbarkeit zu den externen Tools.

Integration von Anforderungstools von Drittanbietern

Importieren Sie Anforderungen aus anderen Quellen, wie z. B. IBM® DOORS®, IBM DOORS Next, Microsoft® Word oder Microsoft Excel®, und zeigen Sie sie an. Nutzen Sie das Requirements Interchange Format (ReqIF™) zum Austausch der Anforderungen mit externen Tools, die dieses Format unterstützen, z. B. Siemens Polarion® ALM™ oder Jama Connect™.

Rückverfolgung von Anforderungen zu Entwürfen, Code und Tests

Erstellen Sie einen digitalen roten Faden, der Anforderungen, Modellelemente, MATLAB Programmcode, Data-Dictionaries, Testfälle und Test-Harnesses miteinander verknüpft. Führen Sie die Rückverfolgung zu externen Anforderungstools durch. Integrieren Sie Links in Codegenerierungs-Berichte aus Embedded Coder.

Der Anforderungstabellenblock innerhalb eines Modells zeigt eine Tabelle mit Anforderungsvoraussetzungen, Nachbedingungen sowie Aktionen mit Ausdrücken.

Modellierung formaler Anforderungen

Legen Sie formale Anforderungen mithilfe logischer Ausdrücke mit dem Anforderungstabellen-Block (3:53) in Simulink fest. Nutzen Sie Simulationen zur Validierung dieser formalen Anforderungen und analysieren Sie sie auf Richtigkeit, Konsistenz und Vollständigkeit. Binden Sie formale Anforderungen an Entwurfsmodelle, um die Compliance zu überprüfen. Generieren Sie mit Simulink Design Verifier Tests mit Links zu den entsprechenden Anforderungen.

Die Requirements Perspective zeigt Anforderungen, die dem Modell einer automatischen Geschwindigkeitsregelung in einem Auto zugewiesen sind. Ihre Beschreibung ist auf dem Modell zu sehen, ihre Details und Links im Property Inspector-Fenster.

Gleichzeitiges Arbeiten mit Anforderungen und Entwürfen

Nutzen Sie die Requirements Perspective zum Ansehen, Verfassen und Organisieren von Anforderungen direkt in Simulink-, System Composer- oder Stateflow-Editoren. Erstellen Sie Links per Drag and Drop, ohne das Modell zu verändern, verwenden Sie Badges um anzuzeigen, wo Links im Modell vorhanden sind, und beschriften Sie Diagramme mit Anforderungen.

Eine Tabelle von Anforderungen für einen Geschwindigkeitsregler in einem Automobil. Farbige Balken zeigen, wie viel von jeder Anforderung bereits implementiert und überprüft wurde, und ein Tooltip zeigt die Abdeckungsmetriken für eine bestimmte Anforderung.

Analyse der Anforderungsabdeckung

Identifizieren Sie Lücken in Implementierungen und Tests, fehlende Anforderungen sowie Entwurfsfehler. Überprüfen Sie mithilfe der Rückverfolgbarkeitsmatrix die Links zwischen großen Mengen von Anforderungen, Modellen und Tests und fügen Sie anschließend Links hinzu, um Lücken zu schließen.

Die Link-Ansicht im Requirements Editor zeigt Änderungen bei Anforderungen und Testfällen.

Identifizieren der Auswirkungen von Änderungen

Erkennen Sie die Auswirkungen von Änderungen an Anforderungen oder Testfällen in Simulink Test durch Überprüfung der gekennzeichneten verknüpften Elemente. Erstellen Sie ein Rückverfolgbarkeitsdiagramm zur Visualisierung von und Navigation zu verknüpften Elementen.

Eine Simulink Web-Ansicht eines Geschwindigkeitsreglermodells in einem Automobil zeigt Informationen zu verknüpften Anforderungen.

Generieren von Anforderungsberichten

Erstellen Sie konfigurierbare Berichte mit Links, Änderungsinformationen sowie dem Implementierungs- und Verifikationsstatus. Nutzen Sie die Berichte für Entwurfsprüfungen oder zu Dokumentationszwecken.

Der Requirements Editor mit Pfeilen von Anforderungen zu zwei MATLAB-Editorfenstern, eins davon für einen MATLAB-Modultest.

Rückverfolgung von Anforderungen zu MATLAB Programmcode und Tests

Erstellen, verwalten und verwenden Sie Rückverfolgbarkeits-Links zwischen einzelnen Zeilen in Ihrem MATLAB Programmcode und Anforderungsinformationen in externen Dokumenten und Testfällen in MATLAB Test. Kennzeichnen Sie die Rückverfolgbarkeit im MATLAB-Editor, um Implementierungs- oder Testlücken zu identifizieren.

„In früheren Projekten wurde die Anforderungsabdeckung manuell und anhand einer subjektiven Beurteilung analysiert. Simulink, Simulink Coverage und Requirements Toolbox haben es uns ermöglicht, diese Analyse zu automatisieren, und uns objektive Abdeckungsmetriken zur Verfügung gestellt, mit denen wir die Anforderungsüberprüfung für die Zertifizierung um bis zu 30% verkürzen konnten.“

Requirements Toolbox – Häufig gestellte Fragen

Die Requirements Toolbox ermöglicht es Ihnen, Anforderungen innerhalb von MATLAB oder Simulink zu erstellen, zu verknüpfen und zu verifizieren. Sie können Anforderungen mit Richtext und benutzerdefinierten Attributen anlegen oder sie aus Anforderungsmanagement‑Tools importieren.

Die Requirements Toolbox richtet sich an Ingenieure und Teams, die Systeme, Algorithmen und Embedded‑Software in MATLAB und Simulink entwickeln und Anforderungen als Teil ihres Entwurfs‑ und Verifikations‑Workflows verwalten müssen. Es ist ideal für Teams, die modellbasierte Entwicklung praktizieren und die Traceability zwischen Anforderungen, Modellen, Code und Tests benötigen, sowie für Organisationen, die mit externen Anforderungswerkzeugen wie DOORS, Jama oder Polarion zusammenarbeiten und gleichzeitig ihre Ingenieursarbeit in MATLAB und Simulink behalten.

Verwenden Sie die Requirements Perspective, um Anforderungen direkt in Simulink anzuzeigen und zu verwalten; Links lassen sich per Drag & Drop erstellen, ohne das Modell zu verändern. Markierungen zeigen an, wo im Modell Verknüpfungen bestehen, und Sie können Diagramme mit Anforderungen annotieren.

Ja. Sie können Anforderungen aus IBM Rational DOORS, IBM Rational DOORS Next, Microsoft Word oder Microsoft Excel importieren und anzeigen oder das Requirements Interchange Format (ReqIF) verwenden, um Anforderungen mit Werkzeugen wie Siemens Polarion ALM oder Jama Connect auszutauschen. Zudem steht der Polarion Connector for Simulink zur Verfügung, der von Siemens entwickelt und gepflegt wird.

Die Requirements Toolbox lässt sich in regulierte Workflows integrieren, indem es Traceability, Auswirkungsanalysen und Verifikationsnachweise unterstützt, wie sie häufig von Sicherheitsstandards wie DO-178C, ISO 26262 und verwandten Normen gefordert werden. Es ermöglicht Teams, Anforderungen mit Entwurfsmodellen, MATLAB‑Code und Tests zu verknüpfen, die Abdeckung von Anforderungen zu analysieren und die Auswirkungen von Änderungen über den gesamten Entwicklungslebenszyklus zu bewerten. Die Toolbox unterstützt außerdem die strukturierte Erstellung von Anforderungen, den Austausch mit externen ALM‑Tools und die Erzeugung von Traceability‑ und Statusberichten, die in Reviews und Audits verwendet werden.

Der Requirements Table‑Block ermöglicht es, formale Anforderungen mithilfe logischer Ausdrücke in Simulink zu spezifizieren. Sie können diese Anforderungen formal verifizieren und Analysen zur Korrektheit, Konsistenz und Vollständigkeit durchführen. Eine Requirements Table können Sie innerhalb eines Test Harnesses verwenden, um Pass/Fail‑Kriterien für Tests zu definieren.

Die Requirements Toolbox erstellt einen digitalen Faden, der Anforderungen, Modellelemente, MATLAB‑Code, Datenwörterbücher, Testfälle und Test Harnesses verknüpft. Die Traceability‑Matrix und das Traceability‑Diagramm helfen dabei, Lücken in der Implementierung oder beim Testen zu erkennen und verknüpfte Elemente zu visualisieren.

Verwenden Sie die Traceability‑Matrix, um die Verknüpfungen zwischen Anforderungen, Modellen und Tests zu überprüfen und Lücken in Implementierung und Test, fehlende Anforderungen sowie Designfehler zu identifizieren. Abdeckungsmetriken zeigen, inwieweit jede Anforderung implementiert und verifiziert wurde.

Verknüpfte Modelle, MATLAB‑Code und Testfälle werden hervorgehoben, wenn sich übergeordnete Anforderungen ändern, sodass mögliche Inkonsistenzen sichtbar werden. Mit Traceability‑Diagrammen können Sie betroffene Elemente visualisieren und die Auswirkungen stromauf‑ und stromabwärts verstehen, bevor Sie Änderungen vornehmen.

Ja. Sie können Traceability‑Verknüpfungen zwischen einzelnen Zeilen Ihres MATLAB‑Codes, Anforderungsinformationen in externen Dokumenten und Testfällen in MATLAB Test erstellen, verwalten und darauf navigieren.

Ja. Sie können konfigurierbare Berichte erstellen, die Links, Änderungsinformationen sowie den Implementierungs‑ und Verifizierungsstatus für Design‑Reviews oder Dokumentationen enthalten. Aus Simulink‑Entwürfen erzeugter Code enthält Codekommentare, die dokumentieren, wo Anforderungen implementiert sind.

Requirements Toolbox kostenlos ausprobieren

Entdecken Sie noch heute die Möglichkeiten.


Bereit zum Kauf?

Angebot anfordern und Erweiterungsprodukte entdecken.

Studieren Sie?

Ihre Hochschule bietet möglicherweise bereits Zugang zu MATLAB, Simulink und Add-on-Produkten über eine Campus-Wide License.