Simulink Requirements

 

Simulink Requirements

Créer, gérer et tracer des exigences dans les modèles, le code généré et les cas de test

En savoir plus :

Créer et organiser des exigences

Créez des exigences avec du texte enrichi et des attributs spécifiques, puis organisez-les en ensembles d'exigences.

Capturer des exigences

Les exigences et leurs justifications peuvent être décrites avec du texte enrichi (images, listes numérotées et puces, par exemple). D'autres attributs comme les identifiants, les mots-clés, les informations de version et les commentaires vous permettent d'affiner et de détailler vos exigences. Vous pouvez créer vos propres attributs personnalisés pour détailler davantage les exigences avec vos propres types de données d'exigences.

L’outil Requirements Editor permet de créer, de modifier et d'organiser vos exigences.

L’outil Requirements Editor permet de créer, de modifier et d'organiser vos exigences.

Gérer toutes vos exigences dans l'ensemble de votre projet

L'outil Requirements Editor vous permet d'afficher, de créer et de gérer toutes vos exigences dans l'ensemble de votre projet. Il inclut les éléments suivants :

  • Un navigateur d'exigences pour organiser la hiérarchie des exigences
  • Une fonction d'affichage des liens pour les gérer dans l'ensemble du projet
  • L’outil Property Inspector pour afficher et modifier les détails des exigences et des liens
  • Des personnalisations pour configurer l'affichage et le tri des colonnes
  • Un outil de recherche pour filtrer des ensembles d'exigences volumineux
  • Une fonction de génération de rapports pour documenter les exigences

Travailler avec des exigences et des modèles

Créez, affichez, organisez et gérez des exigences tout en effectuant des activités de design.  Tracez les exigences dans le design avec la fonction de glisser-déposer et identifiez les lacunes de votre implémentation dans l’environnement de modélisation. 

Vue intégrée des exigences, de l'architecture et du design

L'outil Requirements Perspective offre une vue intégrée dans SimulinkSystem Composer ou Stateflow® dans laquelle vous pouvez afficher, créer et organiser des exigences tout en effectuant vos activités de design.

L'outil Requirements Perspective permet de gérer les exigences dans votre environnement de développement Simulink.

L'outil Requirements Perspective permet de gérer les exigences dans votre environnement de développement Simulink.

Support du Model-Based Systems Engineering

Tout en développant des modèles d'architecture dans System Composer, vous pouvez directement capturer, afficher et gérer les exigences système avec Simulink Requirements. Les exigences système peuvent être reliées à différents éléments du modèle d'architecture afin de créer un lien numérique entre les exigences et l'architecture. La complétude de l'architecture peut être vérifiée grâce à l'analyse de couverture des exigences. Lors de l'analyse du modèle d'architecture, des exigences supplémentaires peuvent être dérivées et liées au modèle.

Assurer la traçabilité avec la fonction de glisser-déposer.

Vous pouvez créer des liens entre les exigences et votre design en faisant glisser une exigence à partir du navigateur d'exigences et en la déposant dans des objets de modèle de System Composer, Simulink ou Stateflow. Un badge apparaît alors sur l'objet du modèle pour indiquer l'existence d'un lien et permettre d'accéder à l'exigence ainsi liée. Vous pouvez choisir d'afficher l'exigence et son connecteur sur le diagramme de modèle à partir du badge.

Importer et synchroniser des exigences externes

Les exigences provenant d'autres sources, comme IBM Rational DOORS, Microsoft Word ou Microsoft Excel, peuvent être importées en tant que références accessibles en lecture seule ou pour modification ultérieure dans Simulink. Vous pouvez utiliser le format ReqIF (Requirements Interchange Format) pour importer et travailler avec les exigences d'outils de gestion des exigences tiers supportant ce format, comme Siemens Polarion® ALM™ ou Jama Connect™. Pendant l'importation, vous avez la possibilité de contrôler le mapping des champs provenant du document externe dans Simulink Requirements. Dans un souci de correspondance avec le contenu du document externe, vous pouvez spécifier l'importation de champs mappés vers des attributs personnalisés. La cohérence avec les exigences référencées est préservée grâce à une opération de synchronisation. En cas de modification d'une exigence, une notification vous est envoyée pour vous permettre d'évaluer l'impact de cette modification.

Visualiser les exigences d'autres outils et utilisez le format ReqIF pour afficher les mises à jour et les liens dans les autres outils

Visualiser les exigences d'autres outils et utilisez le format ReqIF pour afficher les mises à jour et les liens dans les autres outils

Identifier les modifications et y répondre

