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).
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 à 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é.
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 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.
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 »
Massimiliano Campagnoli, Alenia Aermacchi
Obtenir une version d'essai gratuite
Profitez de 30 jours pour tester.
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 Campus-Wide License.