Le langage du SysML. 1 Langage de modélisation graphique de système. ETT Première

Transcription

1 Centres d intérêts CI Représentatin symblique : le langage SysML. Séquence 3 Objectifs Pré requis Décder les diagrammes du SysML. Cmprendre le fnctinnement d un système avec sa descriptin en SysML. Cmpléter un diagramme SysML. Séquence 2 : Organisatin fnctinnelle. Activité décuverte : Pédalite. 1 Langage de mdélisatin graphique de système. Les systèmes snt devenus plus cmplexes et pluri techniques, un besin de langage transversal et unifié apparaît. Le SysML dit permettre ainsi à des acteurs de crps de métiers différents de cllabrer autur d un mdèle cmmun pur définir un système. A travers des utils graphiques, les diagrammes, le SysML permet de décrire un système suivant différents pints de vue : Fnctinnel : que dit faire le système? Structurel : cmment est cnstruit le système? Cmprtemental : cmment dit se cmprter le système dans le temps? Le langage SysML qui est riginaire de l univers infrmatique n est pas uniquement un util descriptif puisqu à partir de certains diagrammes, une passerelle permet de prgrammer directement le système. En sti2d, nus nus limiterns à lire et à cmpléter des diagrammes déjà établis. Les diagrammes grisés ne snt pas abrdés en sti2d

2 Pur illustrer les différents diagrammes, nus utiliserns cmme supprt un lecteur mp3. 2 Diagramme d exigence (req Requirement diagram). Une exigence permet de spécifier une fnctin que le système devra réaliser u une cnditin de perfrmance, de fiabilité, de sécurité, Le diagramme permet de structurer les besins. C est un myen de cmmunicatin entre les cncepteurs et les clients du système. La représentatin part de l exigence principale puis se décmpse en exigences nécessaires pur la réalisatin de l exigence principale. Il peut faire apparaître les blcks qui vnt satisfaire ces exigences. Indique qu une exigence générale est cnstituée d un ensemble d exigences plus détaillées. «refine» (Raffinement) : précise un élément, un paramètre de l exigence pintée. «derivereq» (Décule) : est déduit de l exigence pintée. «satisfy» (Satisfait) : répnd à la demande frmulée par l exigence pintée

3 3 Diagramme de cas d utilisatin (uc use case diagram). Ce diagramme est une représentatin des fnctinnalités du système. Il indique dans quel cas ce système est utilisé et par qui. C est à partir de ces «cas d utilisatin» que l ensemble de la descriptin cmprtemental se décline. Un diagramme des cas d utilisatin peut être cmplété au fur et à mesure que l analyse du prblème se précise. C est ntamment le rôle des «extensins» (extend) et des «inclusins» (include). Lien pssible entre les cas d utilisatin et les acteurs : A B Assciatin. Généralisatin, héritage. A est une spécialisatin de B. A est une srte de B. Include Extend Relatin d inclusin : le cas A inclut bligatirement le cas B. Liaisn d bligatin. Relatin d extensin : le cas A est une extensin du cas B. Le cas A cmplète le cmprtement du cas B. L extensin est ptinnelle. 4 Diagramme de séquence (sd sequence diagram). Les cas d utilisatin permettent de décrire ce que le système dit être capable d effectuer mais ils ne disent pas cmment. Ce diagramme décrit le scénari des interactins dans le temps entre les acteurs et les bjets. Il mntre la chrnlgie des échanges issus d un cas d utilisatin

4 Chaque élément actif du système est représenté par un rectangle dté d une «ligne de vie». La chrnlgie des évènements se lit de haut en bas. Les lignes hrizntales entre éléments snt des «messages», les messages étant des signaux, des événements u des invcatins d pératins. un message synchrne (flèche pleine) blque l émetteur qui est dans l attente d une répnse. un message asynchrne (flèche uverte) pur lequel l émetteur n attend pas de répnse pur cntinuer sa tâche. La flèche en pintillée représente un retur. La flèche qui bucle (message réflexif) permet de représenter un cmprtement interne. Il est pssible de réaliser une séquence différente en fnctin d une certaine cnditin grâce à un fragment cmbiné. Ces cnditins snt appelées cnditins de garde et snt indiquées entre crchet [ ]. Les principaux fragments cmbinés utilisés snt : pt (ptin) : le fragment s'exécute si la cnditin assciée est vraie. alt (alternative) : cnditin vraie suivie de sinn cnditin fausse. lp (bucle) : le fragment s'exécute en bucle seln la cnditin de garde. break : permet d interrmpre une bucle par (parallèle) : les séquences séparées par une ligne pintillée s'exécutent en parallèle. 5 Diagramme d état (stm state machine). Le diagramme d état décrit les transitins entre les états et les actins que le système u ses parties réalisent en répnse aux évènements. Il représente le fnctinnement séquentiel et permet de prgrammer un système. La transitin permet le changement d état. Une transitin peut être : autmatique (flèche sans texte) : la fin de l activité d un état entraîne le passage à l état suivant. sur évènement (when, after, etc ;) : l ccurrence de l évènement entraîne le passage à l état suivant. avec un pint de décisin cmprtant au minimum deux srties, les critères de décisin snt décrits entre crchets

5 6 Diagramme de définitin de blcs (bdd blck definitin diagram). Le diagramme de définitin de blcs est similaire à la première page d une ntice de mntage indiquant la liste des éléments et des pièces à assembler. Ainsi le blc principal et la hiérarchie des blcs qui le cmpsent snt spécifiés. On peut distinguer différents znes : Définitin du blc : nm et type («blck» par défaut, «système» : niveau supérieur). Part : dans certain cas, la zne Part permet de définir les parties qui cmpsent le blc. Operatins : cmprtements pssibles, actins à réaliser. Attributs u Values: prpriétés du blc. Ça peut aussi être des valeurs (values) qui permettent de caractériser le blc. «Blc» et sn identificatin. «Cmpsitin» : indique que les blcs du dessus fnt partie du blc marqué par un lsange plein. 7 Diagramme de blc interne (ibd internal blck diagram). Le diagramme décrit la vue interne d un blc se basant sur le bdd. On effectue un zm sur un blc en apprtant des précisins sur sn rganisatin et sur la cmmunicatin des différents éléments via les flw prts. Un blc peut avir plusieurs prts uni u bidirectinnel, qui expriment la circulatin de flux physiques entre les blcs (énergie, fluides, dnnées, )