Lorsque des modifications sont apportées à une exigence, il est important de les communiquer à l'ensemble des membres de l'équipe afin d'éviter les erreurs en aval. Chaque exigence et chaque lien a un historique de révision indiquant à quel moment les modifications ont été apportées. Simulink Requirements détecte les modifications dans les exigences liées à des modèles, y compris dans celles qui sont importées à partir de sources externes, ce qui vous permet d'évaluer l'impact des modifications sur vos designs et de prendre les mesures appropriées. Vous pouvez effectuer une opération de différenciation sur un ensemble d'exigences pour afficher les modifications apportées aux exigences.

Détection des modifications qui vous alerte en cas de modification des exigences importées à partir de documents externes.

Détection des modifications qui vous alerte en cas de modification des exigences importées à partir de documents externes. 

Tracer des exigences dans le design, le code et les tests

Établissez un lien numérique en créant des liens entre les exigences et les éléments du modèle, le code MATLAB, les dictionnaires de données, les éléments Stateflow, les modèles d'architecture System Composer et d'autres exigences. Vous pouvez lier des exigences à des cas de test, des harnais de test, des suites de tests et des séquences de test dans Simulink Test™, et accéder aux liens depuis le modèle Simulink ou le Test Manager. Le code généré à partir d'Embedded Coder®, d'HDL Coder™ ou de Simulink PLC Coder™ peut être relié aux exigences avec des hyperliens dans le rapport de génération de code. Ces liens sont présentés comme des commentaires dans le code. Les hyperliens du rapport de génération de code permettent de naviguer directement depuis le code vers les exigences.

Vous pouvez lier et tracer des éléments du modèle Simulink par rapport aux exigences dans IBM® Rational® DOORS® ou IBM® Rational® DOORS® Next Generation.

Avec le DO Qualification Kit (for DO-178 and DO-254) et l'IEC Certification Kit (for ISO 26262 and IEC 61508), vous pouvez générer une matrice de traçabilité indiquant les chemins de traçabilité bidirectionnelle exigences-modèle-code et répertoriant les informations relatives aux fichiers.

Tracer des exigences dans System Composer, Simulink, Stateflow, du code MATLAB et des artefacts de test pour l'analyse et la documentation de l'impact.

Tracer des exigences dans System Composer, Simulink, Stateflow, du code MATLAB et des artefacts de test pour l'analyse et la documentation de l'impact.

Suivre l'état des activités de Model-Based Design

Afficher l'état de l’implémentation et de la vérification

Simulink Requirements montre l'état d'implémentation et de vérification des exigences afin d'identifier les lacunes d'implémentation, les exigences manquantes ou les erreurs dans le design. Les métriques d’implémentation et de vérification permettent de quantifier la proportion des exigences à avoir été implémentées dans le design et associées à des cas de test, ainsi que la proportion de cas de test réussis.

Les métriques de couverture des exigences sont affichées en colonne dans le navigateur d'exigences avec des couleurs indiquant leur état. Une exigence ayant des sous-exigences n'est entièrement implémentée ou vérifiée qu'une fois que toutes ses sous-exigences le sont elles-mêmes. Survoler l'état avec la souris permet d'afficher les indicateurs cumulés des exigences et de leurs sous-exigences. S'il manque des liens dans l'état, cette opération vous indique également où l’implémentation ou la vérification doit être effectuée.

Il est possible de lier des justifications à des exigences qui ne sont pas implémentées ou vérifiées dans le modèle. Par exemple, une exigence non fonctionnelle peut être liée à une justification pour pouvoir la filtrer à partir de l'état. Un ensemble commun de justifications peut être partagé et réutilisé dans le modèle.

Voir l'état d’implémentation et de vérification, pour une meilleure compréhension de l'état du projet.

Voir l'état d’implémentation et de vérification, pour une meilleure compréhension de l'état du projet. 

Matrice de traçabilité des exigences

Afin de gérer les liens entre des ensembles d'exigences, de modèles et de tests volumineux, la matrice de traçabilité résume la traçabilité dans une vue matricielle consolidée.  Chaque cellule indique s'il existe des liens entre les artefacts pour identifier les lacunes. En utilisant des filtres, vous pouvez réduire la vue pour vous concentrer sur des éléments d'intérêt spécifiques afin de gérer des ensembles de données volumineux. Vous pouvez mettre en surbrillance les éléments où il manque des liens et afficher les liens comprenant des modifications d'exigences pour comprendre l'impact des modifications. Pour corriger les lacunes de couverture, vous pouvez ajouter des liens entre les éléments directement dans la matrice de traçabilité.

Gérer plusieurs liens et suivez les modifications dans les exigences sur une même vue grâce à une matrice de traçabilité

Gérer plusieurs liens et suivez les modifications dans les exigences sur une même vue grâce à une matrice de traçabilité

Générer des rapports sur les exigences

Pour les revues et la documentation, vous pouvez créer un rapport configurable qui inclut les liens, les informations de modification, ainsi que les états d'implémentation et de vérification. Simulink Report Generator vous permet de créer des rapports personnalisés.