Simulink Verification and Validation

Traçabilité des exigences entre les modèles, les tests et le code généré

L’interface de gestion des exigences de Simulink Verification and Validation permet de lier des objets Simulink et Stateflow à des documents d’exigences. Elle prend en charge les exigences enregistrées dans des fichiers IBM® Rational® DOORS®, Microsoft® Word, Excel®, PDF ou HTML. Il est possible de la personnaliser pour prendre en charge d’autres formats de document et d’autres systèmes de gestion des exigences.

Requirements Management Interface context menu and Requirements dialog box.
Menu contextuel de l’interface de gestion des exigences et boîte de dialogue des Requirements.

Création de liens

Les liens sont des références dans le modèle qui mènent à des documents externes. Ils sont associés à l’identificateur unique des blocs du modèle qui garantit la robustesse et la persistance des informations de traçabilité des exigences.

La traçabilité des exigences permet de sélectionner une exigence ou un signet dans un document externe et de créer un lien par le biais des menus contextuels de Simulink. La boîte de dialogue Requirements permet d’appliquer des mots-clés et des descriptions aux liens pour une analyse plus ciblée.

Revue de la conception et des exigences

L’interface de gestion des exigences permet de mettre en évidence des blocs dans le modèle ou de générer un rapport des exigences associant des images des sous-systèmes du modèle à des informations provenant des documents d’exigences. Vous pouvez personnaliser les modèles de rapport à l’aide de Simulink Report Generator™.

Conjointement à IBM Rational DOORS, Simulink Verification and Validation permet de répliquer des liens Simulink en tant qu’objets de lien dans DOORS, ce qui permet la traçabilité bidirectionnelle sans avoir à modifier les documents d’exigences. L’interface de gestion des exigences synchronise ces liens dans DOORS et dans Simulink. Vous pouvez par conséquent créer des liens dans IBM Rational DOORS ou dans IBM Rational DOORS Web Access, puis les synchroniser avec les modèles Simulink. Pour vous assurer que les liens des exigences sont cohérents avec les documents source, vous pouvez exécuter des vérifications de cohérence des exigences capables d’identifier les exigences supprimées ou modifiées. Il est possible de combiner ces vérifications à d’autres vérifications Model Advisor pour effectuer une analyse systématique des modèles.

Vérification du code

L’utilisation de Embedded Coder™, HDL Coder™ ou de Simulink PLC Coder™ pour générer le code à partir des modèles permet d’inclure les exigences sous forme de commentaire dans le code source et d’hyperliens dans le rapport de génération de code. Les hyperliens du rapport de génération de code permettent d’accéder directement aux exigences.

Consultez la page MathWorks Connections Program pour connaître les outils tierce pour la gestion des exigences qui prennent en charge l’interface de gestion des exigences et permettent la liaison et la traçabilité.

Annotated source code, created with Real-Time Workshop Embedded Coder, showing hyperlinks to requirements.
Code source annoté généré à l’aide d’Embedded Coder et montrant des hyperliens renvoyant aux exigences.
Point suivant: Conformité aux standards de modélisation

Essayer Simulink Verification and Validation

Obtenir une version d'évaluation

Best Practices for DO-178 Compliant Software using Model-Based Design

Visionner le webinar