Requirements Toolbox
Verfassen, Verknüpfen und Validieren von Anforderungen für Entwürfe und Tests
Haben Sie Fragen? Vertrieb kontaktieren.
Mit der Requirements Toolbox (ehemals Simulink Requirements™) können Sie Anforderungen in MATLAB oder Simulink verfassen, verknüpfen und validieren. Sie können mithilfe von Rich-Text Anforderungen mit benutzerdefinierten Attributen erstellen oder Anforderungen aus Anforderungsmanagement-Tools importieren.
Sie können Anforderungen mit MATLAB Programmcode, System Composer- oder Simulink-Modellen und Tests verknüpfen. Die Toolbox analysiert die Rückverfolgbarkeit, um Lücken bei der Implementierung oder bei Tests zu identifizieren. Hervorhebungen im Entwurf und die Rückverfolgbarkeitsmatrix fassen zusammen, an welchen Stellen Verknüpfungen zwischen mehreren Artefakten bestehen, und unterstützen Sie beim Schließen etwaiger Lücken. Wenn sich die Anforderungen ändern, werden verknüpfte Artefakte hervorgehoben, und Sie können die betroffenen vor- und nachgelagerten Artefakte mithilfe eines Rückverfolgbarkeitsdiagramms bestimmen. Der generierte Code aus Simulink-Entwürfen enthält Code-Kommentare, in denen dokumentiert wird, wo Anforderungen implementiert sind, um Überprüfungen zu erleichtern.
Sie können Anforderungen formalisieren und mithilfe der Anforderungstabelle auf Konsistenz, Vollständigkeit und Richtigkeit analysieren. Mithilfe von Requirements Perspective können Sie Anforderungen zusammen mit dem Entwurf ansehen und verwalten. Bei gleichzeitiger Verwendung mit Simulink können Sie ganz einfach per Drag and Drop Verknüpfungen zu Blöcken erstellen.
Unterstützung von Industriestandards wird mit dem IEC Certification Kit (für ISO 26262 und IEC 61508) und dem DO Qualification Kit (für DO-178) gewährleistet.
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.
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.
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.
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.
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.
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.
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.
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.
Produktressourcen:
„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.“
Kostenlose Testversion anfordern
30 Tage kostenlos ausprobieren.
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.
