Modélisation Sysml

Le diagramme d’exigence est une représentation du cahier des charges. Il doit recenser les fonctions et les contraintes du système qu'on appelle "Exigence" (Requirement). Les exigences servent à établir un contrat (au sens légal) entre les différents partenaires.

• Les fonctions et les contraintes sont exprimées de manière préférentiel par un verbe du premier groupe à l'infinitif

Le système devra ainsi réaliser des niveaux de contraintes ou les conditions de performances qui devront être satisfaites par le système.

Elles sont représentées par des cadres hiérarchisés contenant différentes informations (noms, identifiant, description, niveau de performance,...) reliés entre eux par des liens de contenance.

Ce cartouche situé en haut à gauche spécifie le type de diagramme et le nom du système concerné

Un bloc d'exigence contient au minimum :

• Un libellé de fonction

• Un identifiant unique :id. Cet identifiant suivant rang 1. ou 1.1 ou encore 1.1.1 indique le niveau hiérarchique du bloc considéré

• Et presque systématiquement un texte descriptif

• Contenance

décompose une exigence composite en plusieurs exigences unitaire

• Raffinement

<<refine>> permet l'ajout de précisions, des données quantitatives par exemple.

• Dérivation

<<deriveReqt>> relie des exigences de niveaux différents, des exigences système à des exigences de niveau sous-système

• Satisfy

  définit un composant issu du diagramme de bloc (bdd) qui satisfait l'exigence

Deux mots-clés particuliers ont été définis afin de les représenter :

• des problèmes à résoudre <<problem >>

• des justificatifs <<rationale >>

Elle permet de s’assurer de la cohérence entre ce que fait réellement le projet et ce qu’il doit faire afin de faciliter l’analyse d’impact en cas de changement.

Le diagramme d’exigences permet ainsi tout au long d’un projet de relier les exigences avec d’autres types d’élément SysML par plusieurs relations :

• <<refine>> en liaison avec les diagrammes :

  • cas d’utilisation

  • diagramme d’états

  • , etc.

• <<satisfy>> bloc d’architecture

  • lien avec l'élément qui satisfait l'exigence