OUVRE PORTAIL DOMOTICC. CI6 : Proposer et valider une solution de l organisation de la commande d un système logique ou numérique.

Transcription

1 OUVRE PORTAIL DOMOTICC CI6 : Proposer et valider une solution de l organisation de la commande d un système logique ou numérique. À l issue de ce TP, les compétences acquises doivent vous permettre plus particulièrement de : Exprimer le fonctionnement par un ensemble d équations logiques Identifier les entrées et sorties d un système logique Analyser et décrire le comportement attendu Exprimer le comportement attendu (représentation technique imposée) Réaliser les fonctions logiques (représentation technique imposée) Tester la réalisation de fonctions logiques et valider par rapport au CdC Valider le fonctionnement d une fonction logique par câblage ou simulation Vérifier la modélisation du comportement d un système réel par un diagramme comportemental SysML Modifier un diagramme comportemental SysML pour répondre à une exigences du cahier des charges page 1

2 Table des matières 1 Problématique 3 2 Prise en mains du système 3 3 Diagramme d activités du mode automatique 4 4 Diagramme d états du mode automatique 4 5 Diagramme d états du mode automatique autre architecture 4 page 2

3 1 Problématique La phase de mise au point du fonctionnement de la commande d un système logique ou numérique est une phase importante. L utilisation d une modélisation comportementale (à l aide des diagrammes SysML) permet, en cours de conception, de modifier, simuler et valider les choix effectués en vue de répondre aux exigences du cahier des charges. On se propose ici et de mettre au point quelques éléments du modèle comportemental de l ouvre portail Domoticc, conformément au cahier des charges de fonctionnement. On travaillera particulièrement sur des diagrammes SysML de séquences, d activités et d états. On trouvera dans le fichier Magicdraw "ouvre_portail_ci6_eleves.mdzip", disponible sur le lecteur réseau PCSI, un modèle SysML du système étudié. 2 Prise en mains du système Q 1 : À partir de l étude des diagrammes SysML de définition de blocs et de blocs internes, localiser rapidement les constituants du système et recenser les entrées et sorties de l automate. On propose en figure 1 un diagramme SysML d états du système. FIGURE 1 Proposition de diagramme SysML de séquences du système en mode automatique. Q 2 : Vérifier l adéquation entre ce diagramme d états et le fonctionnement observé du système. page 3

4 3 Diagramme d activités du mode automatique On s intéresse ici au fonctionnement en mode automatique (interrupteur T CA en position EN). Q 3 : Mettre en œuvre le système en mode automatique et régler les temporisations si nécessaire afin d avoir un cycle d ouverture et fermeture. Décrire les opérations réalisées dans ce mode par le système réel après appui sur le bouton DEM en précisant quelles sont les informations qui les déclenchent et celles qui y mettent fin. Présenter le bilan dans un tableau comme celui donné ci-dessous : Opération Information qui la déclenche Information qui y met fin On propose en figure 2 un diagramme SysML d états du système. Q 4 : Vérifier l adéquation entre ce diagramme d activités et le fonctionnement observé du système. Renseigner avec le logiciel MagicDraw les activités ainsi que les transitions (et conditions de garde associées) manquantes. 4 Diagramme d états du mode automatique On propose en figure 3 un diagramme SysML d états du système. Q 5 : Renseigner avec le logiciel MagicDraw les transitions entre les 3 états, ainsi que les conditions de garde associées. On propose en figure 4 un diagramme SysML d états du système plus détaillé. Q 6 : Vérifier l adéquation entre ce diagramme d états et le fonctionnement observé du système. Renseigner avec le logiciel MagicDraw les transitions manquantes ainsi que les conditions de garde associées. Renseigner avec le logiciel MagicDraw les états non nommés ainsi que les actions ou activités effectuées à l entrée dans l état (entry) ou dans l état (do). Q 7 : Compléter avec le logiciel MagicDraw le diagramme SysML d états proposé précédemment pour tenir compte d un obstacle à la fermeture. 5 Diagramme d états du mode automatique autre architecture On propose en figure 5 une autre architecture de diagramme SysML d états du système. Q 8 : Renseigner avec le logiciel MagicDraw les transitions manquantes ainsi que les conditions de garde associées afin de le rendre équivalent au précédent. page 4

5 FIGURE 2 Proposition incomplète de diagramme SysML d activités du système en mode automatique. Renseigner avec le logiciel MagicDraw les états non nommés ainsi que les actions ou activités effectuées à l entrée dans l état (entry) ou dans l état (do). page 5

6 FIGURE 3 Proposition incomplète de diagramme SysML d états du système en mode automatique. page 6

7 FIGURE 4 Proposition incomplète de diagramme SysML d états du système en mode automatique. page 7

8 FIGURE 5 Proposition incomplète de diagramme SysML d états du système en mode automatique. page 8