Vérification du système

Dans Requirements & Systems Portal, les exigences sont reliées à un ou plusieurs systèmes, ou sous-systèmes. Ces systèmes sont vérifiés au moyen d’activités de vérification et validation (V&V). L’exigence d’un bloc peut être vérifiée par une ou plusieurs activités de V&V. Chaque activité peut être liée à une ou plusieurs exigences et peut vérifier un ou plusieurs systèmes.

Dans cette partie du tutoriel, nous allons voir comment mener des activités de V&V à l’aide de Requirements & Systems Portal et expliquer les points suivants :

• Comment créer des activités de V&V.

• Comment lier des activités de V&V aux exigences.

• Comment exécuter une activité.

• Démonstration des méthodes de vérification automatique dans Requirements & Systems Portal.

Création et chargement de vues pour la vérification

Requirements & Systems Portal propose divers attributs présélectionnés, tels que Identifier, Text, Parents, Children, Type, State, V&V Status, V&V Activities, V&V Blocks, Tags et Properties. Cependant, cela peut entraîner un défilement horizontal excessif sur les écrans plus petits. Vous pouvez générer des vues personnalisées avec uniquement les attributs essentiels afin de simplifier le processus de vérification. Créons une nouvelle vue pour la vérification et chargeons-la.

1. Accédez au module Requirements () et ouvrez la spécification Fan_Spec.

2. Passez le curseur sur n’importe quel en-tête de colonne, cliquez sur l’icône qui apparaît, puis cliquez sur l’icône pour afficher la liste des colonnes disponibles.

   

3. Désélectionnez toutes les colonnes de la liste et sélectionnez uniquement les colonnes suivantes :

   • Text

   • Applicable Blocks

   • Parents

   • Children

   • V&V Status

   • V&V Activities

   • V&V Rules

   • Tags

   Vous pouvez également sélectionner/désélectionner les attributs à l’aide du volet Columns accessible depuis le côté droit. Cette approche est présentée afin de vous faire connaître également les options supplémentaires disponibles dans les en-têtes de colonne, telles que les filtres et les options de dimensionnement du tableau. Par exemple, l’icône fournit des options de filtrage pour une colonne spécifique.

4. Cliquez avec le bouton droit dans le tableau et sélectionnez la commande Save view dans le menu contextuel. Dans la fenêtre Save current view qui s’ouvre, saisissez Verification_View comme View name, sélectionnez Private, puis cliquez sur .

   

   Toutes les colonnes sélectionnées, les largeurs de colonne et les filtres appliqués seront enregistrés dans une vue dédiée. Une fois la vue enregistrée, vous pouvez la charger en cliquant avec le bouton droit dans le tableau puis en sélectionnant l’entrée correspondante dans le sous-menu Load View.

Ajout d’une activité de vérification & validation à une exigence

Requirements & Systems Portal propose trois colonnes dédiées à la vérification et à la validation des exigences (en plus de colonnes supplémentaires comme Compliance et Compliance Comment, voire de colonnes personnalisées liées aux activités de vérification) :

• V&V Status – indique l’état global de vérification de l’exigence.

• V&V Activities – affiche les activités de V&V associées à l’exigence.

• V&V Rules – vérification automatique basée sur la comparaison des vali entre l’exigence et le module System Design.

1. Accédez au module Verifications & Validations  en cliquant sur l’icône dans la barre de navigation des modules à gauche.

2. Cliquez sur le bouton . Dans la fenêtre Create V&V Activity qui s’ouvre, saisissez Mass Inspection dans le champ Name et This activity measures the mass of the Valifan. dans le champ Description, puis cliquez sur .

   

3. Nous allons maintenant lier la nouvelle activité à l’une de nos exigences depuis le module Requirements. Cliquez sur le nom de l’activité dans la colonne Name, puis cliquez sur le contrôle Requirements Statuses en haut de la page.

   

4. Cliquez sur le bouton en haut à droite. Dans la fenêtre Link Requirement qui s’ouvre, sélectionnez R-Fan-001 dans la liste déroulante Requirement et sélectionnez Fan dans la liste déroulante Block, puis cliquez sur .

   

5. Supposons que vous ayez effectué l’inspection de masse conformément aux instructions de l’activité et que nous souhaitions maintenant définir l’état de vérification sur verified. Pour ce faire, double-cliquez sur la cellule de la colonne Status et sélectionnez Verified dans la liste déroulante.

   

Nous avons ainsi créé avec succès une activité de vérification manuelle. Voyons maintenant comment mettre en place des vérifications automatiques sur nos exigences afin de comparer les vali de conception système aux vali des exigences.

Vérification automatique du système à l’aide de règles

1. Accédez au module Requirements () et ouvrez la spécification Fan_Spec.

2. Passez le curseur sur le vali 300 g dans la colonne Text pour l’exigence R-Fan-001 et vérifiez son nom dans la fenêtre contextuelle. Ce nom sera utilisé lors de la création d’une règle dans laquelle ce vali sera comparé à un vali du module System Design.

   

   Les vali dans les exigences peuvent être modifiés en cliquant sur l’icône dans la fenêtre contextuelle. Vous pouvez ajuster des paramètres tels que le nom, les marges, etc.

3. Double-cliquez sur la cellule de la colonne V&V Rules pour l’exigence R-Fan-001. La fenêtre V&V Rules s’ouvrira, dans laquelle vous pourrez définir une règle pour comparer la masse Valifan requise de 300 g avec le vali de masse du système Fan provenant du module System Design. Utilisez le symbole $ pour référencer les vali. Dans la fenêtre contextuelle qui apparaît, vous pouvez rechercher des vali en saisissant leur nom. Définissez la règle comme suit :

   $Fan.Mass<$R-Fan_001.maximum_mass_of_the_fan

   Notez comment Requirements & Systems Portal récupère les valeurs associées réelles sous la zone de texte.

   

4. Cliquez sur le bouton dans la fenêtre V&V Rules, puis fermez la fenêtre. Dans le tableau, vous verrez que nous avons maintenant une règle (qui est vérifiée) associée à l’exigence et un état V&V total de 2/2 (puisque l’activité d’inspection de masse a également été vérifiée précédemment).

   

Étapes suivantes ?

Félicitations, vous maîtrisez désormais Requirements & Systems Portal !

Vous pouvez continuer à améliorer votre projet de ventilateur de bureau. Voici quelques idées :

• Ajoutez la conformité à vos exigences

• Ajoutez quelques relations parent/enfant entre les exigences, consultez le graphe de connexions , et observez les codes couleur sur l’exigence.

• Pourquoi ne pas créer une simulation pour calculer le déplacement d’air résultant en fonction des modes du ventilateur ?

• Ajoutez un bloc de panneau solaire pour rendre le ventilateur portable. Vous pouvez faire dépendre la vitesse de rotation maximale de l’angle du soleil sur le panneau solaire.