Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

(1)

HAL Id: inria-00072442

https://hal.inria.fr/inria-00072442

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach

Albert Benveniste, Eric Fabre, Claude Jard, Stefan Haar

To cite this version:

Albert Benveniste, Eric Fabre, Claude Jard, Stefan Haar. Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach. [Research Report] RR-4181, INRIA. 2001. �inria-00072442�

(2)

ISRN INRIA/RR--4213--FR+ENG

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Diagnosis of asynchronous discrete event systems, a net unfolding approach

Albert Benveniste, Eric Fabre, Claude Jard, and Stefan Haar

N˚4181

Mai 2001

THÈME 4

(3)

(4)

- ./100 2

346587:9<;>=?7A@CBD7:@EGFH;I7DJK9HE6LNMPOD59H7DJ8Q?46ODRS7UTVOD9HS#JPOD@SXW;I7AYZOD@X[ODOD9]\

^#_a`<bced?fhgjikblamon-pqisrAt+cp$rvuwpqisbioxynzpyikrvt

{ cxy|jxZpy`HbcHx$}rAbuamsc<~wcHx

8yrvcpqx(gwisAbn:wwnzbun

(nvuauDrvyp

{

c1ycI}_ac<}_actvdHfhNnvizv(fd:?unzAcHx

H<-avv

tpy_aiox(unzuDc<( c1rvqblmknzpycnvxy|jt}_aqrvtarAlx

{

ionzvtrAxyikx$j|b?cInztx rz_ai {a{

cHtNxpn-pyc

_ikxZpyrAy|¡qcH}<rvtxZpyql}¢pqisrAtCPqrvb£nzmonzqb!rvxyc<q¤-n-pyikrvtx<¥¦§c+rAmsmkr-n¨xyrz©ª}<nzmkmkc { pqylcN}rvt}laqycHt}|

nvuauaqrAnA}_Cikt«$_aio}_«tar§vmkrvnvm8xpn-pqcnzt { tarUAmsrAnzmpqisbcikx?n]¤-nzikmknvamscA¥ txZpycHn { clxyc>rvtamk|

mkrw}<nvmxZpqn-pqcHx¬ist}rAbaiktn-pqisrAt¡$ipq_®nNunzypyionzm rv { c<br { cHm rv$pyikbcvikt®$_aio}_«mkrj}Hnzm c<¤Ac<t:pqx¬nzqc

rA { c<qc { isCpy_c<|nvyc¯c<ispy_acH Ac<tacHqnzpyc { rvtpy_ac1xqnzbc°xyispycvjrA qc<mon-pqc { ¤jion¬xyrvbce}<nvlxynvmsisp|ycHmknzpyikrvtC¥

± lnvxyik}#b%nzpy_acHbnzpyio}<nvmwpyrjrvmikxPpy_nzpPrz²D³<´µw²I¶·-¸s¹zº»²:¼z½rAyikviktnzpyikta°yrAb¾py_c(cpyqiatac<p8qcHxycHnz}_

nvycIna¥P^#_aiox(xZpyl { |#nvx#brzpqis¤-n-pqc { j|>pq_ac1uaqrvamkc<b¿rzc<¤vcHt:p }rvqqc<mon-pyikrvtistpqc<mkcH}rAbblataio}<nzpyikrvtx

tcp rvqÀ%bnvtnzAc<bc<t:pI¥

ÁÂ:ÃVÄqÅÆ

-ÇvÈ{

cI}c<t:pqqnvmsikÉ<c {{

ionzvtrAxyikxH-nvxy|:t}_ayrAtarvlx

{

ionzvtrAxyikxH

{

ikxq}qcpqccH¤vcHtApxZ|wxZpycHbxH-cpqyi

tcpqxHalatarvm{ istAxHanzmonzqb}rvqqc<mon-pyikrvt¥

ÊoË&ÌyÍÏÎHÐ#Ì$ÑÒkÍÏÓ6ÔÕ

Ö×CØ]ÙÛÚDÜVÝ¢ÞGßÙÛÚDÚ6àIá]ázÝ¢ÞãâGäå¯æç âGØ]äèéèw×>á]ÞãÝêãäZëªâìeíîïCíðñsà]ò]å]äå(æç âGØ]äìeÙÛò]ÙÛÚãâ6óÞãäåIäôöõèCäëÏØ]äÞGë6Ø]ä&÷HÝâGØ]äÞ

á-õÞãâGò]äÞãÚÝñwâ6ØIäá]ÞGÝqêGäëªâõÞãäø-Þ6õòIëZäw×wäôÛäëÝ¢ùèúïðIíôÛëZõqâGäZôoð]û»ôÛÝ¢ü]ð-õò]å1ýaõÞãÙÛÚGþéÝ¢ÞGå°ÿò]ÙäÞãÚ6Ùâ»ç

ûèCûHíð&õù$á]à]ÚDåIäVäZõà]ôÛÙÛäà:ð èCäò]ò]äÚ&ëäZåIävð]ø-ÞGõò]ëä

í

ð

ø ð

ð<õÞãäÜÙâGØ$û»ò]ÞGÙöõIð

ÙÛÚÜÙâGØ

Céè

VÝ¢ÞGÞãäÚ6ázÝ¢ò]å]ÙÛòIü¯õàHâ6Ø]Ý¢ÞíôÛæzäÞâ

VäòäZòIÙÛÚGâGäÙÛÞãÙÛÚÏõ

ñsÞ

Unité de recherche INRIA Rennes

(5)

% $*N 00 % 01 #0+.$ $$

nztxe}c<penvZpqik}<msc¬tarvlx<pyl { isrAtx mkc?uayrAamk`<bc { l { ionzAtarAxZpyio}1uDrvla { cIx°xy|wxpq`<bcHx

nAxZ|jt}_yrAtacHxH¥ceuaqrvamk`<bc°cHxZprAyb¬lam°}<rvbbc°ltuaqrvamk`<bc { ceycI}rAtxpqyl}¢pyikrvt { c°pyn-Znv}pyrAisqc

{<pqn-p1unvZpqis { cHx nzmonzqbcHxrAxZcHy¤<cIx<¥(rvlx8n { rvuwpqrvtx8lat>uDrviktAp { c ¤jlac { ip { c(mony}rAt}lyqc<t}<c

¤jnzikc¢I}<c:laiwxyisAtai! c:lac8trvlxtac bnvtaikualamkrvtxZnzb%nziox {"<pqnzpqxvmkrvnvlw~&Ic<p:lac tarvlxClwpqismkikxyrvtxlt

pqc<bux#:lainmkn%xZpyql}¢pqlaqc {latrA { yceunvZpqiscHmG¥$ rzpqycervlapyikmCuaqist}<isunzmCcIxp(mkc}rAt}cHuwp { c¹&%('D¸º*)<¼:³

{ c?+HxycHnvl { c%c<pyqiG¥ rvlx,<pyl { isrAtxelat¡}cHZpnzikt§tarAbaqc { c%¤-nzqiknvt:pycHx { c>}<cuayrAamk`<bcv¥c<pZpyc

<pyl { c1cHxZp#brvpyik¤&<ceunv$msc}Hnvx { c1mon}rvq+<mon-pyikrvt {"nzmonzqb?cIx c<t+vcIxpqisrAt { c1+HxycHnvlw~&¥

- Æ I Ä &. / iknvvtar:xpqik}1nAxZ|jt}_yrAtacvxy|wxpq`<bcHx { ioxy}<yc<pqxH+HxycHnzla~ { cc<pyqiG { <uamkionzvcA}<rvq0Hmknz©

pqisrAt {nvmknvybcHxH¥

(6)

$

H Æ Ç zÆ

.Â

Ç Ã H Â «

a¥s ^#ikmkcHxHxZ|wxZpycHbx$nvt { py_acHis(unznzmkmscHmV}<rvbuDrAxyipqisrAt ¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥

a¥yrAbxy|jxZpycHb%x pyr%cpqyi&tac<pqx ¥1¥1¥°¥1¥e¥1¥e¥1¥1¥e¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥ I

Æ Â a Æ Ç Æ Â H!#" Â H

Ç %$ Â

'&

Æ .ãÇ'

D

(

¥s c<pyqi (c<pqx(nvt { pq_ac<ik$uaqr { l}¢px ¥1¥°¥1¥e¥1¥e¥1¥1¥e¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥ A

¥ (c<uaqcHxyc<t:pyikta?py_c1ylatx#rznc<pyqi&tacp(¤jion¬ltwrvm{ iktaAx ¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥ ]

*) ã+ Æ ã, $ Â &- Â:ÅÆ ! Æ &- Â <.#" Â H 0/

d¥s 8yrAamscHb¿xZpqnzpyc<bcHtAp ¥e¥1¥e¥1¥e¥1¥1¥°¥1¥e¥1¥e¥1¥1¥e¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥ 1

d¥ ionzvtrAxyikx tac<pqx(¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥e¥1¥e¥1¥1¥e¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥ .2

/ Â

H.

Â .ãwH%ã

Â

43

Ç %$

Â

ã

Â &Æ

a

Ã

!$

Æ Æ

>Ç'ã+

Æ

ã

5

6

.7 Æ .$ ®

(8

1¥s rzpn-pyikrvtx ¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥e¥1¥e¥1¥1¥e¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥92

1¥:¯xZ|jt}_yrAtarvlx { ionzAtarAxyiox!¥1¥e¥1¥1¥°¥1¥e¥1¥e¥1¥1¥e¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥v

1¥ :¯xZ|jt}_yrAtarvlx { ionzAtarAxyiox<wnztrvuapyikb?ikÉ<c { ¤vc<xyisrAt¾¥1¥e¥1¥°¥1¥e¥1¥1¥e¥1¥e¥1¥e¥1¥1¥°¥1¥4

8)

Ã ;ãA .*.Ã !$

Æ Ç Â .G

(

)

ãI&HÆ <

=?>

@ Â , .*.*H<-w%

§%$ Â Ç'BA Â Â Æ %Æ

/

(7)

¬ %8

^#_c { ionzvtrAxyikxrvemonzqvcA { ikxZpyqikalwpyc { xZ|wxZpycHbxikxn pqnAxZÀrz1vqr-$ikta¨isbuDrvypqnzt}c+pyr { n]|A¥ arv

iktxZpqnvt}cA(py_c§ikt}qcHnAxZikta}rvbuamkc~wisp| nzt { rvuDc<tatacIxyxrv1pyc<mkcH}<rvbbltaik}Hn-pqisrAt tac<prAyÀwx>b%nvÀvcHx

tcp rvqÀ { ionzvtrAxyikxerAtac%rz#py_c}_nzmkmkc<taAistapnvxyÀjxeikt¡tac<prAyÀNb%nvtnzAc<bc<t:p1pyr { n]|Nf tac<prAyÀ

{ iknvvtar:xZiox ikx$}Hnzmkmsc { ³]³<²´ ·.y³<¸)z´Gºã·z²>istpy_ikx(nvycIna¥

nzlamsp { ionzAtarAxyikx#ikt { ioxy}<yc<pyc1c<¤Ac<t:p xy|jxZpycHb%x$_nvx n-pZpqqnA}¢pqc { n%xZikvtai }Hnzt:p n-pypyc<t:pqisrAtC¥8¦ cqcc<

pq_ac1qcHn { c< pyrÛ-dsICrA(nztr-¤vc<q¤jiscH rzpy_ac1mkispZpycHqnzpylaqc1nzt { ikt:pyqr { l}¢pqisrAtpqr¬pq_acxylawcH}pH¥

cH}<c<t:pynzmkikxyc {{ ionzAtarAxyiox_nvxDc<cHt%i{ cHt:pyi c { nAxnelxZc<lamnvuauaqrAnA}_rvPpy_ac { iknvvtar:xZioxrzC}rAb¬©

umsc<~xy|wxpqc<b%x<:ikt>$_aio}_>nzmonzqbx8nzqc xZcHtxyc { $ispy_aikt { iDcHycHt:p}rAb?uDrvtc<t:pqx8rz&py_c xZ|wxZpycHb¥ cH}<c<tw©

pqqnvmsioxyc {U{ iknvvtar:xZiox _nvx°cHc<t¨}rAtxZi{ cHyc { j|NxZcH¤vcHqnvmnvlwpy_arAqxH¥ : py_rvqrvlaA_Uxpql { |NioxeuDc<yrvqb?c {

ikt sI6ist}<msl

{

ist%rvpy_+nzmkvrvqispy_ab%x#nzt

{

py_c<ik

{

ionzvtrAxqnzaikmsisp|uaqrvuDc<ypyikcHxH¥

tpy_ikx$qccHycHt}cAjpy_ac

trzpyikrvtUrzn

{

ionzvtrAxyc< iox°lxyc

{

&bcHnvtaikta>pq_n-p°py_ac%xyrvmklwpyikrvtUikx¯rvqblmknzpyc

{

ist§pycHyb%x¯rznxZc<p°rv

}<rvbbltaik}Hn-pqista1b%nA}_aistcHxpq_n-p _n]¤vc#pq_ac<ikxZpqnzpycIxPmonzDc<mkmsc

{

:|xycpqxrzVãnvlampx<jnzt

{

ycInv}¢p8pyrnvmknvyb

rAxyc<q¤]nzpyikrvtx$nvt { }rAbblataio}<nzpyikrvtxH¥ :(moxZrpq_acmonztaAlnzAc1rvqiscHt:pyc { nzbc< rvqÀrv¦§rAta_nzb nzt {

nzb%n { Ac$ikxlxyc { Ïwnzt { pq_ac¯xy|wxpqc<b%xnvq}_ipqcH}¢pqlaqc$ikx8py_nzprv&}<rvbbltaik}Hn-pqista¬nzlwpqrvb%n-pnav$ispy_

nZxy|jt}_aqrvtarAlx(#}rvbb¬lataio}<n-pqisrAt%nvxyc { rAt>n1vmkrvnvmapqisbcvjnvx8ycH¤vcInzmkc { :|?pq_ac nvxqxylabuwpyikrvt !: 1

pq_ac<qc<iktC¥ t:pycHycIxpqistaAms|Aapq_ac rvqÀ!kH_nvx(cHc<tNc<~:pqc<t { c { j|pq_acxqnzbcnvlwpy_arAqx(ist"kvpyr-#nz {

}<rvtxyi{ c<qist¬pq_accDcI}¢p rv}<rvbbltaik}Hn-pqisrAt { cHmkn]|wx$ikt { cI}c<t:pqqnvmsikÉ<c {{ iknvvtar:xZiox<jpq_aiox(iox$¤vcHy|}mkrAxyc

pqrUpq_acuaqcHxyc<t:punzuDc<ikt $_aio}_c+}rAtxZi{ cHnAxZ|jt}_ZpqrvtarAlx}<rvbblatik}Hn-pyikrvtxqrvb pq_ac+¤vcHy|

Dc<Aisttaistalwp%n { rvuwpn { iDcHycHtAp%nzuuayr:nv}_C¥ xyxylacHxrz¯}<rvbbltaik}Hn-pqisrAtxikt { ionzAtarAxyikxikx?nzmoxyr

iktj¤vcIxpqis:n-pyc { ist#Û%$&Ï¥Distnvmsmk|vApy_c qcH}cHt:pPrAyÀ'41 { ikxq}lxqxyc { ikxqxylacHx8rz&lat { cI}i{ nzismkip|¬rv n}cHZ©

pnziktp|juDc1rz { cH}<c<t:pynzmkisÉHc { rvxyc<q¤-nzaikmsisp|v:pq_aikx(ikxqxZlc°_nvx#nz:nziktxyrvbceycHmknzpyikrvt$ispy_nAxZ|jt}_aqrvtj|A¥

t(d%6n { iVc<qc<t:pnvuauaqrAnA}_¡ikx?uaqrvuDrAxyc { brAycist®py_acrAyb rz°n§xyisb¬lamon-pyikrvt vlai{ c { j|¨py_ac

rAxyc<q¤vc { nzmonzqbxHPnz:nzikt«rAn§br { c<m$rv¯}rAb?b¬lataio}<nzpyikta nvlwpyrAb%n-pqn¥®^#_acxyrvmklwpyikrvt uayrAur:xZc {

r%DcHqx n qxZp#nzpZpqc<buwp pyr?_nzt

{

msc¯py_ac°uaqrvamkc<bÈrvxpn-pqc¯c<~jumsr:xZikrvt

{

lac pqrpq_aceist:pycHymkcHn]¤jiktarvCpy_ac

cH¤vcHtApxiktj¤vrvmk¤jistpy_ac

{

iDcHycHt:p}<rvburAtac<t:px<¥ istnvmsmk|vmonzqvcxZ|wxZpyc<b%x?nzqcxylawcH}p¬pqrNqc:lacHtAp

qcH}<rvt vlan-pqisrAtx<:lau { n-pqcHxHnzt { luavn { cIx<¥^#_acHyc<rvqc¯isp(iox { cHxyikqnvamsc1nvt { xyrvbc<pyikb?cIx$qc:lacHxZpyc {

pq_n-p { ionzAtarAxyikx8pycI}_atai:lacHx#}<nvt}rAbuams|%$ispy_py_c°xyipqln-pqisrAtikt$_ik}_py_ac°br { c<mVlxyc { iox1¹.-² ))+*

º7 )z¸»¸ )-²:¼vº»²:¼¬iktpyikbcv¥e^rrvla°Àjtar-$msc { vcAapq_aikx¯iox tarvp pq_ac?}Hnvxyc1rv py_ac?c~wioxpqistnzuauyr:nv}_acIx

xyr?ãnzI¥ p(ikx#rAtac1rzpy_ac1rAwcH}pyik¤vcHx#rvpq_aikx(unzuDc<#pqr?iktj¤vcIxpqis:n-pyc°pq_aikx$}Hnvxycv¥

,P¤Ac<t:p}rAyqc<mon-pqisrAtNikt tcp rvqÀNb%nztnvvc<bcHtApeiox1uaqrvnvams|+pq_ac%b%nzikt¨c~anzbuamkcrz n+}<rvbuamkc~

xy|wxpqc<b xZlaacH}¢ppyr { ionzAtarAxyiox<¥^#_ikx¬nzqcHnikxpy_acxZlaacH}¢p¬rz(n+¤-nvxZpmsispZpqc<n-pqlaycAnvt { n+tjlabDc<

rv }<rvbbc<}ionzmuaqr { l}¢px1nzqc?n]¤-nvismonzamkcv¥¦ c%yc<c<°py_c%ycIn { cH¯pqr"s rvnxylaq¤vcH|v¥^#_ac<qc%nzqc

p r%b%nzikt+qnvbc< rvqÀjxrA(brAxZp rzpy_cbcpy_r { x { cH¤vc<mkrvuDc { ikt+py_aiox nvycIna¥#^#_ac, xp qnvb?cHrAyÀ

qc<mon-pqcHx°pqrylamkc©ÏnAxZc { rA}<nvxyc©ÏnAxZc { qcHnAxZrAtaistCnzt¡nvuauaqrAnv}_ ¤vcHy| { i-Vc<qc<t:p1qrvb py_ac%rAtac%c

xZpyl { |_ac<qcv¥^#_ac¯xycH}<rvt { rvtac(lxZcIxn}Hnzlxqnzmbr { c<m6:ikt>$_aio}_%pq_ac qc<mon-pqisrAt%c<pcHc<t%ãnvlamp|xZpqn-pqcHx

nvt { nvmknvyb cH¤vcHtApx ikx br { c<mkmsc { ikt+xZrAb?c°#n]|%rv$nztarvpy_acHH¥^#_ac1nzypyio}mkcHx.2/01ÛzCDc<mkrvtAxpyr?py_ikx

ãnvbismk|v¥^#_ac1nzlapy_arAqxrvqblmknzpyc { iknvvtar:xZioxnAx#nztrvuwpqisbioxynzpyikrvtuyrAamscHb+Apq_aiox#_nvx#xyrvbc¯qc<mon-pqisrAt

$ispy_+pq_acuaqcHxyc<t:p nvuauaqrAnv}_¥8^#_ac}Hnvxyc1rzc<¤vcHt:p¯}rAyqc<mon-pqisrAtikttacp rvqÀ>b%nztnvvcHb?cHt:p nzmoxZr%brz©

pqis¤-nzpyc { pq_acxZcHyikcHx rvunvucHqx211 Ïarvt$_aio}_py_ac1uaqcHxyc<t:p$unvucH$ycHmsikcHxH¥

(8)

t¡pq_aioxunvucHHbrzpqis¤-nzpyc

{

:|§py_cc~anvb?umsc>rv$pycHmscI}rvbb¬lataio}<n-pqisrAt¡tacp rvqÀ

{

iknvvtar:xZioxnzt

{

b%nvtnzAc<bc<t:pHj c°rj}<lx#rvt

{

ionzAtarAxyikx#nvmsArvqipq_ab%xPpq_n-p nvycexZlipnzamkc°pyr?pyqlamk|nvxy|jt}_aqrvtarAlxxy|wx©

pqc<b%xH¥ isAlaqc?ismkmklxpqqnzpycIx¯rAlaeualaqur:xZc?j|Uxy_ar-$ist>p rxqnzbuamkcHx°rz#nz}_aispycH}pylaqcHxH¥^#_ac xp

sensor system supervisor

component local sensor

component local sensor supervisor

ikvlyc ! }<c<t:pynzmkisÉHc { anvt {{ cH}<c<t:pynzmkisÉHc {#" nvxy|jt}_aqrvtarAlx<¥

nvq}_ipqcH}¢pqlaqc iox8}<c<t:pynzmkikÉ<c { rvtac(xy|wxpqc<b ikxPvmkrvnvmsmk|brvtipqrvqc { j|rvtc xZcHtxyrv%$rAHAc:laik¤-nzmkc<t:pymk|v

rAtacxycprzDxZ|jt}_aqrvtisÉHc { xyc<txyrvx&¢-nzt { rvtacvmkrvnvm:xylauDc<q¤jikxyrvucHZrAyb%x { ionzvtrAxyikxH¥ tpq_ac$xZcI}rAt {

nvq}_ipqcH}¢pqlaqcvwpq_ac¬xyc<txyrvqikta%xZ|wxZpyc<b iox

{

ioxZpyqisalapyc { ¥

p¯_nAx(xZcH¤vcHqnvmCmsrw}Hnzmxyc<txZrAqxHacHnA}_+rzpy_acHb

_n]¤:iktarvtamk|Nnunzypyionzm¤jiscH rz8py_acr-¤vcHqnvmsmxy|jxZpycHb+Vpy_ac%xyc<txyrvx¯nvyc?tarvpexy|jt}_aqrvtaikÉ<c

{

&nzmonzqbx

nvyc?qc<uDrvypyc { pyrpy_ac%xylauDc<q¤:ioxyrv1nvxy|jt}_aqrvtarAlxZmk|vVnzt { nvmkrvnvmxylauDc<q¤jikxyrveuDc<yrvqbx { ionzAtarAxyiox

f py_aioxiox1pq_ac%p|juaio}<nvm8nz}_aispycH}pylaqcpyr { n]|§ist¨pqc<mkcH}<rvbblatik}Hn-pyikrvt¡xy|wxpqc<b%x<¥+^#_ac>c<~jpyc<txZikrvt pyr

_cpycHyrAvcHtac<rAlx$tac<prAyÀwxH$_aio}_Nqc:laikycIx(}rAtxZi{ cHyikta { ioxZpyqisalapyc { xZlauDc<q¤jikxyrvxHiox { ioxq}lxqxZc { ikt

pq_acelamkmCunvucH s6¥ tpy_aiox$unvucH$cerw}<lx#rvtpy_acxycH}<rvt { }<nAxZcerv AlaycA¥

¦ crvmkmsr-Ènzt¨nzuuayr:nv}_§nvxyc { rvt¨unvZpqiknvmrv { c<ebr { c<mox1rzpyikbcnzt { b%nzÀjikta+tarlxyc%rz n

AmsrAnzmtrzpyikrvt¡rv(xpn-pycA¥^#_ikx¬nzuauaqrAnA}_§#nvxeikt:pyqr { l}c { ist 1Û&1 #nzt { ioxbrzpqis¤-nzpyc { j|§py_ac

vlaqcHx?nzt { a¥ ikvlaqc { cHuaio}¢pqx?n+p|juaio}<nvm8ãnvlamp?uaqrvunvAn-pqisrAt§ikt n§g (')" g ± ,8^Ètac<prAyÀ

b%nvtnzAc<bc<t:pxy|wxpqc<b+¥ ^#_c { iDcHycHt:pDr]~jcIxnvycUtacp rvqÀ cHmscHbc<t:pqxH nzt { py_ac { iDcHycHt:pmkistaÀwx

}<rvqycIxZuDrvt { pyr¬py_ac { iDcHycHt:p mon]|vcHqx8istpy_ac1g *'*" g ± ,8^ _aikc<nz}_:|A¥^#_c ãnvlamp$xy_ar-$tiox#nãnvlamp

ikt gw^$«>urAZpIycIxZlamspyiktaNikt¡pq_acnvuaucInznzt}<c%rz(nNxy|jb?bc<pyqik}>ãnzlamsp?nzppy_ac { ioxpnzt:pc~jpqycHb?isp|

rvpy_ac?mkistaÀV&Drzpq_Nãnzlmpx¯uyrAunz:n-pyikta%lauj#nz

{

py_c¬_aikc<nz}_j|v¥°^#_ac¬nvq}_aispycI}¢pqlayc?xZ_r-$t+rv°py_ac

b%nvtnzAc<bc<t:pPxZ|wxZpycHb¾_nvx8n

{

ikxZpyqislwpyc

{

:nAxZ|jt}_yrAtarvlxH-xZc<pPrz&xZcHtxyrvx<-alapn1}cHtApqqnvmaxZlucHy¤jioxZrA

$_ik}_®}<rvmkmscI}¢px¬nvmsm#nzmonzqb%x+$»pq_ac<qcnvycbnvtj| rv$py_acHb-,.&¢¥¨^#_acycIxZlmpqista§}_ayrAtarvAqnvb rv$ãnzlamspqx

nvt { nvxqxyrj}<iknzpyc { cHbipypyc { nzmonzqb%x%ikx { cHuaik}pyc { ist vlaqc a# qxZp { ionzAqnvb+¥¾^#_acrvltac<prAyÀ

cHmscHbc<t:pqx¬nzqcxZ_r-$tC¥ t«cInv}_¡c<mkc<bcHtApIpy_ac { iDcHycHtAp?msiktacIx Alaqc%py_ac { iDcHycHtAp?mkn]|Ac<xeist®py_ac

_iscHqnvq}_j|v¥ iktnzmkms|AVpy_acrAxZcHy¤Ac { unzyp°rvPpy_aioxeunzpZpycHyt§ikxexy_ar-$tUikt vlaqc CxZcI}rAt {N{ ionzAqnvb¥

rzpqc>py_n-pH$_ismkccH¤vc<t:px}rAmsmkcH}pyc { rvt¨pq_acxqnzbcxyc<txZrA¬nzqc%rv { cHyc { ist¡pqisbcApy_aiox¬ikx¬tarzp¬py_ac

}Hnvxyc rA$c<¤Ac<t:pqx#}rAmsmkcH}pyc { rAt { iVc<qc<t:p xZcHtxyrvx<¥^#_arAxyc°c<¤vcHt:pqx$nzqc°blwpqlnzmkms|rv { c<qc { rvtamk|>$_acHt

xyrvbc}<nvlxynvmsisp|+ycHmknzpyikrvtxy_aikuNc~wioxpx<VrAeistxZpqnvt}c%xyrvbcãnvlamspeioxeuaqrvunvAnzpyc { rAexyrvbcnzmonzqb ikx

yr:n { }HnvxZp¯pq_ayrAlav_ pq_ac>tac<prAyÀVCqcHxylamspyiktaist¡n}Hnzlxqnzmkip|UycHmknzpyikrvt¨c<pcHc<t¨ispqx1cHb?ioxqxZikrvt¡nzt {

}<rvqycIxZuDrvt { ist qcH}<c<uwpqisrAtC¥ aqrvb pq_acUnvr-¤Ac { ikxq}lxyxyisrAtC py_acNrvmkmsr-$ikta¡qc:laikycHb?cHt:pqx?rvrvla

br { cHmsmkistnvuauaqrAnA}_c<bcHyAcvjtnzbcHms|*

(9)

sensor 3 sensor 2

sensor 1 supervisor

STM 16 STM 16 digital switch digital switch

STM 1 port AU

SPI MS

faulty

ikvlaqc *

!" # $&% ')(# # $#+*, + # %

-( ./ #%01(!23 " 4% 5 #% 76 98

: ; !" $% <1 =8

:% $)% #>')

gwl}_nzt+nzuauaqrAnA}_#nvx#ikt:pyqr { l}c { nvt {+{ ikxq}lxyxyc { ist { c<pqnvismox#ist Ï¥@? lwp$py_cxZrv©Ï}Hnzmkmsc { BA ispyc<qai

ulaÉ<ÉHmsc ?iktApqyr { l}c { ikt§pq_ac%mon-pZpqc<qccHycHt}c?#nvxetarvp1}<rvbuamkcpqc<mk|§xyucI}i c { ¥ t¨unvZpqik}<lamonzI&py_ac

{ n-pqn+xZpyql}¢pqlaqc%tac<c { c { pyrÀAc<cHu§pqqnA}ÀNrz)-¸»¸CxyrvmklwpqisrAtx°pyr+pq_ac { ionzAtarAxyikx°uaqrvmscHb #nvxetarvp { c©

xq}qikc { wrvtamk|%pq_ac1 n]| ·-²D³#xyrvmklwpqisrAtxy_arvlm{ Dc1alaikmp(#nvx { ioxq}lxqxZc { ¥

t%pq_aioxPunvucH8 c xZrAms¤Ac py_ac¯$_arvmkc(uaqrvamkc<b nzt { uyr-¤ji{ c$rvtac ur:xyxyismsc { n-pqn1xZpyql}pylaqc$rv8py_ac

}Hnvxyc ikt$_aio}_xyrvmklwpyikrvtxPpqrpq_ac { iknvvtar:xZioxPuaqrvmscHbnzqc alaikmsp1·z² *ª¸öº»²V³8$_ismkc°nvmknvyb%x nzqc }rAmsmkcH}pyc {

$G}mkcHnvymk|vpy_aiox%iox>tarvp%py_acUrvtamk|«qc<mkc<¤-nzt:pnzuuayr:nv}_Cr0D©6mkiktacNnzmkvrAyispy_ab%x%nvycnzmoxyr qc<mkc<¤-nvtApI xyc<c

Ûv&¥nzuDc< k!2/uaqrvuDrAxycHxenvt§nzuuayr:nv}_Nnvxyc { rAt§xy|jt}_aqrvtaikÉ<iktanvlwpyrAb%n-pqn¥¬g:pn-pycIx°rvecHnA}_

mkrw}<nvmnvlwpyrAbnzpyrAtUnzqc_nvt { mkc { ikt§nvtUcHt:lb?cHqnzpyc { n]|Alwpepy_ac?vmkrvnvmGVuaqr { l}p°nzlapyrvb%nzpyrvtUikx

tc<¤vcHalismsp?nvt { py_cmkrj}Hnzm { ionzvtrAxyc<xerAyÀ¨nvxy|jt}_aqrvtarAlxZmk|Nikt®}rjrAucHqnzpyikrvt¨pyr-#nz { alaikm{ ista

pq_acr-¤vc<nzmkm { ionzAtarAxyiox<¥ t«pq_aikx?unvucHcn { rAuwp?n§tacplatwrAm{ ista¨nzuuayr:nv}_ Ûwk&$&s1Ï¥ cp

ltwrvm{ iktaAx c<qc$iktApqyr { l}c { j| ¥AU}<ikmsmonzt?pqrnzmkmsr- ycInv}_nvaikmsisp|nztnzmk|jxycHxikt%nzt%c7C%}<iscHt:pP n]|

rA$cpyqiCtac<pqx a6¥^#_ac<|cHycevcHtac<nzmkikÉ<c { pyr%rvpy_acH(br { c<mox#rzP}rAt}lyqc<t}<|%ist k%1Ïikt}<msl { ista

xy|jt}_aqrvtaikÉ<c { nvlwpyrAb%n-pqn $G}<nvmsmkc { yxZ|jt}_yrAtarvlxeuyr { l}pqxrz#pynztxyispyikrvt¡xZ|wxZpycHbx %ist¡pq_acnvr-¤Ac

qccHycHt}c&¢¥ (cp%latarvm{ istAx%nzqctarzp% c<mkmsÀjtar-$t ist py_ac}<rvt:pyqrvm$}rAbblataisp|v8py_acH|«_n]¤AcDc<cHt

lxZc { rA>xZlauDc<q¤jikxyrvq|¡}rAtApqyrAm#ist sIs6¥ iktnzmkms|Atcp%latwrAm{ ikta:xcHycycI}rAvtaikÉ<c { n lxyclam

xZpyql}pylaqc(rA uyrjrzxZ|wxZpyc<b%x { cInzmkista¬$ipq_uyr { l}pqx rznzlwpqrvb%n-pn$ispy_c<tjlabc<n-pqc { xZpqnzpycIx Ûw 6¥

cp(latarvm{ istAx$xylauauDrvyp(lxZc<lamC}rAt}cHuwpqx xZl}_+nvx

)-µj½ )-¸öº»´&ycIxZlmpqistaikt+unzypyionzm&rA { cHqx rvc<¤Ac<t:pqx=D

·-²<µ0y³<² Dikt+rv { c< pqr>nzmkmsr- }<rvtxyi{ c<qist¬mkrw}<nzmCxZpqnzpycIx#rvtamk|vatc<¤vcH#vmkrvnvmCxpn-pycIxED

(10)

SPI MS AU

digital switch

SPI MS AU

tf

st-ch st-ch

stm-16 AU ^st-ch

digital switch

au-ais st-ch st-ch tf

ms-ais

stm-16 AU ^au-ais ^st-ch

au-ais ms-ais

au-ais

faults : unobserved alarms : observed los st-ch

los st-ch

los

t f ms-ais

au-ais st-ch

st-ch st-ch

ms-ais st-ch st-ch

tf au-ais

st-ch los

st-ch au-ais

ikvlaqc -" ,+ !( 7 , :% 6/7

·-² º7<´1pqr br { cHm°qnvt}_aikta®_aioxZpyrvqikcHxH(iG¥cv¥k { i-Vc<qc<t:p+_aioxpqrvqiscIxxy_nzqikta®xyrvbc§uyc a~ D

_ac<t}c1}rAtio}¢p$ycHmknzpyikrvtx $ikmsmnzmkmsr- lx$pyr?_nzt { msc°py_cxZc<p#rvnvmsmCxyrvmklwpyikrvtx8pqr?py_ac { ionzAtarAxyiox

uaqrvamkc<biktnztc C>}ikc<t:p(#n]|v¥

¦ _c<t { cInzmkist$ipq_«br { c<m nvxyc {¨{ ionzAtarAxyikxHnzt¡lat { c<qms|jiktaNbr { c<mikx¬nzmk n]|wxnAxyxylabc { pyr§c

Ais¤Ac<tC¥(twrAZpqlatnzpyc<mk|v¯tarzp+un]|jikta®n-pypycHtApqisrAt pyr py_cUcInvxyisaikmkip| rz1pq_aioxpnvxyÀ bn]| qcHxylamspikt

n tarAt uaqnA}¢pqik}Hnzm(xyrvmklwpyikrvtC¥ mkcHnvymk|v vc<pZpqista¡nvt nvuauaqrvuaqion-pycbr { c<m$rA%py_c+ãnzlamspnzt { nvmknvyb

uyrAunz:n-pyikrvteikt¬g *'*" g ± ,8^¡pyc<mkcH}<rvbbltaik}Hn-pqisrAtxtcp rvqÀ¯ioxn(rvqbi{ nvamkc8}_nzmkmkc<taAcPj|°ispqxyc<ms¥

^#_cen]¤-nvismonzamkceistarvqbnzpyikrvtp|:uik}Hnzmkms|>_nvx py_cervmkmsr-$ikta?rvqb-

(11)

rvbuDrvtacHtApx$rzpy_cxZ|wxZpycHb¿nzt

{

pq_ac<ik qc<mon-pqisrAtx$nzqc

{

cHxq}qikc

{

aikt+py_ac1rAyb¿rznzt+rvacH}¢p

rvqiscHt:pyc

{

br

{

cHmiktj¤vrvmk¤jist}monvxqxZcIx8nzt

{

py_acHis vcHtac<qik}(ista_c<qipnzt}<c nzt

{

rzpy_c<8qc<mon-pqisrAtxHAnzt

{

nvxqxZrw}<iknzpyc { {

iknvvnzb%x>iktj¤vrvmk¤jist

{

c<uamkr-|vc

{

iktxpnzt}<cHxH¥ r®uaqcH}<ikxycNDc<_n]¤jikrvlaI(alwprvtamk|

nz}_aispycH}pylaqcHx#nvyc { cIxy}<yikc { nzp$py_aiox#uDrviktApI¥

APnzqisrAlxistwrAyb%nzpyikrvt%qc<Anv { ista¬}rvbuDrvtacHt:pqxbn]|?Dc°n]¤-nzikmonzamkc(ikt>py_c rAybÈrzxpn-pyc pynztw©

xZispyikrvt { ionzAqnvbxxy_ar-$ist pq_ac#cH_n]¤jisrAlarvAc<tacHyio}}<rvbuDrvtacHtApx<An-pxZrAb?c#mkc<¤Ac<mjrzVnzxZpynv}©

pyikrvtC¥

twrvqb%n-pqisrAt§qc<:nz { ist>py_c%ist:pycHqnA}¢pqisrAtUDcp c<c<t¨}rAburAtac<t:pqx1nvycn]¤-nzikmknvamkc¬ikt py_ac?rvqb

rzexy}<c<tnvyikrAxistj¤vrAms¤jiktaNpq_ac+c~a}_nvtavc { bcHxqxynvvcHxHnzt { xyr§nzqcp|:uik}Hnzmãnzlamsp>nzt { nzmonzqbx

uaqrvunvAn-pqisrAtiktwrvqb%n-pqisrAtx<¥

:$}pylnvm8iktxZpqnzt}ion-pyikrvt¡rv$py_ac}monvxqxZcIx1 rvlam{ py_acHt«qcHxylamp?ist«xyrvbcistxZpqnvt}ion-pqisrAt¨rz$py_cvcHtac<qio}

}<rvbuDrvtacHtApx<Dpqrvvc<py_acH¯$ispy_§py_c<ik°ikt:pycHq}<rvtatacI}¢pqisrAtx<Vnzt { py_ikx° rvlam{ |jikc<m{ py_c { cIxZikqc { br { cHmG¥

^#_cikburAZpnzt:p%urAist:p>iox?py_nzpxZl}_n¨}rAtxZpyql}¢pqisrAt }<nvt DcunvZpqiknvmsmk|«nzlwpqrvb%n-pqisÉHc { rvt}cpy_ac

}<mknAxyxycHx¯_n]¤Ac¬Dc<cHt { c tac { ¥ : x°rv { cIxy}<yikaiktapy_acDc<_n]¤jikrvlaerzpy_ac { iVc<qc<t:p1rvwcI}¢pqxH& cnAx©

xylabcpy_nzpn®´0)z²a½¢º»´Gºã·z² y³<¸)-´6ºã·-²¡iox%n-pypqnA}_ac { pyr¨cHnA}_ }<mknAxyxnvx%nvtn {a{ ispyikrvtnvm$bcpy_r { ¥ ^#_ikx

pqqnvtxyipqisrAt qc<mon-pqisrAt®qc<mon-pycIx%n taispycUxycp%rzeuaqc<¤jikrvlx?iktaualwpnvt { xpn-pyc¤-nvyionzamkcHx¬pqr¨py_acN}<rvqyc<©

xyuDrvt { iktaxycp8rvC}laqycHt:pPrvlwpqualwp nvt { xZpqn-pqc$¤-nzqiknvamscIxrz&cInv}_%}rAtxZi{ cHyc { rAwcH}pH¥g:pqnzpyc(¤-nvyionzamkcHx

rvpq_acHxyc>rAwcH}pqx1}<nvt¡c%cHipq_ac<¬msrw}Hnzmrv¬xZ_nvyc { ¥gjikt}<c>rvwcI}¢px1_n]¤vcÀjtar-$mkc { Acrz#rvtamk|UunvZp

rv8pq_ac%¤-nzqiknvamscIx<Cpy_acIxZc?pynztxZispyikrvt ycHmknzpyikrvtx°qc<mon-pqc ' ).¢´6º*)-¸CxZpqnzpycIx<¥>gjl}_ unvZpqiknvmpynztxyipqisrAt§qc©

mon-pqisrAtxnzqc$}<nvmsmkc { ´Gº»¸k³¢½ist?pq_aikxPunzuDc<Izpqr°qccHpyreualÉ<É<mkc$AnvbcHxHvnebcpqnvua_arAPnzmkycIn { |1lxyc { ikt 06¥

^#_aceunvucHiox#rvqAnvtaikÉ<c { nAxrvmkmsr-(xH¥ ± l nvxyik} b?r { cHm&rzCpqismkcHx$nvt { xy|wxpqc<b%x ikx ikt:pyqr { l}c { ikt

xycH}pyikrvt>w:nzt { c$msis»pPpq_aikx8br { c<mapqrnecpyqitcpnzbc< rvqÀV¥cpqyiatcpnvt { py_acHislatwrvm{ iktaAx8nzqc

uycIxZcHtApqc { istxycH}pyikrvt a¥ iknvvtar:xZiox#ikx { ikxq}lxqxyc { istxycH}pyikrvtdw$_aio}_}rvtxpqipqlwpycepq_ac}rAycerzpy_ikx

unzuDc<I¥ p iox$rAyb¬lamon-pyc { nvx#pq_acqcH}rAtxZpyql}¢pqisrAtrvPnzt+latwrAm{ ikta%qrvb nzmonzqbrAxZcHy¤-nzpyikrvtxHwpy_ikx

ltwrvm{ iktacHt}r { cIx¯nvmsmxyrvmklwpyikrvtx(pqrrAla { iknvvtar:xZiox(uaqrvmscHb¥ iknvvtar:xZiox¯ikx { ioxy}<lxqxZc { ist xZcI}¢pqisrAt

d#lxZikta«c<pyqi tac<platwrAm{ ista:xnvt { py_acHis¤-nzqiknvtApx<¥ t xycH}pyikrvt $¨ cNist:pqyr { l}<cUn¨tacH { n-pqn

xZpyql}pylaqcvV}<nvmsmkc { c<pyqitac<p°mon-pypyio}cIx<&nzt { c¬lxycpy_c<b rv { ionzAtarAxyikxH¥n-pZpqik}<cHx°nzqc1py_c¬uaqrvuDc<

Ac<tacHqnvmsikÉHnzpyikrvtC8pyr«c<pyqi(tacpI$rz°py_acUmknzpZpyio}c { n-pn¡xpqyl}pylaqcHx>lxZc { rv%pq_acUxZpqnzt { nz { A ispyc<qai

nvmsArvqipq_ab rA Nn-~wikblabCikÀvcHmsik_arjr { cIxpqisb%nzpyikrvtrzxZpqn-pqc1pyn-cI}¢pqrvqiscIxiktNxZpyrw}_nvxZpyio}1nzlapyrvb%nzpqna¥

rAyqcHxyuDrvt { iktaUnvmsArvqipq_ab%x¬nvycvik¤vcHt®ikt xycH}pyikrvt 1a¥®^#_ac+}<nAxZcrz { ionzvtrAxyikx¬$ipq_ { ikxZpyqislwpyc {

xylauDc<q¤jikxyrvxeist { ikxq}lxyxyc { ikt¡py_c%lamkmunvucH k Ï¥UgjcH}pyikrvt 2+ikx { c<¤Arzpyc { pyrpq_acikburAZpnzt:p¬}Hnvxyc

ikt $_aik}_§py_c?br { cHmipxZcHm#ikx { |:tnzbik}Hnzmkms|N}_nztaAista¥ iktnzmkms| c { n] xZrAbc?}<rvt}<mslxyikrvtxenzt {

uDc<xyucI}¢pyik¤vcIx<¥

.$¿ C%C(')

tpy_aiox$xycH}¢pqisrAt c¯ikt:pyqr { l}cerAlab%nzpy_acHbnzpyio}<nvmnzbcHrAyÀV¥^#ismkcHx#}rAyqcHxyuDrvt { pqr¬unzypyionzmDpynztw©

xyispyikrvtx$nvt { xy|wxpqc<b%x$nzqc { c tac { nvx$n}<rvmkmscI}¢pyikrvtrzpyikmscIx<¥

(12)

! "#$% '&)(* +(*,%(-

cp. cn $uDrAxqxZikamk|ikt taispyc&(xycp rv¤-nzqionzamkcHxH¥ ,8nA}_¤-nzqiknvamsc0/213. pnzÀAcHx#ispqx(¤-nvmslacIx(iktNxZrAbc

taipqc { rvb%nvist5476j¥ arv98;:<.¯ c%xZc<p7=?>A@CB

6EDF>

4+6:nzt { c?$qispycG=H@I=GJ¥ ,PmscHbc<t:pqx

rv=)nvyc%$qispZpycHtK®nvt { nzqc>}<nvmsmkc { ½¢´()-´ª³¢½1nzt { cHmscHb?cHt:pqxrv=L>¾nzqc { c<trzpyc { j|5KM>nzt { nzqc

}Hnzmkmsc { 8 *Ï½¢´)z´Ï³½ &rv$mkrj}HnzmCxZpqnzpycHxH¥$ rzpycepq_n-pIarA/N138%c1_n]¤Ac0/OPK >-Q @R/OPK Q @RK 6 ¥¦§cxy_nvmsm

}<rvtxyi{ c< msrw}HnzmpynztxyipqisrAtx ycHmknzpyiktamkrw}<nvmDxZpqnzpycHxHj¤vcHy|bl}_iktpq_ac°xqnzbc° n]|?pqqnvtxZispyikrvtx8qc<mon-pqc

xZpqnzpycIxist>xZpqnvt { nz { nzlwpqrvb%n-pna¥^#_cHxyc$msrw}<nvmwpynztxZispyikrvtx$ikmkmac yc<c<qyc { pqrnvx$´6º»¸s³½iktpy_ac(xyc:lacHmG¥

U @ VW8*XKZY

>

X$[-XKM>*\ $&

$_c<qc]8_^`.Èiox%n¨xZlxZc<p%rz¯¤-nvyionzamkcHxHnvt { OaKZY

>

X$[-XK >bQ iox>n§msrw}Hnzm#pynztxZispyikrvtCycHmknzpyikta py_ac

Y>

nztvcHxPr-¤vc< xZrAbc xZc<pfe rzCuDrAxqxZikamkc cH¤vc<t:p mknvcHmkxH¥ lac pyr¬rvla unzypyio}lmknvnzqcHnerviktApqc<qcHxZpHApy_acIxZc

cH¤vcHtApx$ikmsmc yc Alc<t:pymk|¬qccHyqc { pqrnvx )z¸).)¬½ist>py_ac xyc:lacHmG¥Drv

