Requirements Toolbox
Créer, lier et valider des exigences pour vos designs et vos tests
Vous avez des questions ? Contacter un commercial.
Vous avez des questions ? Contacter un commercial.
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).
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.
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™.
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.
Définissez des exigences formelles en utilisant des expressions logiques avec le bloc Requirements Table (3:53) 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é. Générez des tests liés aux exigences correspondantes avec Simulink Design Verifier.
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.
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.
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.
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.
Créez, gérez et parcourez des liens de traçabilité entre les lignes de votre code MATLAB, les informations sur les exigences contenues dans des documents externes et les cas de test dans MATLAB Test. Mettez en surbrillance la traçabilité dans l'éditeur MATLAB pour identifier les lacunes dans l'implémentation et les tests.
« 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
Profitez de 30 jours pour tester.
Découvrez les tarifs et les produits.
Votre établissement propose peut-être déjà un accès à MATLAB, Simulink et d'autres produits complémentaires via la licence Campus-Wide.