Requirements Toolbox

Créer, lier et valider des exigences pour vos designs et vos tests

Requirements Toolbox™ (anciennement Simulink Requirements™) vous permet de créer, de lier et de valider des exigences dans MATLAB^® ou Simulink^®. Vous pouvez créer des exigences en utilisant du texte enrichi avec des attributs personnalisés ou en importer à partir d’outils de gestion des exigences.

Vous pouvez lier des exigences à du code MATLAB, des modèles System Composer™ ou Simulink, ainsi qu’à des tests. La toolbox analyse la traçabilité pour identifier les lacunes existantes dans l'implémentation ou les tests. La mise en surbrillance des éléments du design et la matrice de traçabilité vous indiquent les liens existants entre différents artefacts et vous guident pour combler les lacunes éventuelles. Lorsque des exigences sont modifiées, les artefacts liés sont mis en surbrillance et il vous suffit d'utiliser un diagramme de traçabilité pour déterminer, en aval comme en amont, les artefacts affectés. Le code généré à partir des designs Simulink contient des commentaires de code qui vous indiquent où sont implémentées les exigences afin de faciliter les revues.

Vous pouvez formaliser les exigences et analyser leur cohérence, leur exhaustivité et leur justesse à l'aide de la Requirements Table. La Requirements Perspective vous permet de visualiser et de gérer les exigences en même temps que le design. Si vous l'utilisez avec Simulink, vous pouvez créer des liens avec des blocs d'un simple glisser-déposer.

Le support des normes industrielles est assuré via l'IEC Certification Kit (for ISO 26262 and IEC 61508) et le DO Qualification Kit (for DO-178).

Introduction à Requirements Toolbox

L'application Requirements Editor affichant une feuille de calcul récapitulant les exigences et les attributs détaillés dans la fenêtre du Property Inspector.

Créer et organiser des exigences

Définissez vos exigences avec du texte enrichi, des attributs personnalisés et des mots-clés. Organisez vos exigences en hiérarchies pour définir les fonctionnalités au niveau système ou au niveau inférieur.

Ingénierie système – Concevoir et analyser des architectures systèmes et logicielles (28:16)

Documentation | Exemples

Diagramme de workflow montrant des exigences définies dans des outils externes importées dans Requirements Toolbox ; les liens entre les exigences et le code MATLAB, les designs Simulink et les tests ; et la traçabilité vers les outils externes.

Intégrer des outils tiers de gestion des exigences

Importez et visualisez des exigences provenant d'autres sources, comme IBM^® DOORS^®, IBM DOORS Next, Microsoft^® Word ou Microsoft Excel^®. Utilisez le Requirements Interchange Format (ReqIF™) pour échanger des exigences avec des outils supportant ce format, comme Siemens Polarion^® ALM™ ou encore Jama Connect™.

Documentation | Exemples

La matrice de traçabilité affiche les exigences sur la gauche et les cas de test de Simulink Test en haut. Une cellule de la matrice est sélectionnée et une fenêtre pop-up affiche l'exigence et le cas de test, avec la possibilité de créer un lien.

Tracer les exigences dans les designs, le code et les tests

Créez un lien numérique qui relie les exigences, les éléments du modèle, le code MATLAB, les dictionnaires de données, les cas de test et les harnais de test. Tracez-les exigences dans les outils de gestion externes. Intégrez des liens dans les rapports de génération de code depuis Embedded Coder™.

Gérer les processus de test basé sur des exigences avec le Model Testing Dashboard (5:13)

Documentation | Exemples

Le bloc Requirements Table d'un modèle affichant un tableau des préconditions, postconditions et actions pour les exigences avec des expressions logiques.

Modéliser des exigences formelles

Définissez des exigences formelles à l'aide d'expressions logiques avec le bloc Requirements Table dans Simulink. Utilisez la simulation pour les valider et effectuez une analyse de leur justesse, cohérence et exhaustivité. Liez-les aux modèles de design pour vérifier leur conformité.

Comment modéliser des exigences complètes et cohérentes ? (9:03)

Documentation | Exemples

Requirements Perspective montrant les exigences associées à un modèle de régulateur de vitesse automobile, leurs descriptions visibles sur le modèle, ainsi que leurs détails et leurs liens dans la fenêtre du Property Inspector.

Travailler simultanément avec les exigences et le design

Utilisez Requirements Perspective pour afficher, créer et organiser vos exigences directement dans les éditeurs de Simulink, System Composer ou Stateflow^®. Créez des liens par glisser-déposer sans modifier le modèle, utilisez des badges pour localiser les liens dans le modèle et annotez les diagrammes avec des exigences.

Travailler avec les exigences et le design dans Requirements Perspective (2:36)

Documentation | Exemples

Tableau des exigences pour un régulateur de vitesse automobile avec des barres de couleur reflétant l'avancée de l'implémentation et de la vérification pour chaque exigence, ainsi qu'une info-bulle affichant les mesures de couverture d'une exigence donnée.

Analyser la couverture des exigences

Identifiez les lacunes dans l'implémentation et les tests, les exigences manquantes et les erreurs de design. Utilisez la matrice de traçabilité pour examiner les liens créés entre de grands ensembles d'exigences, des modèles et des tests, puis combler les lacunes par l'ajout de nouveaux liens.

Comment analyser les exigences pour des éléments d'architecture avec Simulink Requirements (1:05)

Documentation | Exemples

La vue des liens dans Requirements Editor mettant en surbrillance les modifications dans les exigences et les cas de test.

Identifier l'impact des modifications

Découvrez l'impact des modifications dans les exigences et les cas de test de Simulink Test™ en examinant les éléments liés mis en surbrillance. Créez un diagramme de traçabilité pour visualiser et accéder aux éléments liés.

Documentation | Exemples

Une vue web Simulink d'un modèle de régulateur de vitesse automobile montrant les informations sur les exigences liées.

Générer des rapports sur les exigences

Créez des rapports configurables comprenant les liens, les informations sur les modifications, ainsi que l'état d'implémentation et de vérification. Utilisez ces rapports pour vos revues de design ou votre documentation.

Documentation | Exemples

Le Requirements Editor, avec des flèches partant des exigences vers deux fenêtres d'édition MATLAB, dont un test unitaire MATLAB.

Tracer les exigences dans le code et les tests MATLAB

Créez, gérez et parcourez des liens de traçabilité entre les lignes de votre code MATLAB et les information sur les exigences contenues dans des documents externes. Mettez en surbrillance la traçabilité dans l'éditeur MATLAB pour identifier les lacunes dans l'implémentation et les tests.

Documentation | Exemples

Ressources liées au produit :

Documentation Exemples de code Vidéos Configuration requise pour le produit Notes de version

Alenia Aermacchi développe un logiciel de pilotage automatique pour la certification DO-178B DAL A

« Dans nos projets précédents, l'analyse de la couverture des exigences était effectuée manuellement et se fondait sur une évaluation subjective. Simulink, Simulink Coverage et Requirements Toolbox nous ont permis d'automatiser cette analyse et nous ont proposé des mesures objectives de couverture, ce qui nous a aidé à réduire d'environ 30 % nos délais de revue des exigences pour la certification »
Massimiliano Campagnoli, Alenia Aermacchi

Voir d'autres témoignages de clients