U

nepqismkcv: c xZ_nzmkmxZrAbcpyikbcHx

{ c<tarvpycej|g8ih¬ispqx xZc<p#rv¤-nvyionzamkcHxH¥

:È½]½¢´ª³ )¾iox(n?pqyikuamkc'jk@lVm8nX$=ToFX$p'\¢$_c<qc+8I^q. ikx(n taipqcxycp(rz¤-nzqiknvamkcHxH=ro1ikx(n%xycp

rviktaipqiknvm&xpn-pycIx<wnvt { p ikx#n taipqc1xZc<p rvCpyikmscIx#nzt { 8s@uthvDvw8iha¥Pgj|wxpqc<b%x#}<nvt>c1}<rvbur:xZc { pyr

laism{ monzqvc<(xy|wxpqc<b%xH¥ rvdjbxy@VW8ixX$=

x

o

X$pzx{\|X#}n@l~Xp rxZ|wxZpycHbxHwpq_ac<ik unvqnvmsmkc<m}rvbuDrAxyipqisrAt

j*Zjb°ikx { c tac { nAx rvmkmsr-(x!

j

Zj @ VW8

tg8

X=

o0

=

o

X$p

tgp

\ $G&

nvqnvmsmkc<m&}rAbur:xZispyikrvtikx }rvbb¬lwpqnzpyik¤vcenzt

{

nvxqxyrj}<iknzpyik¤vcA¥

^#_ac1ikt:pycHymkcHn]¤Ac { xyc:lacHt}cervxZpqn-pqcHx$nvt { nzmonzqbx

K o X[XKMX[vXKiXX["zXKzX

iox n ¢µw²>rzPxy|wxpqc<bjXinKior1c=ro¬nvt { rv cInv}_ccRapy_c<qcc~wioxpx

U

@VW8ihX$KZY

>

X[*X$K)> \1p

xyl}_py_nzpH

/L128 h /)OaK)

Y Q @/OPKZY

> Q X$[7@[-X/)OaK Q @q/)OaK >FQ X

nvt { /]128 h /)OaK)

Y Q @/OPK Q

gwist}<c(pqismkcHx

cHyc { qlatCCxqn]|

U

nvt {

U

Ciktj¤vrvmk¤vc { ioxrAist:pxZc<pqx°rz ¤-nzqiknvamscIx<Vi6¥cA¥sb?r { is| { iVc<qc<t:p°mkrw}<nvmxZpqnzpycIx<¥

tpy_ikx(}Hnvxycvjc~a}_nvtavikta

U

nvt {

U

istpy_ce}<rvtxyi{ c<qc { ylat|jiscHm{ x$nztarvpy_acH qlatC¥P^#_ikx#tacH qlatikx

xqnzi{ pqrcec:laik¤-nzmkc<t:p#pyr¬py_ac, qxZp rAtacvwlupqrnvtikt:pyc<qmkcHn]¤jist¥^#_ac°pynztxyipqis¤Ac°}<msr:xZlyc°rzCpq_acxyr

{ c tac { qc<mon-pyikrvtiox8nvt>c:laik¤-nzmkc<t}<c(ycHmknzpyikrvtC¥gjikt}c¯c n { ¤vrw}Hn-pyc(nmsrw}<nvm¤jikc< rzxZpqnzpyc nvt { pyikbcv

º»´ºo½ )A¹Iºo½ )%<¸s³1²V·-´´Ï·¹zºo½´6º»²:¼vµwºo½ ¢µw²a½(´B )-´ ) y³1³µwº )-¸s³<²´µ '´ª· )z²º»²´Ï³ ¢¸s³ )Iº»²:¼ nvZpqiknvmarv { c<

xyc<b%nvtApqik}Hx8iox py_ce}<mknAxyxyio}<nzmVnztxZ c<pyr¬py_aiox#qc:lacHxZpHj c°xy_nvmsmVuaqcHxyc<t:p#ip#istpy_c¯rAmsmkr-$ikta¬xycH}pyikrvtC

lxZikta%n?c<pyqiCtac<p$qnvb?cHrAyÀV¥

:lacHt}cr[ X$[ XsCqcH}<rvtxZpyql}p py_c?xycperz#nzmkmqlatx py_n-p1_n]¤vcpy_aiox1nzmonzqb xZc :lac<t}<c¬nAxyxyrw}ion-pyc {

(13)

$ispy_¨pq_ac<b+¥

cI}cHtApqqnvmsikÉ<c {¨{

iknvvtar:xZioxe$ispy_«nxyistaAmsc>xylauDc<q¤jikxyrvnvt { n {

ioxpqyikalwpqc

{

xyrvx#$ispy_Nnvxy|jt}_aqrvtarAlx#}rAb?b¬lataio}<nzpyikrvtxHaiox#py_ac¬xynvb?c1uyrAamscHb+aist$_ik}_NnunvZpqiknvmsmk|>rA

{

cHyc

{

ynzmonzqb un-pZpqc<qt (ikxnvxqxZlb?c

{

istxpqcHn

{

rvnepyrvpqnvmsmk|¬rA

{

c<qc

{

nzmonzqb xyc:lacHt}cA¥^#_ikx8ikx8py_ac¯uaqrvamkc<b

}<rvtxyi{ c<qc { yrAbtar- rAtC¥

iktnzmkms|A { ikxZpyqikalwpyc {{ ionzAtarAxyioxikxrAyb¬lamknzpyc { nvx8rvmkmsr-(xH¥¦ c¯nvyc¯vik¤vcHt>n}rAburAlat { xy|wxpqc<b

jk@<D jbxZ¥ ,8nA}_1ylat1rvjUuaqrzcI}¢px&rvt:pyr(n#mkrw}<nvmvqlat°rvcInv}_1}rAburAtac<t:p"jbxy¥ ,8nA}_e}<rvbuDrvtacHtAp

_nvx%ispqxr-$t xylauDc<q¤jikxyrvI$_ik}_ }<rvmkmscI}¢pqx%py_acNmkrw}<nvm nzmonzqb%xrz1cHnA}_mkrw}<nvm(yltC¥ ^#_c { iDcHycHtAp

xylauDc<q¤jikxyrvx rvqÀ?}<rvt}<layqc<t:pqms|AAnzikbist¬n-p#}rAtxpqyl}¢pyikta<rAist:pymk|v:pq_ac¯xycp#rznvmsmDyltx8rv"j $_aio}_

}Hnztvc<tc<n-pyc¯py_c°mkrw}<nvmsmk|>rvxZcHy¤Ac { nvmknvybxyc:lacHt}cIx<¥ ikxZpyqislwpyc {{ ionzAtarAxyioxiox#nztnvms|jÉHc { iktpy_ac

lmsmCunzuDc< k Ï¥

W (* (2 Mz#9 M

¦ c1xZ_nzmkm&msis»p(rvla nzbc< rvqÀist:pqr¬pq_ac1brvqc°}<mknAxyxyio}<nzmDnzbc< rvqÀrzc<pyqi&tacpx<¥P^#_ikx#$ikmsmCnvmsmkr-

lx pyrlxyce}<rvqycIxZuDrvt { istnA}À:AyrAlat { pqr { c<¤Ac<mkrvurAla(nzuuayr:nv}_C¥': p$py_aiox$xZpqnzAcvj cenAxyxylabc°py_ac

qcHn { c<ãnzbikmsionz$ipq_¬c<pyqi:tcpqxH¥ py_aioxãnzikmkxpyr°Dc8pq_ac$}<nvxycv]rAisapy_c qcHn { c<c<cHmkxlat}<rvb?rvypqnvamkc

$ispy_+xyrvbcetarzpn-pyikrvtx<wxy_acerv#_aceikx#qccHyqc { pyr?py_ac1tc~jp(xZcI}¢pyikrvt:$_c<qcenvmsmVb%n-pqc<qiknvmVcetacHc { ikx

c<~wur:xZc { ¥¦ cnvyc¬vik¤vcHt§nxZ|wxZpyc<b;j @ Vm8nX$= o X$pT\¢¥¦ c%xZ_nzmkmqc<uycIxZcHtAp7j nvxenmknvcHmsmkc { cpqyi

tcp { c tc { nvx rAmsmkr-(x

^#_ac°uamknA}cIxPrz,_n]¤vc(py_ac¯rvqb L@<Oa/XK 6 Q w$_acHyc/¬nztvcHx8r-¤vcHb8wnzt { K 6 nztvcHx8r-¤vcH

py_ac { rvb%nziktrv"/D¥

^#_ac pynztxyispyikrvtxrz£nzqcClxZppy_acpyikmkcHx

U

12p>¥'rv

U

@<VW8*XKY

>

X[*X$K > \n(pqismkcvz cnAxyxyrw}ion-pqc

pyr%isp(ipx(nzmonzqb}rAburAtac<t:p[«nvx$n?monzDc<m6nzt { c1$yispycO

U Q @[¥

:(qyr-IOP/iX$Ki6 Q

U

Dc<mkrvtAx pyr i- "

/31 8#hVnvt { "

/OPKZY

>

Q @ Ki6j¥gjikbismonzqmk|vVnzqyr-

U Oa/

XKi6

Q

cHmsrAtaAx pqr i®

" /

1]8#hnzt { " /

OaKM>

FQ

@K6¥

^#_c°xyr { c tac { tcp/ioxikt:pycHyuaqcpqc { nvx#ntcp$rz}HnzunA}isp|rvtacA:isp$ikx#xylaxyc:lacHtApqms|pqqnvtxZrvqb?c {

nAxlxylnzmkms|¬ist:pqrn?½ )Z¶³°²D³<´j|ikt}<msl { istanvuauaqrvuaqion-pyc$nvlw~wismkiknvy|1umknA}cHx8nzt { r-ycHmknzpyikrvtxH¥^#_ikx

mkis»pyiktanzmkmsr-(x¯lx¯pyr+}<nAxpervla°uaqrvamkc<b ikt§py_ac?nzbc< rvqÀrv8cpqyitac<pqxH&$_aio}_U c { c<pqnvismtar-1¥

^#_cb%nzuuaistUrz pyikmscIxpqrUpqqnvtxyipqisrAtxiox?ismkmklxpqqnzpyc { ikt Alaycd¥ t®py_aiox vlaqcvpq_ac { ionzvnzb

X_V

X_V :

t ^α^(alarm)

α

in / state

out / state :

ikvlaqced # '

rAtUpq_acmsc<»p { c<uik}pqxnpyikmkcv¥ ? mknA}Àun-p}_acHx Alaqc?¤-nvmslnzpyikrvt§rz$xpn-pyc¤-nzqionzamkcHxH¥ rv98py_ac>xycp

íUýwäªâ6ÞãÙwò]äªâÙÛÚëZõôÛôÛäå Í ÙñwäZõëÏØeá]ôöõëäëZõòeØ]Ý¢ôÛå¯õqâù$Ý¢ÚãâCÝ¢ò]äâGÝ¢ß¢äZò