# PLAMA Demonstrator

Komponente
failma
Fconfirm
Frbc
Fcombine
Ccss
supma
Status
$$z_{f, syn}$$

$$\neg z_{a,syn}$$
$$z_{c.f,syn}$$

$$\neg z_{c.a,syn}$$
$$z_{c.f,syn,conf}=confirm(z_{c.f,syn},$$ , , , )
$$z_{c.f,syn,conf}$$
$$z_{c.f,syn,counter}$$
$$\neg z_{c.a,syn,conf}=confirm(\neg z_{c.a},$$ , , , )
$$\neg z_{c.a,syn,conf}$$
$$\neg z_{c.a,syn,counter}$$
$$\neg \underline{z}_{c.a,syn,rbci,(*,o,*)}$$ $$\neg \underline{z}_{c.f,syn,rbci,(*,o,*)}$$
$$\neg \underline{z}_{c.a,mod,rbc,(*,o,*)}$$
$$\underline{z}_{c.f,mod,rbc,(*,o,*)}$$
$$s_{off,(o)}$$

$$s_{iso,(o)}$$
Cycle $$z_{c.f}$$ $$z_{c.f.counter}$$ $$z_{c.f.conf}$$ $$\neg z_{c.a}$$ $$\neg z_{c.a.counter}$$ $$\neg z_{c.a.conf}$$