Simulink Requirements

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

 

Simulink Requirements vous permet de créer, analyser et gérer des exigences dans Simulink®. Vous pouvez créer des exigences textuelles enrichies avec des attributs personnalisés, puis les lier à des designs, du code et des tests. Il est possible d'importer des exigences depuis des sources externes, et vous pouvez recevoir une notification automatique en cas de modification des exigences. Vous pouvez afficher les exigences et le design simultanément, créer des liens avec la fonction de glisser-déposer, annoter les diagrammes avec le contenu des exigences, analyser la traçabilité des exigences et naviguer entre les exigences, les designs, le code généré et les tests.

Simulink Requirements indique quand des modifications sont apportées aux exigences, designs ou tests liés. Il calcule l'état d’implémentation et de vérification de vos exigences, ce qui vous permet d'évaluer la réalisation du projet. Le support des normes industrielles est assuré via l'IEC Certification Kit (ISO 26262 et IEC 61508)  et le DO Qualification Kit (DO-178).

En savoir plus :

Créer et organiser des exigences dans Simulink

Créez des exigences dans Simulink avec du texte enrichi, et organisez-les en ensembles d'exigences.

Capturer des exigences dans Simulink

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. Les attributs personnalisés vous permettent d'enrichir vos 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.

Gérer toutes vos exigences dans plusieurs modèles

L’outil Requirements Editor 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 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 de grands ensembles d'exigences
  • 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 conception.  Tracez des exigences par rapport à des conceptions à l'aide de la fonction de glisser-déposer et identifiez les failles dans votre environnement de modélisation. 

Vue intégrée des exigences, de l'architecture et de la conception

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 conception.

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

Support de Model-Based Systems Engineering

Associez des éléments de modèle d'architecture dans System Composer à des exigences, évaluez l'exhaustivité de l'architecture et dérivez des exigences supplémentaires.

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

Vous pouvez créer des liens entre des exigences et votre conception en faisant glisser une exigence depuis le navigateur d'exigences sur des objets de modèle Simulink ou Stateflow. Un badge apparaît sur l'objet de 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.

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'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.

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 versions 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.

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

La traçabilité des exigences avec d'autres outils utilisés dans le cycle de développement est assurée, y compris les outils de génération de code et de test pour la navigation bidirectionnelle entre les exigences, le design, l’implémentation et le 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 Test Manager. Le code généré à partir d’Embedded Coder®HDL Coder ou Simulink PLC Coder peut contenir des hyperliens depuis le rapport de génération de code vers le document d'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.

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 DO Qualification Kit (for DO-178) et 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.

Traçabilité entre les exigences, les objets Simulink et Stateflow et les artefacts de test tout au long du cycle de développement 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 dans Simulink afin d'identifier les lacunes 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 indicateurs 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 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. 

Générer des rapports sur les exigences

Pour les révisions et la documentation, vous pouvez créer un rapport configurable comportant des liens, des informations relatives aux modifications, ainsi que le statut d'implémentation et de vérification. Simulink Report Generator vous permet de créer des rapports personnalisés.

Nouveautés

Matrice de traçabilité

Examinez et analysez les liens entre les exigences, le design ou les tests dans un format matriciel

Résultats de vérification externes

Intégrez des résultats provenant de sources externes dans l'état de la vérification

Intégration d'IBM Rational DOORS Next Generation

Visualisez et synchronisez des exigences de DOORS Next Generation

Intégration à System Composer

Support du lien avec les ports

Sélection d’exigences et de liens multiples

Supprimez et créez des liens avec la sélection multiple dans l’éditeur

Améliorations de l'interface programmatique

Utilisez de nouvelles méthodes pour créer, trouver et parcourir des liens

Consultez les notes de version pour en savoir plus sur ces fonctionnalités et les fonctions correspondantes.