Principales fonctionnalités

  • Éditeur d'exigences permettant de créer, de modifier et d'organiser des exigences
  • Outil Requirements Perspective permettant d'afficher, de lier et de gérer des exigences dans l'éditeur graphique de Simulink®
  • Importation et synchronisation des exigences à partir d'outils tiers tels que Microsoft® Word® et Microsoft® Excel®
  • Suivi et différenciation des modifications permettant d'identifier et de gérer automatiquement les modifications apportées aux exigences
  • Métriques d'état consolidés pour l’implémentation et la vérification des exigences
  • Rapports documentant les attributs, la traçabilité et l'état des exigences
  • Traçabilité bidirectionnelle entre les exigences, les designs, le code généré et les tests

Simulink Requirements™ vous permet de travailler avec des exigences dans votre environnement Model-Based Design, pour pouvoir communiquer et tracer en toute simplicité les exigences avec vos designs, codes et tests. 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 relatives à la révision et les commentaires vous permettent d'affiner et de détailler vos exigences. Les attributs personnalisés vous permettent d'enrichir vos exigences avec vos propres types de données d'exigences.

L'éditeur d'exigences vous permet d'afficher, de créer et de gérer l'ensemble de vos exigences dans plusieurs modèles. Il inclut les éléments suivants :

  • Un navigateur d'exigences, qui permet d'organiser la hiérarchie des exigences
  • Une fonction d'affichage des liens, qui permet de gérer les liens dans l'ensemble du projet
  • Un inspecteur de propriétés, qui permet d'afficher et de modifier les détails des exigences et des liens
  • Des personnalisations, qui permettent de configurer l'affichage et le tri des colonnes
  • Un outil de recherche, qui permet de filtrer de grands ensembles d'exigences
  • Une fonction de génération de rapports, qui permet de documenter les exigences

Le navigateur d'exigences présente les exigences associées au modèle sous forme de tableau. Vous y trouverez un récapitulatif des informations relatives aux exigences telles que les attributs, l'état de l’implémentation et de la vérification. Les ensembles d'exigences vous permettent d'organiser vos exigences en hiérarchies, avec plusieurs niveaux d'imbrications. Par exemple, un ensemble d'exigences peut contenir des exigences utilisateur de haut niveau, et un autre des exigences logicielles. Un ensemble d'exigences est enregistré comme un fichier distinct, et vous pouvez utiliser Simulink Projects pour gérer les versions de ce fichier. Les liens sont enregistrés dans un fichier distinct, ce qui vous permet d'assurer la traçabilité entre les exigences, les designs et les tests sans avoir à modifier la source ou la destination.

Un éditeur d'exigences, qui permet de créer, de modifier et d'organiser vos exigences.


Travailler avec des exigences et des modèles

L'outil Requirements Perspective fournit une vue synthétique, où vous pouvez afficher, créer et organiser des exigences tout en menant à bien vos activités de design dans Simulink ou Stateflow®. Il inclut les éléments suivants :

  • Un navigateur d'exigences embarqué, qui permet d'afficher les exigences associées au modèle
  • Un inspecteur de propriétés des exigences, qui permet d'afficher et de modifier les détails d'une exigence ou d'un lien
  • Des badges, qui permettent d'indiquer les blocs ou les états contenant des liens vers des exigences
  • Des annotations, qui permettent d'afficher les détails des exigences sur le diagramme

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


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

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

La vue exigences vous permet de voir, éditer, lier et organiser des exigences depuis Simulink ou Stateflow.

Importer et synchroniser des exigences externes

Les exigences provenant d'autres sources, par exemple IBM Rational DOORS, Microsoft Word ou Microsoft Excel, peuvent être importées en tant que références 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 tiers supportant ce format. Pendant l'import, 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'import 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.

Vous pouvez lier et tracer des éléments de modèle Simulink vers des exigences dans IBM® Rational® DOORS® ou IBM® Rational® DOORS® Next Generation.

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


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. Pour chaque exigence et chaque lien, un historique des révisions indiquant à quel moment les modifications ont été apportées est mis à jour. 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.


Tracer des exigences dans des designs, du code et des tests

La traçabilité des exigences avec d'autres outils du cycle de vie de développement est assurée, y compris les outils de génération de code et de test pour la navigation bidirectionnelle à partir des exigences, les outils de design, d’implémentation et de test. Vous pouvez lier des exigences à des cas 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 gestionnaire de tests. Le code généré à partir d'Embedded Coder®, d'HDL Coder™ ou de Simulink PLC Coder™ peut faire l'objet d'hyperliens depuis le rapport de génération de code vers les exigences. 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.

Avec DO Qualification Kit (pour DO-178) et IEC Certification Kit (pour ISO 26262 et IEC 61508), vous avez la possibilité de générer une feuille de calcul avec une matrice de traçabilité indiquant les chemins de traçabilité bidirectionnels exigences-modèle-code et répertoriant les informations relatives au fichier.

Traçabilité entre les exigences, les objets Simulink et Stateflow et les artefacts de test tout au long du cycle de vie de développement à des fins d'analyse d’impact et de documentation.


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


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

Simulink Requirements fournit l'état de l’implémentation et de la vérification des exigences dans Simulink afin d'identifier les failles dans l’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.

Ces métriques de traçabilité et de vérification permettent de quantifier la réalisation de vos activités de développement dans le Model-Based Design. Les métriques d'état sont affichés sous la forme d'une colonne dans le navigateur d'exigences, les états étant indiqués par des couleurs. 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 sont elles-mêmes implémentées ou vérifiées. Survoler l'état avec la souris permet d'afficher les métriques cumulées 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.

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


Générer des rapports sur les exigences

Il est possible de documenter les exigences au moyen d'un rapport généré à partir de l'éditeur d'exigences. Ce rapport peut contenir les détails de l'exigence, y compris la justification, les mots-clés, les attributs personnalisés, les informations relatives à la révision, les liens, les commentaires ainsi que l'état d’implémentation et de vérification. Vous pouvez utiliser Simulink Report Generator™ pour créer des rapports personnalisables incluant les exigences, le design et les tests.