Massage cardiaque

Spec2, le module qui peut vous sauver la vie !

Voici a spec en FSP :

/*
* Rédigé par S. Raynaud et G. Quéméner
*/

const COMPR=3

CPT1(INSUF=2) = CPT1[0],
CPT1[i:0..INSUF] = (when (i CPT1[i+1]
|when (i==INSUF) compression -> CPT2[0]
|respiration -> STOP
),
CPT2[x:0..COMPR] = (when (x CPT2[x+1]
|when (x==COMPR) compression -> CPT1[0]
|respiration -> STOP
).

Exercice : faites le diagramme de transition d'états.

Nota : on a indiqué seulement 3 pour compression (il aurait fallu indiquer 15 pour un adulte, mais on a voulu pouvoir représenter facilement le diagramme de transitions d'état.