La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Sémantiques du parallélisme : définitions du produit dautomates - synchrone (LUSTRE, ESTEREL, Statecharts, GRAFCET,…) - asynchrone (LOTOS, SDL, ESTELLE,

Présentations similaires


Présentation au sujet: "Sémantiques du parallélisme : définitions du produit dautomates - synchrone (LUSTRE, ESTEREL, Statecharts, GRAFCET,…) - asynchrone (LOTOS, SDL, ESTELLE,"— Transcription de la présentation:

1 Sémantiques du parallélisme : définitions du produit dautomates - synchrone (LUSTRE, ESTEREL, Statecharts, GRAFCET,…) - asynchrone (LOTOS, SDL, ESTELLE, CSP, MEC,..) - mixtes (CCS, SIGNAL) Source : cours de H. Garavel, Imag

2 Sémantique synchrone aba.b = || Plusieurs actions en même temps Hypothèse synchrone : temps de réaction nul Conservation du déterminisme a et b se produisent en même temps et sont supposées de temps nul.

3 Sémantique asynchrone : transitions synchronisées aaa = || C1 = (a->STOP). C2 = (a-> STOP). ||SYS = (C1 || C2). Transitions synchronisées : CCS : sur actions complémentaires FSP : sur actions de même nom (mêmes actions) tau

4 Sémantique asynchrone : transitions non synchronisées ab a = || Le losange (diamond in English !) a b b entrelacement

5 Sémantique asynchrone b a a = || a a a a c b a c b c a cb La mise en parallèle de 2 automates déterministes peut donner indéterminisme

6 En FSP b a = || a c a b b c c

7 Atomicité des actions Cest lhypothèse. Si on veut faire apparaître le fait que deux « actions » nont pas forcément la même durée : Action début Action fin Dudule se marie est analysé en : -début cérémonie -déclaration de lofficier détat civil : « je vous déclare mari et femme »

8 Actions début et fin fin a = || da début a fin b fa fb fa fb da fbfa début b da db

9 Les cas décrits par lentrelacement temps a b b b b a a a etc

10 Les 3 sémantiques et FSP Synchrone : a || b aba.b = || Pas possible en FSP

11 Asynchrone : a || b ab a =|| ab b On spécifiera en FSP : C1= (a-> STOP). C2 = (b-> STOP). ||SYS = (C1||C2).

12 Mixte : a || b ab a =|| ab b a.b Pas possible en FSP


Télécharger ppt "Sémantiques du parallélisme : définitions du produit dautomates - synchrone (LUSTRE, ESTEREL, Statecharts, GRAFCET,…) - asynchrone (LOTOS, SDL, ESTELLE,"

Présentations similaires


Annonces Google