Requirements Toolbox
Créer, lier et valider des exigences pour vos designs et vos tests
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).
Connecter des agents IA à Requirements Toolbox
Intégrez des capacités spécifiques à votre domaine, dans votre workflow d'IA agentique.
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.
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™.
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.
Modéliser des exigences formelles
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.
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.
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.
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.
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.
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, 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.
Ressources liées au produit :
« 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 »
FAQ sur Requirements Toolbox
Requirements Toolbox vous permet de rédiger, lier et valider des exigences dans MATLAB ou Simulink. Vous pouvez créer des exigences en utilisant du texte enrichi avec des attributs personnalisés ou les importer depuis des outils de gestion des exigences.
Requirements Toolbox s'adresse aux ingénieurs et aux équipes qui développent des systèmes, des algorithmes et des logiciels embarqués dans MATLAB et Simulink et qui doivent gérer les exigences dans le cadre de leur workflow de conception et de vérification. Il est idéal pour les équipes pratiquant la conception basée sur les modèles qui nécessitent la traçabilité entre exigences, modèles, code et tests, ainsi que pour les organisations qui collaborent avec des outils externes de gestion des exigences tels que DOORS, Jama ou Polarion tout en conservant le travail d'ingénierie dans MATLAB et Simulink.
Utilisez la Requirements Perspective pour consulter et gérer les exigences directement dans Simulink, en créant des liens par glisser‑déposer sans modifier le modèle. Des badges indiquent où des liens existent dans le modèle, et vous pouvez annoter les diagrammes avec des exigences.
Oui, vous pouvez importer et afficher des exigences depuis IBM Rational DOORS, IBM Rational DOORS Next, Microsoft Word, Microsoft Excel, ou utiliser le Requirements Interchange Format (ReqIF) pour échanger des exigences avec des outils comme Siemens Polarion ALM ou Jama Connect. Vous pouvez également utiliser le Polarion Connector for Simulink, développé et maintenu par Siemens.
Requirements Toolbox s'intègre dans les workflows régulés en prenant en charge la traçabilité des exigences, l'analyse d'impact et les preuves de vérification couramment exigées par des normes de sécurité telles que DO-178C, ISO 26262 et normes associées. Il permet aux équipes de lier les exigences aux modèles de conception, au code MATLAB et aux tests, d'analyser la couverture des exigences et d'évaluer l'impact des changements tout au long du cycle de développement. La toolbox prend également en charge la rédaction structurée des exigences, l'échange avec des outils ALM externes et la génération de rapports de traçabilité et d'état utilisés lors des revues et des audits.
Le bloc Requirements Table vous permet de spécifier des exigences formelles à l'aide d'expressions logiques dans Simulink. Vous pouvez valider formellement ces exigences et effectuer des analyses de correction, de cohérence et d'exhaustivité. Vous pouvez utiliser un Requirements Table dans un test harness pour définir des critères de réussite/échec pour les tests.
La toolbox crée un fil numérique de traçabilité reliant les exigences, les éléments de modèle, le code MATLAB, les dictionnaires de données, les cas de test et les test harness. La matrice de traçabilité et le diagramme de traçabilité aident à identifier les lacunes dans la mise en œuvre ou les tests et à visualiser les éléments liés.
Utilisez la matrice de traçabilité pour examiner les liens entre exigences, modèles et tests, en identifiant les lacunes de mise en œuvre et de test, les exigences manquantes et les erreurs de conception. Les métriques de couverture indiquent dans quelle mesure chaque exigence a été mise en œuvre et vérifiée.
Les modèles liés, le code MATLAB et les cas de test sont mis en évidence lorsque les exigences en amont changent, rendant visibles les incohérences potentielles. Vous pouvez utiliser les diagrammes de traçabilité pour visualiser les éléments affectés et comprendre les impacts en amont et en aval avant d'effectuer des mises à jour.
Oui, vous pouvez créer, gérer et parcourir des liens de traçabilité entre des lignes individuelles de votre code MATLAB, des informations d'exigences dans des documents externes et des cas de test dans MATLAB Test.
Oui, vous pouvez créer des rapports configurables incluant des liens, des informations sur les modifications, ainsi que l'état d'implémentation et de vérification pour les revues de conception ou la documentation. Le code généré à partir des conceptions Simulink inclut des commentaires de code documentant où les exigences sont implémentées.
Essayez Requirements Toolbox gratuitement
Découvrez nos produits.
Prêt à acheter ?
Découvrez les tarifs et les produits.
Vous êtes étudiant ?
Votre établissement propose peut-être déjà un accès à MATLAB, Simulink et d'autres produits complémentaires via la licence Campus-Wide.
