Alexandre Cortier, Eric Morand Etude de cas CNES Alexandre Cortier, Eric Morand

CC I- Introduction : Vue globale I1 PF I2 MISSION I3 CC : Contrôle/Commande MISSION : Partition Mission PF : Plateforme I1, I2, I3 : Instruments Arinc 1553 Arinc 1553 CC I1 PF Arinc 1553 I2 Arinc 1553 MISSION Arinc 1553 I3

I- Vue globale : zoom sur CC Port group : CMD_data, fresh Routing fromI1 toM[4] << frequency = 64 Hz >> fromM filterTab modes CC << 64 Hz >> Filtering << 0.1 Hz >> HK << 1/60 Hz >> fromI3 fromI2

… … II- Modélisation : zoom sur HK (pattern 1) << frequency = 20 Hz >> Dataflow : HK/ON COUNTER Init 20 CMD_TC_in From PF TC(3,5) or TC(3,6) GENERATING TC_TM TM_HK_SENDER CMD_TC_out To I1,I2 or I3 TC(3,9) CMD_TM_in[3] From I1,I2 and I3 TM(3,25) checkResponse CMD_TM_out to PF TM(5,2)  1 Hz … Cpt = 20 19 18 17 16 15 14 13 1 … [TM(5,2)] [TM(5,2)] [TM(5,2)] TM(3,25) to PF TC_I1 [TM(5,2)] TC_I2 [TM(5,2)] TC_I3 [TM(5,2)] TC_I1 [TM(5,2)]

II- Modélisation : zoom sur HK (pattern 2) Dataflow : HK/ON << 0,1 Hz >> CMD_TC_out To I1,I2 or I3 TC(3,9) CMD_TC_in From PF TC(3,5) or TC(3,6) TM_I1 GENERATING TM / Anomaly TM_anomaly TM_I2 CMD_TM_in[3] From I1,I2 and I3 TM(3,25) TM_I3 << 1/60 Hz >> CMD_TM_out to PF TM(5,2)

III- Variables externes / Protocole Port group : CMD_data, fresh Routing fromI1 toM[4] << frequency = 64 Hz >> fromM filterTab modes CC << 64 Hz >> Filtering << 0.1 Hz >> HK << 1/60 Hz >> fromI3 fromI2

III- Variables externes / Protocole Port group : CMD_data, fresh Adapteur Synchrone ? Variable externe + protocole ? Routing fromI1 toM[4] << frequency = 64 Hz >> fromM filterTab modes CC << 64 Hz >> Filtering << 0.1 Hz >> HK << 1/60 Hz >> fromI3 fromI2

III- Variables externes / Protocole toI1[3] CC filterTab modes << frequency = 64 Hz >> fromI1 I1 I2 I3 PF MISSION Filtering << 64 Hz >> Routing << 64 Hz >> toM[4] fromM HK << 0.1 Hz >> << 1/60 Hz >> Besoin de spécifier le comportement des buffers du MW… Autre solution : spécifier directement les buffers en Synoptic le MW reçoit alors une seule donnée par cycle buffers buffer Vecteur de données (N entrées) Séquence de données fréquence F Fréquence NxF

II- Variables externes / Protocole Contrat d’usage : le type d’accès (lecture/écriture) Les signaux utilisés (la valeur et/ou sa validité) le protocole d’accès Synchrone Besoin de spécifier le protocole (dernière valeur produite, moyenne…) ? Ou bien est-ce le role du contrat de synchronization ? Asynchrone Push : buffer taille 1 ? Notify : event data ? Port group (data + booléen de fraîcheur) Alarm : - dépassement de seuil / inférieur à un seuil - variabilité Q° : comment récupère t-on l’alarme émise ? Ex : w : in extern pow validity powV alarm lowPow when pow < 10