Flux 4 : Flux de vérification manuelle et des règles

Les deux flux suivants permettent à l’utilisateur de configurer une vérification directement depuis le module Requirements.

Flux de vérification manuelle

Ce flux permet à l’utilisateur d’ajouter directement une activité V&V à une exigence depuis le module Requirements et de mettre à jour manuellement le statut.

Pour cela, vous pouvez double-cliquer sur une cellule de la colonne « V&V Activities » dans le module Requirements et créer une activité.

Vous verrez ici les activités déjà ajoutées ainsi que la possibilité de lier des activités existantes à cette exigence en cliquant sur le bouton « Link Activity ».

À partir de là, vous pouvez sélectionner une activité existante dans la liste déroulante et, éventuellement, sélectionner un bloc.

Après cela, vous pouvez attribuer directement le statut manuellement ou accéder à l’activité ou à l’exécution via les liens dynamiques.

Flux de vérification par règles

Les règles permettent aux utilisateurs d’établir une comparaison entre les valis de conception système et les valis d’exigence au moyen d’expressions booléennes (par ex. « Is the Design Mass lower than the maximum Requirement Mass? »).

Pour cela, assurez-vous d’avoir défini des valis des deux côtés (dans le module System Design et dans le module Requirements). Pour établir une règle, double-cliquez sur une cellule de la colonne « V&V Rules » d’une exigence.

Cela ouvrira une fenêtre dans laquelle les règles peuvent être définies.

Pour appeler les valis, saisissez simplement le signe dollar ($), ce qui ouvrira une liste déroulante contenant les valis disponibles à sélectionner et à rechercher.

Dans ce cas, nous comparons la masse réelle de l’essaim de drones à la masse maximale autorisée définie par l’exigence.

Dans ce cas, la règle est vérifiée, car 6 kg (masse de conception) est inférieur à 8 kg (masse maximale de l’exigence).

Cela sera également indiqué dans le statut global de vérification dans la colonne « V&V Status ».