Fault Tolerant Software Architectures

HAL Id: inria-00073339

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

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- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

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, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Fault Tolerant Software Architectures

Titos Saridakis, Valérie Issarny

To cite this version:

Titos Saridakis, Valérie Issarny. Fault Tolerant Software Architectures. [Research Report] RR-3350, INRIA. 1998. �inria-00073339�

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

Fault Tolerant Software Architectures

Titos Saridakis and Val´erie Issarny

No 3350

TH `EME 1

&('*),+.-/021'435067'4-809"3;:0<>=?1'>@BAC--0197D

EFHGJI(KMLONQPSRJTUKJV?WYXK[ZSTU\]T^ZUGJI(KJT

_a`UbdceKJZSfYbhgjijk]bl`

PmVhn2n2bl`^Zk]K`UKJoCF]K`UoCFHKqprhs?s?tduvN NwL,xynHVhzhKJT

{|}J~[€H‚h~hƒ „ b?nHijp]zBK[X]nHg…i†oijZ^gj\ˆ‡ijZUFv‰ŠVdijg†WH`^KT‹kHWH`UijpHzŒZF]Ko[b?pHo[KJn]ZUi…blpvV?pHkˆZF]K8k]KT^ijz?pŽbd‰T^bh‰Ze‘

‡Vh`UK’k]K[“?K[gjb?nHI(KJplZoblI(nHg…i†o[VhZ^KJTTUijz?p]i…”o[V?plZ^gj\ZUF]Kk]KT^ijz?pHKJ`J•Tceb?–7—$EF]K‹k]KJTUi…zlpo[b?IMn]gjKX]ijZ˜\8g…KVhkHT

ZUbTUbd‰Z˜‡Vh`UKSk]KJTo[`UijnHZ^ijb?pHT™k]i›š8oJW]g…Z™Z^bW2pHk]KJ`TUZUVhp2kœ?‡SFHijoCFFHV,“?KSZ^byWHpHk]K`^z?bIMVhpl\yTUijIMn]gji…”o[VhZ^ijb?pHT

W2p?ZUi…gZF]K[i†`(”`T^Zy‰ŠWHpHo[Z^ijb?p]i†p]zŽ“hKJ`TUi…blp—žEŸbTUW2nHn2bl`^Z(ZUFHKBTU\]T^ZUKJIMVdZUijoŒk]KJ“hK[gjb?n2IyKplZbd‰Oob?IMn]gjKXœ

‰ŠV?W]gjZaZ^b?g…K`UV?plZaT^bh‰Z˜‡ V?`^K?œhZF]ijTnHV?n2K`anH`Ub?nb?TUKJT™Vg†V,\hK`^Kk‰Š`VhI(KJ‡™bl`U¡‰b?`™ZUF]KOVhpHVhg…\]TUijTabd‰7ZUFHKm‰ŠV?W]g…Z

ZUbhgjKJ`VhpHo[KT^bh‰Z˜‡ V?`^KnH`Ub?nKJ`UZ^ijKJTJœŸ‡SF]K`^KZF]K8ZUb?nY‘˜I(b?TUZ‹gjV,\?KJ`‹nH`Ub“Yijk]KT’ZUF]KIyKVhpHT‹‰b?`Tn2Koi…‰\Yijp]z

ZF]KVh–2T^Z`UV?oZ™‰ŠVdijgjWH`UKTUKJIMVhplZ^i†o[T K[X]n2`^KTUTUKJkijpŒZF]K‹ijpHi…ZUijVhg7ob?p2oKJnHZ^ijb?pŒT^ZVdzhK?œHVhpHkŒKVhoCFTWHoJoKJTTUi…“?K

g†V,\hK`’ijTyV¢`UK”p]KI(KJplZZ^b‡Vh`kHT‹V?pK[g†Vh–b?`VdZ^KkvkHKJTo[`Uijn]ZUi…blpbd‰SVB‰ŠV?W]g…ZZ^bhgjKJ`VhplZTUbd‰Z˜‡Vh`UKVh`oCF]i›‘

ZUKJo[ZUWH`UKh—£ŽKŒnH`UKJTUKJplZyZUF]KŒg…b?zhi†o[Vhg™“?KJF]i†ogjKZFHVdZMn2K`UI(ijZUTM`UKJVhTUb?pHijp]zˆb?pžZF]KK¤YW]i…“Vhg…KpHoKŒb?`yZUF]K

o[b?IMnHVhZ^i†–]i…gjijZ˜\bh‰5ZF]K“Vh`Uijb?WHTK[XHnH`^KTUTUijb?pHTbh‰‰ŠV?W]gjZmZ^b?g…K`UV?pHoKn2`^bln2K`^ZUi…KTSVdZS“V?`^ijb?WHTV?–HTUZU`VhoZUi…blp

gjK[“?K[g†T[—¥epMVhkHk]ijZ^ijb?p7œh‡ KSnH`^bln2blT^KV‹IMVhnHnHijp]z‹ToCF]KJIMV2œd‡SF]i†oCF(nKJ`I(i…ZT"ZUFHKSob?``UKJoZ5Z`UV?pHTe‰bl`UIMVhZ^ijb?p

bh‰V?–HT^Z`UV?oZKJplZUi…ZUi…KTijplZ^b8o[b?pHoJ`^KJZ^KOb?p]KT[œHk2WH`^i†p]zV`UK”p]KI(KJplZnH`^b]o[KJTT[—

¦B§l¨.©ª« ¬}hƒ ­ `UoCFHi…ZUKJoZWH`UKPSK”®p]KJI(KJplZJœ¯®VhW]gjZ°EbhgjKJ`VhpHo[Khœ¯2b?`IMVdg"fYn2Koi…”o[VhZ^ijb?pHTJœ.fYbd‰Z˜‡Vh`UK

­

`UoCFHi…ZUKJoZWH`UKJTJ—

±³²´Uµ4¶J·´¸¹jµ4º4»¼

Unit´e de recherche INRIA Rennes

} ƒ VSnH`UijTUK$KJpob?IMn]ZUKak]K k]R‰ŠVhi…gjgjV?pHoKTŸIMVdZUKJ`Ui…KJg…gjKJTŸK[Z7gjbhz?ijo[i…KJg…gjKJToblI(nHg…i†¤YW]Kak]K I(V?p]ijGJ`UK

TUijz?p]i…”o[VhZ^ij“hK(g…KT’nHFHVhTUKJT‹k7•V?pHVdgj\]T^K(K[Z‹k]KoblpHoKn]Z^ijb?pvkHWŽg…b?zhi†oijK[g>— „ KJZ^Z^Ko[b?IMn]gjKX]i…ZURT^KMZU`Vhk2W]i…Z

n2Vh`kHKJTŒk]KJTo[`UijnHZ^ijb?pHTŒkHW gjbhz?ijo[i…KJg°k]i…š8oijg…KT oblI(n2`^KpHkH`UKhœK[ZŒk]K[“V?p?Z[Z`^KŽob?p2T^i†k]RJ`Vh–Hg…KIyKplZ

TUi†I(nHg…i…”2R[KTn2blWH``^RVdgjijTUKJ`agjV(nH`UKJI(i…G`^KO“hK`UTUijb?pkHWg…b?zhi†oijK[g>— ­ ”pŒk]K‹TUWHn2n2bl`^ZUKJ`™g…K’k]R[“?K[gjb?nHnKJI(Kp?Z

TU\]T^ZURJIMVdZUij¤YW]K8k7•WHp g…b?zhi†oijK[g$ZUbhgjRJ`VhplZVhWYXv‰ŠVhW]ZUKJTJœ"p]b?WHTynH`Ub?nb?TUb?pHT‹WHpHKVhnHn2`^b]oCF]K8F]ijRJ`Vh`oCF]i†¤YW]K

nb?W2`g*•Vhp2Vdgj\YTUKk]KTmnH`Ub?nH`UijR[Z^RTg…ijR[KTMg†VZ^b?g…R`UV?pHoK‹V?WYX‰ŠV?W]Z^KT[—’VhpHT°oKoJVhkH`UK‹F]i…R`UV?`UoCFHij¤YW]K?œHg…K

nHgjWHT’FHV?W]Z’p]i…“?KJV?W ‰b?W2`Up]ijZOg…KMI(b\hKJpvk]KMTUnRJo[i›”2K`°‰b?`IyKJg…gjKJI(Kp?ZOgjKJT’T^RIMVhplZ^i†¤YW]KJTOk]KMk]R‰ŠVhi…gjgjV?pHoK

`UKJ¤YW]i†TUKJTyg…bl`UT(k]KŒgjVŽnHFHV?T^Kijp]ijZ^i†VdgjKBk]KBgjVvob?p2oKJnHZ^ijb?pœ$KJZygjKJTMp]ij“hKVhWYX TW]ij“,V?plZUTMn2K`UI(KJZ^Z^KplZMW2p

`Vš8p]KI(KJplZ™zl`UV?kHW]KJg®“?KJ`TWHp]Kk]KTUoJ`^i†n]Z^ijb?pR[g†Vh–b?`UR[K’k•WHp]K‹Vh`oCF]ijZ^KJo[ZUWH`UKOg…b?zhi†oijK[gjg…KOZ^b?g…R`UV?p?ZUKOV?WYX

‰ŠV?W]Z^KT[—’VhpHTo[K‹`UV?nHn2bl`^ZJœ]p]b?WHTnH`URJTUKJplZUb?pHTp]b?ZU`UKOTUbhg†W]Z^ijb?pn2blWH``Vdi†T^blpHp]KJ` TWH` g*•RJ¤YW]ij“VdgjKJpHo[K°blW

–Hi…Kp¢g†Vo[b?IMnHVdZUij–Hi…gji…ZUR(kHKJTOTUnRJo[i›”oJVdZUi…blpHT’k]K(n2`^blnH`^ijR[ZURJT°k]KyZUbhgjRJ`VhpHo[KyV?WYXB‰ŠVhW]ZUKJT’k]KJT’k]i.RJ`UKJplZUT

pHi…“?KJVhW]X.—apMb?WHZU`UKhœ?pHb?WHT"k]R[”p]i†TUTUb?p2T$WHp]KS`UK[g†VdZUi…blpy¤YW]i2nKJ`I(K[ZakHKz?Vh`VhplZUij`Jœg…bl`UT"k2W(`Vš8p]KI(KJplZ[œ

g†V(ZU`VhpHT^‰b?`IMVdZUi…blpobl`U`UKJo[Z^K’k]KJTKplZ^ijZ^RJTmVh–HTUZU`VdijZ^KT™KpŒKJplZ^ijZ^RTob?p2o[`UG[Z^KT[—

q« ~} © ‚ ƒ P°Vš8p]KJI(Kp?Z‹k•Vh`oCF]ijZ^KoZUW2`^KT[œ7EbhgjRJ`VhpHo[KyV?WYX¢‰ŠVhWHZ^KJTJœfYnRJo[i›”®o[VdZUi…blpHTO‰b?`I(K[gjg…KT[œ

­ `UoCFHi…ZUKJoZWH`UKJTgjbhzhi†oijK[gjgjKJTJ—

B a#

fYbd‰Z˜‡Vh`UKk]K[“?K[gjb?nHI(Kp?Zy–2Kob?I(KTK[XYZ`^KI(K[gj\kHi›š8o[WHg…ZMVhTyk]i.KJ`UKJplZ ŸVhTnKJoZT*Kh—z2—

V,“Vhi…g†Vh–]ijgji…Z˜\?œŸ`^KJg…i†Vh–Hi…gji…Z˜\?œTUKJoJWH`^ijZ˜\hœK[ZoOi†plZ^KJ`^‰KJ`UKM‡i…ZFZUF]K "!$#%V?TUnKJo[ZUT‹bh‰ ZF]KTUbd‰Z˜‡Vh`UK

*i*—Kh—5ZF]KmTn2Koi…”oSnHWH`nb?TUKSZUFHVhZ$ZUFHK°TUbd‰Z˜‡Vh`UKTUKJ`U“hKTC—EF]K°T^bh‰Z˜‡ V?`^Kk]KT^ijz?p]K`"i†TaoblpY‰Š`Ub?plZ^Kky‡ijZUF

pYWHI(K`^blWHTnH`^bl–]gjKJIMT ‡SF]KJpZU`U\Yijp]zMZUbM`UK”®p]K‹T^blIyK’Vh–2T^Z`UV?oZTUnKJo[i›”oJVdZUi…blpHT ijplZ^bV(‡ K[gjgb?`Uz?VhpHi'&JKJk

TUbd‰Z˜‡Vh`UKTUZU`WHoZWH`^K?œbl`m‡SFHKJp Z`^\Yi†p]z8Z^bijp2ob?`nb?`VdZ^KKX]ijTUZ^i†p]zŒT^b?gjW]ZUi…blpHTSi†plZ^bŒV8p]K[‡VhnHn]gji†o[VdZUi…blp

‰Š`VhI(KJ‡™bl`U¡®— aIMn]g…b\Yi†p]zŒZUF]KnH`Uijp2oi†n]g…K(bd‰)( *,+.-/012. 34+/*5™ijpvb?`k]KJ`mZ^bŒijp2k]KJnKJpHkHKJplZ^gj\

V?pHVdgj\$&[KV?pHk¢WHp2k]KJ`T^ZVhpHkBZF]KMIW]ZWHVdgijplZUKJ`^‰KJ`UKJpHo[KJTSbh‰$ZUF]K(“Vh`Ui…blWHTSTUbd‰Z˜‡Vh`UKVhTnKJoZT[œ.FHV?T°–K[Kp

kHb?WH–]ZUKJk T^i†pHoKŽZUFHKŽi†pHk]Kn2KpHk]KpHoKžVhTTWHIMn]Z^ijb?p;kHblKTBp]bhZ Vdgj‡V,\YTF]bhg†k— _"V?`^ZUijoJW]gjV?`^gj\hœmijp ZUF]K

kHb?IMVdi†p bh‰S‰ŠVhW]gjZMZ^b?g…K`UV?p?ZMTUbd‰Z˜‡Vh`UKhœ$Vvg…b?Z(bh‰mK.b?`UZFHVhTM–K[Kp IMVhkHKZUbvi†k]KJplZUi›‰\ VvpYWHIy–2K`ybh‰

V?–HTUZU`VhoZUi…blpHT8ZFHVdZŒo[V?n]ZUWH`UKˆZF]KŽijIMnb?`UZUVhplZŒT^bh‰Z˜‡ V?`^Kˆn2`^bln2K`^ZUi…KTVhp2k TWHnHnH`UKJTT8ZF]Kvi†``^KJg…KJ“,V?plZ

kHK[ZUVhi…g†T‡ijZUFB`^KTUnKJo[ZZ^bZUFHK’‰ŠVhW]gjZZ^b?g…K`UV?pHoK’T^bh‰Z˜‡ V?`^K’nH`Ub?nKJ`UZ^ijKJT6ŠK?—z—$T^KJK7t8VhpHk7…L98—

EF]K(‰b]o[W2T°bh‰aZUFHijT‹nHV?n2K`OijTOZUFHKMV?pHVdgj\]T^i†T°bd‰$‰ŠV?W]g…Z’ZUbhgjKJ`VhpHo[KyTUbd‰Z˜‡Vh`UKnH`Ub?nKJ`UZ^ijKJTJœ7VhpHkˆZUF]KJij`

i†pHo[b?`n2bl`UVhZ^ijb?p‹i†p(ZUF]KSk]KTUoJ`^i†n]ZUi…blpbh‰.V’TUbd‰Z˜‡Vh`UK V?`UoCF]ijZ^KoZWH`^K?— "X]i†T^ZUijpHz‹‡™bl`U¡’i†p(ZUF]K”2KJgjk(bh‰‰ŠV?W]g…Z

ZUbhgjKJ`VhplZ7TUbd‰Z˜‡Vh`UKZUKJTUZ^i…”2KJTŸZUFHVhZ7ZUFHKaT^\]TUZ^KI –KJFHV,“Yijb?`i†p’ZUFHKanH`UKJTUKJpHo[K"bd‰Y‰ŠVdijgjW2`^KT.‰b?`IMTŸ–l\mijZUTb‡Sp

VT^KnHVh`VdZUKk]blI(Vhijpˆbd‰™TUbd‰Z˜‡Vh`UKo[b?pHo[KJn]ZUi…blp¢VhpHkˆk]KJTUi…zlp— ­ plW2I–KJ`°bd‰$‰ŠVhi…g†WH`UKyTUKJIMVhplZ^i†o[TOFHV,“?K

–K[KpMk]K”pHKJk(Z^bk]KTUoJ`^i†–K ZF]KSnb?TT^i†–]gjK™‰ŠVhi…g†WH`UKSI(bYkHKJT5bd‰V’T^bh‰Z˜‡ V?`^K?œdVhpHkMVO‡i†k]KS`UV?p]zhK bd‰.zhKp]KJ`Ui†o

‰ŠV?W]gjZZUbhgjKJ`VhpHo[K™ZUKJoCFHpHij¤YW]KT"FHV,“hK–2KJKJpMk]KJ“hK[gjb?nKJkijp2k]KJnKJpHkHKJplZ^gj\‰Š`Ub?IqTUb?I(KTUnKJo[i›”®oVhnHn]gji†o[VdZUi…blp

kHb?IMVdi†p—5EF]KSoblpHT^K¤YW]KJplZ"n]g†WH`UVhg…ijZ˜\bh‰.I(KoCFHVhp]i†TI(T"n2`^b“Yi†k]ijpHz°‰ŠV?W]gjZ$Z^b?g…K`UV?pHoK?œd`^KpHk]KJ`T$F]bln2KJg…KTUT

V?p KXHFHV?WHTUZ^ij“hKyTUKJV?`UoCFBnKJ`^‰b?`I(KJk¢–l\¢FYWHIMVhpHTm‰b?`°ZUFHK‰ŠV?W]g…ZOZ^b?g…K`UV?plZmI(KJoCFHV?p]ijTI ZUFHVhZO–KJTUZ°”2ZUT

V¢zhij“hKJpžV?nHn]gjijoJVdZUi…blp— ¥ep Vhk2k]i…ZUi…blpœ5‡i…ZF]b?WHZyVˆo[b?IMI(b?pž–HV?T^i†T‹ZUbvWHpHkHKJ`n]ijp ZUF]KijplZ^KJz?`VdZUi…blpvbh‰

ZF]K(‰ŠVhW]gjZ‹Z^b?g…K`UV?pHoKMnH`Ub?nKJ`UZ^ijKJT’‡ijZUFvbhZF]KJ`‹TUbd‰Z˜‡Vh`UK(V?TUnKJo[ZUTJœ7“hK`^i…‰\YijpHzZF]K8obl`U`UKJo[ZUp]KTUT°bd‰ZUF]K

`UKJTW]gjZ^i†p]zT^bh‰Z˜‡ V?`^KO–2KoblIyKTi†I(nb?TTUij–]gjKh—

¯b?TUZ^KJ`UKJk –l\ŒZUF]KyV‰b?`UKJI(Kp?ZUi…blp]KJk‰ŠV?oZUTJœ®b?WH`S`UKJTUKJV?`UoCFBVhijIMTSVhZmnH`Ub“li†k]i†p]z8I(KJV?pHTSZUbTUW2nHn2bl`^Z

ZF]KvTU\]T^ZUKJIMVdZUijovVhpHVhg…\]TUijT8bd‰‹‰ŠVhWHg…ZŒZ^b?g…K`UV?pHoKˆTUbd‰Z˜‡Vh`UK¢nH`Ub?nKJ`UZ^ijKJTJœSVhpHk;ZUF]K`^KVhTUb?p]i†p]zžblp ZUF]K

o[b?``^KoZp]KJTTmbh‰™ZF]K[i†`’ijplZUK[z?`VdZUi…blp¢‡ijZUF]i†pVTUbd‰Z˜‡Vh`UKMVh`oCF]i…ZUKJo[ZUWH`UKh—y£vK8k]bBp]b?ZT^KJKJ¡BZ^b nH`Ub“YijkHK

TUb?I(Kgjijp]zlW]i†T^ZUijoTWHnHnb?`UZ5‰b?`5ZF]Kmk]Kog†Vh`VdZ^ij“hKk]KTUoJ`^i†n]Z^ijb?p(bh‰®ZF]K‰ŠVhW]gjZ"Z^b?g…K`UV?pHoKTUbd‰Z˜‡Vh`UK V?TUnKJo[ZUT

VhZOkHi.KJ`UKJplZ’k]K[“?K[gjb?nHI(KJplZ’T^ZVdz?KJTJœ.pHb?`°Z^bBnH`^blI(bhZ^KMTUb?I(KgjKX]i†ob?pˆbd‰azl`UV?nHF]i†oZUKJ`I(TOZFHVdZO‡™blW]g†k

‰ŠV?oijg…ijZUVhZ^KZUFHK zl`UV?nHF]i†o[Vhgl`UKJnH`UKJTUKJplZVdZ^ijb?pbd‰®`UK[g†VdZUi…blpHTVhI(b?p]z’TUbd‰Z˜‡Vh`UKaKJplZUi…ZUi…KT5bd‰KVhoCFyT^ZVdzhK?—;:OWH`

n2`^i†IMVh`U\I(bhZUi…“VdZUi…blpBijT°Z^b`^KJg…ijK[“?KZUF]K(T^bh‰Z˜‡ V?`^K‹k]KT^ijz?pHKJ`‰Š`Ub?IZUFHKy–HWH`k]KpBbd‰a`UK”p]i†p]z–l\BFHVhp2k

ZF]KVh–2T^Z`UV?oZT^bh‰Z˜‡ V?`^K’Tn2Koi…”o[VhZ^ijb?pHTi†pŒb?`k]KJ`ZUbMb?–]ZVdi†pŒVo[b?pHoJ`^KJZ^K‹TU\YTUZ^KIŒœ2VhpHkŒblWH`b?–YceKoZUi…“?K

i†T Z^bnH`Ub“Yijk]KOV‰bl`UIMVhg‰Š`VhI(KJ‡™bl`U¡y‰b?` ZF]K‹TUnKJo[i›”oJVdZUi…blp8bd‰‰ŠVhW]gjZZ^b?g…K`UV?pHoKOT^bh‰Z˜‡ V?`^KOnH`^bln2K`^ZUi…KT[œ

‡SFHijoCF‰ŠW]g…”2g…g†TZF]K’‰bhgjg…b‡i†p]zo[`UijZ^KJ`Ui†V/<

Lh—¥˜Zyi†T(nH`^Koi†T^KKJp]blW]z?FžTUbvV?TZ^bŽVdgjg…b‡ ZF]KV?o[o[W2`UVhZ^K8K[X]n2`^KTUTUi…blpbd‰‰ŠV?W]g…ZyZ^b?g…K`UV?p?ZynH`^bln2K`e‘

Z^ijKJTJœ‡SF]ijg…KˆVhZ8ZUFHKˆTUV?I(K¢Z^i†I(K¢i…ZTUF]blW]g†k –2K¢z?KJp]K`^i†oBKJpHb?W]zlF TUb V?T8p]bhZZ^b `UKJTUZU`Uijo[Z8ZUF]K

ijp2k]KJnKJpHkHKJpHo[K‹bd‰5ZUF]KVhg…z?b?`Ui…ZFHI(ijoOT^bh‰Z˜‡ V?`^K’VhTnKJoZT[—

= —¥˜Z5ijT5`UijoCF‹Kp]b?WHz?FTUb°V?TZ^b’Vdgjg…b‡žZF]Kk]KJkHW2oZ^ijb?pbd‰n2`^bln2K`^ZUi…KTŸK¤lWHi…“VdgjKJp2oK b?`ob?IMnHVhZ^i†–]ijg…ijZ˜\h—

sH—¥˜ZSTUW2nHn2bl`^ZTI(KJVhp2TZUFHVhZz?WHV?`UV?p?ZUK[KOZUF]K`UK”®p]KJI(KJplZobl`U`UKJo[ZUp]KTUT ‡SF]i†oCFB`^KnH`UKJTUKJplZUTV(ZU`VhpY‘

T^ijZ^ijb?p(‰Š`Ub?I VTUbd‰Z˜‡Vh`UKSk]K[“?K[gjb?nHI(Kp?Z$TUZUVhzhKSZUbZUFHK°p]K[XYZab?p]K?—¥˜Z™TUF]blW]g†kVdg†T^b–K°nb?TT^i†–]gjKSZ^b

WHTUKSZUF]KT^K°IyKVhpHTaijpMZF]Km`UK[“?KJ`T^KTUKJpHTUKhœlZ^b‹i†k]KJplZUi›‰\MZUFHKmVh–HTUZU`Vho[Z$TUnKJo[i›”®o[VdZUi…blpHT5‰Š`Ub?I‡SF]i†oCF

V(zhij“hKJpŒnH`Ub?nKJ`UZ˜\8i†Tk]KJ`Ui…“?KJk—

EF]K8`UKJIMVhijpHkHKJ`’bd‰ ZUF]i†TnHV?n2K`’ijTT^Z`UWHo[ZUWH`UKJkŽVhTO‰b?g…gjb‡ST<Oi†pŽZUF]K8pHKX]ZT^KoZUi…blpˆ‡ KnH`^KT^KplZ’V

g†V,\hK`^Kkk]KJo[b?IMn2blT^ijZ^ijb?pbh‰SZUF]KŒT^bh‰Z˜‡ V?`^K8kHK[“hKJg…blnHI(KJplZnH`Ub]oKTUTZUFHVhZynH`Ub“Yijk]KTVhp ijpHTUijz?FlZ‹‰Š`Ub?I

kHi.KJ`UKJplZS“YijK[‡Snbhi†p?ZTSblpZF]KyV?pHVdgj\]T^i†Tbh‰5ZF]K‹‰ŠV?W]g…Z°Z^b?g…K`UV?pHoK‹TUbd‰Z˜‡Vh`UKnH`^bln2K`^ZUi…KT[— ¥epˆflKoZ^ijb?p s

‡ KMk]K”pHKZUF]K(‰b?`IMVdg‰Š`VhI(K[‡ b?`¡ŒZUFHVhZ’TWHnHnb?`UZUT’ZF]KTUnKJo[i›”®o[VdZUi…blpˆbh‰a‰ŠV?W]g…Z’ZUbhgjKJ`VhpHo[K(TUbd‰Z˜‡Vh`UK

n2`^bln2K`^ZUi…KT[œ®ZUF]K`UKJV?T^blp]ijpHzb?p¢ZF]KMob?``UKJoZp]KJTTSbh‰$ZUF]KJij`’`UK”pHKJI(KJplZUTJœVhpHkˆZUF]KMk]KkHWHoZUi…blp¢bh‰aZUF]K

n2`^bln2K`^ZUi…KTSbd‰$ZF]K[i†`Oob?IMnb?TUi…ZUi…blpHTJ—m¥epŽfYKJoZUi…blp 9‡ Kyn2`^bln2blT^KVog†VhTT^i…”o[VhZ^ijb?p ToCF]KJIMV–HVhTUKJkBblp

ZF]KnH`UK[“Yijb?WHTUg…\ijplZU`Ub]kHWHo[KJk‰b?`I(Vhg‰Š`VhI(K[‡ b?`¡®œl‡SFHijoCFŒb?`Uz?V?p]i&[KJT™ZUFHK‹‰ŠVhW]gjZZ^b?g…K`UV?pHoK‹nH`Ub?nKJ`UZ^ijKJT

i†pV‹‡V,\yZFHVdZ™Vdgjg…b‡ST"ZF]K[i†` T^\]TUZ^KJIMVhZ^i†oVhpHkK[š8oijKJplZa`UK[ZU`UijK[“Vdg2k2WH`^i†p]zVTUnKJo[i›”oJVdZUi…blp`^K[”p]KJI(Kp?Z

n2`^b]oKTUTJ—7EF]Kan2`UV?oZ^i†o[VhgdWHTUK"bd‰]ZUF]K™og†VhTT^i…”o[VhZ^ijb?pOTUoCFHKJIMV ijTk]ijTo[W2TUTUKJk°ijpfYKJoZUi…blpt]— ­ ob?IMnHV?`^i†TUb?p

‡ijZUFŒ`UK[g†VdZ^Kk8‡ b?`¡MijTn2`^KT^Kp?ZUKJkijp flKJo[Z^ijb?p œHV?pHkZF]K‹nHVhnKJ`o[b?pHo[gjWHkHKJT‡ijZUFŒV(–2`^ijK‰5TUWHIMIMVh`U\hœ

Vk]ijTo[W2TUTUi…blpBb?p ZF]Kbl`^ijzhi†pHVhg…ijZ˜\bh‰$b?WH`°ob?plZ`^i†–HW]ZUi…blpœV?pHk¢Vn2`^KT^Kp?ZVdZUi…blpbh‰ao[WH``UKJplZS‡ b?`¡Vhp2k

bln2Kpi†TTUW]KT[—

M S y

%

E`Vhk]ijZ^ijb?pHVhg…gj\hœ2ZUF]KTUbd‰Z˜‡Vh`UKk]KJ“hK[gjb?n2IyKplZSnH`^b]o[KJkHWH`UKFHV?TS–2KJKJp¢kHKJoblIMn2blT^Kki†plZ^b8ZF]K‹‰b?g…gjb‡ijpHz

TUZUVhzhKT<S`UKJ¤YW]i†`^KI(KJplZUTJœ®TnKJoi…”oJVdZ^ijb?p2T[œk]KT^ijz?pœ7o[b]k]ijpHz2œ.Z^KT^ZUijp]zœ7VhpHkˆI(VhijplZUKJpHV?pHoK?—O¥epvZUFHijT’TUKJoC‘

ZUi…blp‡ KSijplZ`^b]kHWHo[KmVkHi.KJ`UKJplZ™kHKJoblIMn2blT^ijZ^ijb?pMZFHVdZ™ijT –2KJZ^ZUKJ` TUW]ijZ^KkM‰b?`aZUF]KOVhpHVhg…\]TUijTabd‰ZUFHKm‰ŠV?W]g…Z

ZUbhgjKJ`VhpHo[KTUbd‰Z˜‡Vh`UKnH`Ub?nKJ`UZ^ijKJTJ— EF]KBnH`Ub?nb?TUKJk k]KoblI(nb?TUijZ^ijb?p `UKKJoZT(ZUF]K TWHo[o[KJTT^ij“hKŒ`^K[”p]K‘

I(Kp?ZTbd‰ZUF]KV?–HT^Z`UV?oZVhpHkŒIMVhoJ`^blTUo[b?n]i†oS“YijK[‡ blpZF]KO‰ŠVhW]gjZZ^b?g…K`UV?pHoK’TUbd‰Z˜‡Vh`UK°nH`Ub?nKJ`UZ^ijKJTJœYijplZ^b

VIyi†o[`Ub?Tobln]i†oVhpHk¢K[g†Vh–b?`VdZ^Kk k]KJTo[`Ui†n]Z^ijb?pBbh‰$ZUF]K(T^bh‰Z˜‡ V?`^KKJg…KI(KJplZUT°ZUFHVhZ°V?o[oblIMn]g…i†TF V8zhij“hKp

‰ŠV?W]gjZ‹Z^bhgjKJ`VhplZO‰ŠWHpHo[Z^ijb?pHVhg…ijZ˜\h—mbhZUijo[KMZUFHVhZZUF]K8n2`^bln2blT^Kkvk]KJ“hKJg…blnHI(KJplZ‹k]KJo[b?IMn2blT^ijZ^ijb?pvi†ToblI‘

nHg…KIyKplZUVh`U\MZ^b(ZUF]K’Z`UV?k]i…ZUi…blpHVdg®b?pHKO`VdZF]KJ`™ZUFHV?pV?pVhg…ZUKJ`pHVdZUi…“?KhœYVhpHki…ZnKJ`IyijZUT ZF]K‹k]KJTUi…zlp]KJ`™Z^b

‰b]oJWHTb?pŒZUFHK’‰ŠVhW]gjZZ^b?g…K`UV?pHoK’VhTn2KoZTbd‰TUbd‰Z˜‡Vh`UK’k]K[“?K[gjb?nHI(KJplZJ—

ˆV?o[`Ub?Tobln]ijoJVdgjg…\?œ2ZF]K(kHK[“hKJg…blnHI(KJplZObd‰"‰ŠVhWHg…ZOZ^b?g…K`UV?p?ZOT^bh‰Z˜‡ V?`^KyT^ZVh`UZUTO–?\¢TnKJoi…‰\YijpHzZUFHKMTUK‘

IMV?p?ZUijoJTbd‰]ZF]KaTUZUVdZUKJTZFHVdZTUF]blW]g†k‹–2Ka`UKJV?oCF]KJk’Vd‰Z^KJ`7ZUF]K$b]oJo[WH``^KpHoK"bh‰YV‰ŠVdijgjWH`UKh—EF]KJTUKaTUKJIMVhplZ^i†o[T

`UK‰K`’ijpz?KJp]K`UVhg"Z^b ZF]K`UK[g†VdZ^ijb?pvbd‰ZF]KTUZUVdZUK8V‰ZUKJ`‹ZF]KM‰ŠVdijgjW2`^K?œ‡ijZUFžTUb?I(K8obl`U`UKJo[Z‹T^ZVdZ^KZFHVdZ

oJVhpŽ–2K8`UKJV?oCF]KJkŽ–l\¢ZUFHKT^bh‰Z˜‡ V?`^K?—y¯b?`’K[X]V?IMn]g…K?œŸZF]K3 ,+,T^KI(V?plZ^i†o[T‹o[V?pv–K8k]K[”p]KJkV?T‹ZUF]K

o[b?pHTUZU`Vdi†plZ"ZUFHVhZaZF]K°TUZUVhZ^K°Vd‰Z^K`$ZUFHKm‰ŠVhi…g†WH`UKmTUFHb?W]g†k–2K’VTWH–HTUK[Z™bd‰7T^blI(K°TUZUVdZUKmnH`UKJo[KJk]i†p]zZF]KS‰ŠVhi›‘

g†WH`UK Ši>—K?—aZUFHK’‰ŠWHpHoZUi…blpHVdgjijZ˜\bd‰ZUF]KyT^\]TUZ^KJI Iyijz?FlZSk]KJz?`Vhk]K‹–HWHZSVdgjg‰ŠVdijgjW2`^K’K.KJo[ZUTSV?`^K‹`UKJI(b“hKk —

¥ep VˆTUijI(ijgjV?`‡V,\hœ5ZUF]KBTUKJIMVhplZ^i†o[Tbd‰ ', BVhpHk + o[V?p –K`UKJTn2KoZ^ij“hKJg…\žk]K[”p]Kk

V?T°`UKJV?oCF]i†p]z8VTUZUVhZ^KyZUFHVhZOoJVhp¢–K(`UKJV?oCF]KJk –l\ TUb?I(K‰ŠVhi…g†WH`UK‘>‰Š`^KJKKX]KJoJW]Z^ijb?p¢bd‰aZF]K(TUbd‰Z˜‡Vh`UK *i*—Kh—

‰ŠVhi…g†WH`UK°K ®KoZT V?`^K’`UKJnHVhij`UKJk CœlV?pHkŒ`^KVhoCF]i†p]zV(T^ZVdZUK°ZFHVdZi†pHog†WHk]KTVyo[b?``^KoZ™TUZUVhZ^K%Ši>—K?—$V‰ZUKJ` ZUF]K

‰ŠVhi…g†WH`UKZF]KJ`UKyTUZ^ijg…g5K[XYi†TUZUTOVnHV?`^Z°bd‰$ZF]K(TU\]T^ZUKJI ZUF2VdZ’ob?``UKJoZUg…\BnH`Ub“Yijk]KTSZF]K(o[b?IMn]gjK[ZUK(TUbd‰Z˜‡Vh`UK

‰ŠW2pHoZUi…blpHVdgji…Z˜\ C—EF]K™‰b?`IMVdgji'&VdZUi…blp‹bd‰®ZUF]KT^KT^KIMVhplZ^i†o[Ti†Tz?i…“?KJpijpZUF]Kp]K[XYZ"TUKJo[Z^ijb?pœi†pZF]KWHnHnKJ`

n2Vh`UZ bh‰EVh–]gjKLh—

EF]KBIMVhoJ`^blTUo[b?n]i†oTUnKJo[i›”®o[VdZUi…blpHTybd‰‰ŠVdijg†WH`^KŒT^KIMVhplZ^i†o[T(TUFHb?W]g†k –KŒ`UK”pHKJkžZUbŽnH`Ub“YijkHKI(b?`UK

i†pY‰bl`UIMVdZUi…blp Vh–b?WHZyZF]KŒn2`^bln2K`^ZUi…KTbh‰SZUF]KB`^KVhoCF]Kk TUZUVdZUKh—¯2bl`K[XHVhIMn]gjKhœ$ZF]KŒkHKJTUi…zlp]KJ`(FHVhTyZ^b

kHijTUZ^i†p]z?WHijTFBVhI(b?p]z(ZUFHK`^K[‘>i†p]ijZ^i†Vdgji'&VdZUi…blp8bd‰5ZUFHKT^\]TUZ^KJIŒœHZF]K`UKJI(b“Vdgbd‰5ZUFHKnHVh`UZbd‰5ZUF]KTU\]T^ZUKJI

V ®KoZUKJk –?\ ZUF]KŒ‰ŠVdijg†WH`^K?œ™V?pHk ZF]K `^Kn]g†VhoKI(KJplZybh‰°ZF]K¢V .KJo[Z^KJk nHV?`^ZM–l\ Vob?``UKJoZyb?p]K?— EFHijT

`UK”®p]KJI(KJplZ’bd‰™‰ŠVdijgjW2`^KTUKJIMVhplZ^i†o[T’VhZOZF]K8TUKJoblpHkˆkHK[“hKJg…blnHI(KJplZ‹T^ZVdz?KhœgjKJVhk2T’Z^b oblpHT^Z`UVhijplZT°ZFHVdZ

z?i…“?K™VOT^Z`^i†oZ"k]K[”p]ijZ^ijb?pbd‰‡SF2VdZ5T^ZVdZ^KTF]b?W]g†k–K`^KVhoCF]Kk—V?T^Kk‹b?pZUF]i†T"k]K”®p]i…ZUi…blpœdZF]Kk]KJTUi…zlp]KJ`

F2VhT$ZUbTn2Koi…‰\ ! ZUby`UKJVhoCF(ZFHVdZ T^ZVdZ^K?— ­ p]K[‡;`UK”®p]KJI(KJplZ$ZVh¡hKJT$n]g†Vho[KhœlZUFHVhZagjKJV?kHT$ZUbZUF]K°ZUF]i†`k

kHK[“hKJg…blnHI(KJplZ‹T^ZVdz?Kh—M¥epŽZUF]i†TTUZUVhzhKhœŸZUF]K8TU\]T^ZUKJI i†T‹“Yi…KJ‡™KkVhT‹VBT^KJZ‹bd‰b?–YceKoZT[œŸV?pHkŽZUF]K8TUK[Z‹bh‰

bl–YceKJo[ZT^ZVdZUKJT’‰bl`UIMTV-/ 1¢bd‰ZF]KTU\YTUZ^KI TUZUVhZ^Khœi>—K?—ZF]KJ`UKijTp]bˆTUZUVdZUK8TUF2Vh`Uijp]z –K[Z˜‡ K[Kp

V?pl\8Z˜‡™bbl–YceKJo[ZUTJœHVhpHkŒZF]KWHp]ijb?pŒbh‰5Vhg…g7bl–YceKJo[ZST^ZVdZUKJTz?i…“?KJTZUFHKT^\]TUZ^KI T^ZVdZUKh— :O–]ceKJoZTi†p?ZUKJ`Vho[Z

–l\ nKJ`^‰b?`I(ijpHzž¥ : V?oZUi…blpHTVhTk]K[”p]Kk –l\ ZUF]K „ fY_ o[b?IMnHW]ZVdZUi…blp I(b]k]KJg*— EFHK zhb?Vhgbd‰’ZUF]K

`UK”®p]KJI(KJplZgjKJV?k]i†p]z Z^b¢ZF]i†TTUZUVdZUK8i†TZ^bvk]KJo[b?IMn2blT^K8TU\]T^ZUKJI T^ZVdZUK8ijplZUb¢TUWH–]‘4TUZUVhZ^KJTZUFHVhZo[V?pž–2K

IMV?nHn2Kk(b?plZ^b’b?–]ceKJoZT$Vhp2kyZUb‹ijkHKJplZ^i…‰\yZF]Kb?–]ceKJoZ$V?oZUi…blpHT5ZUFHVhZ$gjKJVhkyZ^bV‹TU\]T^ZUKJIT^ZVdZ^KSTVdZUijT^‰\YijpHz

ZF]KnH`UKJk]K[”p]Kk8‰ŠV?W]g…ZZUbhgjKJ`VhpHo[KOo[b?pHTUZU`Vdi†plZUTJ—

EF]K p]K[X]ZMTUZ^Kn i†p ZF]K k]K[“?K[gjb?nHI(Kp?Z(bd‰°‰ŠVhW]gjZMZ^b?g…K`UV?p?ZMTUbd‰Z˜‡Vh`UK8ijTMZUbb?W]ZUg…i†p]KŒi…ZTVh–HTUZU`Vho[Z

V?`UoCFHi…ZUKJoZWH`UKh—bl`U`Ub‡ijpHzZUF]KMoblpHoKn]ZUTm‰Š`^blI ZUF]Ky”2K[g†k¢bh‰™TUbd‰Z˜‡Vh`UKVh`oCF]i…ZUKJo[ZUWH`UKJTJœZF]KMk]KJTUi…zlp]KJ`

pHK[KJk2TZUb Tn2Koi…‰\ ZUF]KŽT^\]TUZ^KJI V?TV T^KJZbd‰ # -/3+, *8i†plZ^KJ`oblpHp]KoZ^Kk –l\ +*C— EF]K

bl–YceKJo[Z°TUZUVhZ^KJTOVhp2k¢Vho[Z^ijb?pHTmZUFHVhZOFHV,“?K–K[KJpvnH`UK[“Yi…blWHTUg…\ŒijkHKJplZ^i…”2KJk7œ.IyWHTUZO–KyV?TUTUb]oi†VdZ^KkBZ^bBoblI‘

nb?pHKJplZUT VhpHkoblpHp]KJo[Z^bl`UTabd‰ŸZF]KOTUbd‰Z˜‡Vh`UKmV?`UoCF]ijZ^KoZWH`^Kmijpb?`k]KJ`aZ^b(KXHnH`UKJTT$ZUFHK[i†`a‰ŠV?W]gjZ™ZUbhgjKJ`VhpHo[K

n2`^bln2K`^ZUi…KT[—ŒEF]K8`^KTUWHg…Z‹i†TV?pŽV?–HTUZU`VhoZ‹k]KTUoJ`^i†n]ZUi…blpvbh‰SVŒ‰ŠVhW]gjZZ^b?g…K`UV?plZ’TUbd‰Z˜‡Vh`UKVh`oCF]ijZ^KJo[ZUWH`UKh—

agjV?–2bl`UVhZ^i†p]zBb?pŽZUF]K8‰ŠVhW]gjZZ^b?g…K`UV?pHoKnH`Ub?nKJ`UZ^ijKJT‹V?TUTUijz?p]KkˆZUb¢ob?IMnb?p]KplZUTV?pHkob?p2p]KJo[Z^b?`T’‡ijg…g

`UKJTW]gjZmi†pˆV?p]bhZF]KJ`°`^K[”p]KJI(Kp?Z°g…KVhk]i†p]zZ^bŒZUF]KMk]KJo[b?IMnb?TUi…ZUi…blpBbd‰aZF]K(V?`UoCFHi…ZUKJoZWH`VdgŸKplZ^ijZ^ijKJT°ijplZ^b

I(bl`^Ko[b?pHoJ`^KJZ^Kblp]KJTmZUFHVhZ°o[V?p –2K(k]i†`^KoZ^gj\BI(V?nHnKJk blp?ZUbZUF]K(nH`UK[“VdgjKJplZSbl–YceKJo[ZUTSbh‰$V‰ŠVhWHg…ZSZUbhgjK‘

`VhplZ’I(KJoCFHV?p]ijTI *Kh—z2—MZUF]K8`UK[gji†Vh–]gjK–H`^blVhkHoJVhTUZ°nH`UbhZUb]obhg>œ7ZF]K8`^Kn]gjijoJVdZ^ijb?pvIMVhpHVhzhKJ`JœZUFHK“hbhZUijpHz

I(KoCFHVhp]i†TIœ]KJZUo —

EF]KK[g†Vh–b?`VdZ^KkkHKJTo[`Uijn]ZUi…blpŒbd‰"V(‰ŠVhW]gjZSZ^b?g…K`UV?plZTUbd‰Z˜‡Vh`UK’Vh`oCF]i…ZUKJo[ZUWH`UK‹`^KJ“hKJVhgjTZF]KTUbd‰Z˜‡Vh`UK

n2`^bln2K`^ZUi…KTS`^KJgjVhZ^KkBZ^b8‰ŠV?W]gjZmZ^b?g…K`UV?pHoKV?TUnKJo[ZUTmbd‰aV8TU\]T^ZUKJIŒœ®–2W]ZmgjKJV,“?KJTSWHp2k]K”pHKJk¢VplW2I–KJ`Sbh‰

n2Vh`VhI(K[ZUKJ`Tmi†pHk]i†TUnKJp2TUV?–]g…Ky‰b?`OZF]Kob?p]”2z?WH`VdZUi…blpœk]KJnHg…b\]I(KJplZ’VhpHkŽobl`U`UKJo[ZS‰ŠWHpHo[Z^ijb?p]i†p]zBbd‰ ZUF]K

o[b?``^KTUnb?p2k]ijpHz‰ŠV?W]g…ZmZ^bhgjKJ`VhplZSI(KJoCF2Vhp]i†TUIŒ—fYWHoCFBnHVh`VhI(KJZ^KJ`Ti†pHog†WHk]KZF]Kk]KJz?`UK[K’bd‰$`UKJn]gji†o[VdZUi…blp

‰bl`"VOzhij“hKJp‰ŠVdijgjW2`^KnH`Ub?–HV?–]ijg…ijZ˜\‹bd‰.ZUF]KSTUbd‰Z˜‡Vh`UK™V?pHk(FHVh`k]‡Vh`UK o[b?pHTUZ^ijZUW]KplZUT5bd‰.V’T^\]TUZ^KJIŒœhV?pHk(ZUF]K

ZWHp]i†p]z(bd‰7ZUFHK°ZUijI(K[blW]Zn2K`^ijb]kHT$‰bl`™TnKJoi…”oOp]K[Z˜‡ b?`¡(oCFHVh`Vho[Z^KJ`Ui†T^ZUijoJT$VhpHkTUnKJo[i›”®omgjb?V?kY‘4n2VdZ^ZUKJ`pHTJ—

EFHKJTUK8nHVh`VhI(K[ZUKJ`T’FHV,“hKMZ^b¢–Kk]KJZ^K`UI(i†p]KJkkHWH`Ui†p]z ZUF]KnH`^bl–HVh–Hi…gjijTUZ^i†oMVhpHVhg…\]TUijT’bh‰ ZF]KTUbd‰Z˜‡Vh`UK

ZFHVdZMZVh¡dKTMn]gjV?oKBi†p VTUKJnHV?`UVhZ^KBk]K[“?K[gjb?nHI(KJplZMT^ZVdz?Kh— EF]KŒ”pHVdgSTUbd‰Z˜‡Vh`UKkHK[“hKJg…blnHI(KJplZT^ZVdz?K

o[b?pHTUi†T^ZT"bd‰.‡S`^ijZ^i†p]zZF]Kmo[bYkHKZUFHVhZaobl`U`UKJTn2blpHkHT5ZUb‹ZUF]KmTnKJoi…”oJVdZ^ijb?p`UKJTW]gjZ^i†p]z’‰Š`Ub?IqZF]KmnH`UK[“Yijb?WHT

TUZUVhzhKT ‰bl`aTUbd‰Z˜‡Vh`UKSo[`UKJVdZUKJk(‰Š`Ub?IZUF]KOTUoJ`UVhZUoCF Cœhbl`aVhTTUKJI–Hg…i†p]z‹ZUFHKmKX]i†T^ZUijpHzn]ijKJoKTabh‰7ob]k]KmZFHVdZ

TVdZUijT^‰\8ZF]KTUnKJo[i›”®o[VdZUi…blpo[b?pHTUZU`Vdi†plZUT6‰bl`T^bh‰Z˜‡ V?`^K’`UKJWHTUK C—"¥epZF]K`^KIMVdi†pHk]KJ`bh‰ZF]ijTmnHVhnKJ`Jœ]‡™K

kHbMpHbhZSVhk2kH`^KTUT i†TUTW]KT`^KJgjVhZ^KJkZ^bMZF]K‹gjV?T^ZZ˜‡ bT^bh‰Z˜‡ V?`^K’k]K[“?K[gjb?nHI(Kp?ZV?TUnKJo[ZUTJ—

#  #[

C   M ˆŸ#%

Ebˆ–KŒ–KJpHK”o[ijVhga‰bl`ZF]Kk]KT^ijz?pHKJ`JœZF]KBk]KJo[b?IMn2blT^ijZ^ijb?pbh‰SZUF]KŒT^bh‰Z˜‡ V?`^Kk]K[“?K[gjb?nHI(KJplZn2`^b]oKTUT

n2`^KT^Kp?ZUKJkyijp(ZF]KSnH`UK[“Yi…blWHT"TUKJoZUi…blpyIyWHTUZ$–2KmW2pHk]KJ`n]i†pHp]Kk(–l\VO‰bl`UIMVhgY‰Š`UV?IyKJ‡™bl`U¡®œ,‡SF]i†oCFMTUF]blW]g†k

TVdZUijT^‰\ZF]K‰b?g…gjb‡ijpHzob?p2k]i…ZUi…blpHT<ŸijZ™TF]b?W]g†kM–2KmKJVhTU\ZUbWHTUKhœlVhpHkMijZaTF]b?W]g†kM–2K°KXHnH`UKJTT^ij“hKKp]b?W]zlF

ZUb8o[V?n]ZUWH`UK‹V–]ijz8I(Vdceb?`Ui…Z˜\bh‰"ZUF]KnH`Ub?nKJ`UZ^ijKJT`UK[g†VdZUKJkŒZ^b(‰ŠVhi…g†WH`UKT^KI(V?plZ^i†o[Tbd‰5ZUFHKT^bh‰Z˜‡ V?`^K?—"£vK

F2V,“hKaoCF]blT^Kp’Z^bOWHT^KnH`UKJk]i†o[VhZ^K$gjbhz?ijoaKX]Z^KpHk]Kk‹‡i…ZFZF]K -0++ +,3+Ÿ–]i†pHV?`^\’b?nKJ`VdZUb?` *b?`Ui…z?ijp2Vdgjg…\

i†plZU`Ub]kHWHoKk ijp 7›Lu 8"Cœm‡SF]i†oCF;k]K[”p]KTV n2Vh`UZ^i†Vdgmbl`UkHKJ`i†p ‡SF]i†oCF;nH`UKJk]i†o[VhZ^KTVh`UK¢“?KJ`Ui›”2Kk— EF]K

K[X]Z^KJp2k]KJkŽnH`UKJk]i†o[VhZ^KMg…b?zhi†oyn2`^b“Yi†k]KJTOZUFHKMkHKJTUi…zlp]KJ`O‡ijZUFŽZUF]KI(KJV?pHT’Z^b o[b?I–Hijp]KMZF]Kob?p2T^Z`UVhijplZUT

blpZF]K‹T^\]TUZ^KI T^ZVdZUKJT ZUFHVhZSTUFHb?W]g†k–K‹`^KVhoCF]KkVd‰Z^KJ`V‰ŠVdijg†WH`^K’‡ijZUFZUF]Kn2Vh`UZ^i†Vdg.b?`k]KJ` bh‰Vho[Z^ijb?pHT

ZFHVdZ(TUFHb?W]g†k –KŒnKJ`^‰b?`I(KJkžZUbv`UKJVhoCFZF]Kz?i…“?KJp TUZUVhZ^K?—mKpHoK?œ$ZUFHKk]KT^ijz?p]K`bl–]ZUVhijp2TV¢z?g…bl–HVdg

kHKJTo[`Uijn]ZUi…blp¢bh‰ TU\YTUZ^KIŒ•T°‰ŠVhWHg…Z’Z^b?g…K`UV?pHoK(nH`Ub?nKJ`UZ^ijKJTJœ7–2b?ZUFvijpvZ^K`UIMT’bd‰T^ZVdZUK(TUKJIMVhplZUijoJTOVd‰Z^K`OV

‰ŠVhi…g†WH`UK‹VhpHkŒbd‰"Vho[Z^ijb?pHTW2pHk]KJ`UZUV?¡dKpZUb8`^KVhoCFZUFHVhZST^ZVdZ^K?—aEF]i†TSk]KTUoJ`^i†n]Z^ijb?p‰b?`IMTV–]g†W]KJnH`Ui†p?Zbh‰

ZF]K‰ŠV?W]g…Z‹ZUbhgjKJ`VhpHo[KIyKoCFHVhpHijTIZFHVdZTF]blW]gjk–KWHTUKJkVhp2kŽoJVhp–K8ijplZUK[z?`VdZUKJkvijpZF]KTUbd‰Z˜‡Vh`UK

V?`UoCFHi…ZUKJoZWH`UK°bh‰ZF]KT^\]TUZ^KI ijpBV(‡V,\8T^i†I(i…g†Vh`ZUb(ZF]K‹b?pHK’kHKJTo[`Uij–KJkŒi†p7 84—

Eb‹KXHnH`UKJTTZUF]K‰ŠV?W]g…Z"ZUbhgjKJ`VhpHo[KT^bh‰Z˜‡ V?`^KnH`Ub?nKJ`UZ^ijKJTJœdi…Z$TWYš8oKT5Z^bk]K[”p]KZF]KS–HVhTUKnH`UKJk]i†o[VhZ^KJT

ZFHVdZ°‰b?`IMVdgjg…\ k]KTUoJ`^i†–KyTU\YTUZ^KI T^ZVdZUKJTOVhpHk¢V?oZUi…blpHTm‡ijZUFŽ`UKJTn2KoZmZUb‰ŠVhi…g†WH`UKJTJ—’£vKM–H`Uijp]zZ^bŒZUF]K

`UKJV?k]KJ`J•T8VdZUZ^KJplZUi…blp ZUFHVhZZF]ijTŒTUK[Z8bh‰–HVhTUKˆnH`UKJk]i†o[VhZ^KT8i†Tp]b?ZWHpHij¤YW]KOZF]KvkHKJTUi…zlp]KJ`ijT‰Š`^KJK¢Z^b

oCFHblblT^KˆZUF]KŽ–HVhTUKˆnH`UKJk]i†o[VhZ^KT8ZUF2VdZ‰ŠVhoijgji…ZVdZ^KŽF]i†T`UKJV?T^blp]ijpHz2— ¥ep ZF]Kv`UKJIMVdi†pHk]K`8bh‰ZUF]KŽnHVhnKJ`

‡ K’WHT^KOZUFHK°‰b?g…gjb‡i†p]zyo[b?IMnHW]ZVdZ^ijb?pI(bYkHK[g<$VyTU\]T^ZUKJI TUZUVdZUK°i†TVyIMV?nHn]i†p]zMbd‰Ÿ“Vh`Ui†Vh–]gjKJT™Z^b(“Vdg†W]KJT

V?o[o[b?`k]ijpHz°ZUb‹ZUF]KSTUbd‰Z˜‡Vh`UK TnKJoi…”oJVdZ^ijb?p2T[—5EF]K“Vdg†W]Kbd‰T^blI(K“,V?`^i†Vh–Hg…KToJVhpM–KSWHpHk]K[”p]KJk(i†pMZUF]K

TnKJoi…”oJVdZ^ijb?p2T[œd–HWHZ‡SFHKJpZF]K“Vdg†W]KJTbd‰b?p]K b?`I(b?`UK™“Vh`Ui†Vh–]gjKJTŸgjV,\‹blW]ZUTUijkHK™ZF]K`UV?p]zhK™zhij“hKJpijpyZUF]K

TnKJoi…”oJVdZ^ijb?p2T[œ]Vy‰ŠVdijgjW2`^KOijTTVdi†k8ZUbMbYoJo[WH`J—"EF]K‹T^\]TUZ^KI T^ZVdZ^K’i†T -1 3+ ’–?\ZF]K‹T^ZVdZUKJTbd‰ZUF]K

bl–YceKJo[ZUTSo[b?pHTUi†T^ZUijp]zZUF]KTU\]T^ZUKJIŒœV?pHk TUZUVdZUKZU`Vhp2T^ijZ^ijb?pHTmVh`UK‹ZUF]K(`^KTUW]gjZSbh‰5ZF]KV?oZ^ijb?p2TmnKJ`^‰b?`IyKk

–l\ŽZUF]Kb?–YceKoZUTJ—¢Ebˆk]KJpHbhZ^KnH`^Kk]i†o[VdZUKJT‹blpžT^ZVdZUKJTJœ5V?oZUi…blpHTVhp2kZUF]KJij`yijplZUKJ`n]gjV,\?œŸZF]K8‰b?g…gjb‡ijpHz

pHbhZUVhZ^ijb?pHTmVh`UK’W2T^Kk <œ2nH`UijI(KJkBbl` ‰bhgjg…b‡ KJkB–l\VTWH–HTo[`Ui†n]ZS“Vdg†W]Khœk]KJp]b?Z^KTSZUFHKT^\]TUZ^KI TUZUVdZUK

gjb‡ KJ`^‘4oJVhTUK zl`^KJKJ¡yg…KJZ^ZUKJ`T™k]Kp]bhZUKmbl–YceKJo[ZUT ŠKh—z2—™œ$œ]K[Zoœ]V?pHkb?–]ceKJoZ T^ZVdZUKJT Vh`UKmk]KJpHbhZ^Kk–l\MZUF]K

bl–YceKJo[Z™pHV?I(K)Š‡SFHijoCFo[Vhp–2K’p]K[z?g…KoZUKJk‡SF]Kp8ijZ™i†T™b?–l“Yi…blWHT$i†pVzhij“hKJpob?plZUKX]Z5‰bhgjg…b‡ KJk8–l\œ

n2`^i†I(KJkb?` ‰bhgjgjb‡™Kk–l\VMTWH–HTo[`Uijn]Z“Vdg†W]K*Kh—z2—œ^œHK[ZoC—™fl\]T^ZUKJI V?pHkb?–YceKoZSVho[Z^ijb?pHT

V?`^K ‡S`Ui…ZUZ^KJpyi†pyijZUVhg…i†o[T *Kh—z2— # -//0œYVhpHkyZUF]KSo[b?``^KTUnb?p2k]ijpHz°nH`UKJk]i†o[VhZ^K “hK`^i…”2KJky‡SF]Kp

ZF]K‹Vho[Z^ijb?pi†T`^KVdgji'&JKJki†T‡S`Ui…ZUZ^KJpijpŒTI(Vhg…g…‘˜o[VhnHi…ZVdg†T *Kh—z2—! #"%$'&(?)/ — ¢b?`UK[b“?KJ`Jœh‡SF]Kp

pHbhZ5bhZF]KJ`U‡ijTUKT^ZVdZ^Kkœh‡ K‡S`^ijZ^K# Z^b‹k]Kp]bhZUK ZF]Kb?–]ceKJoZ"TUZUVhZ^K–2K[‰b?`UKKX]KJoJW]Z^i†p]z‹VOzhij“hKJpyVho[Z^ijb?pœ

V?pHk*,+2ZUb(k]Kp]bhZUKmZF]K‹T^ZVdZ^KO`^KVhoCF]KkV‰ZUKJ` ZUF]KOKX]Ko[W]ZUi…blpbd‰ŸZF]KOzhij“hKJpVhoZUi…blp— VhTUKJkblpZUF]KT^K

pHbhZUVhZ^ijb?pHTJœ]‡ K’kHK”p]K‹ZF]K’‰bhgjgjb‡ijp]zMnH`UKJk]i†o[VhZ^KT<

-/.

10>œ‡SF]i†oCFži†TZU`W]K8‡SFHKJpZUFHKTU\YTUZ^KI i†Ti†p TUZUVhZ^K2—¢fYijI(ijgjV?`^gj\ˆ‡ Kk]K[”p]K

.

#0$‰b?`

b?–YceKoZSTUZUVhZ^KJTJ—

-43

5768:9;<>=?<A@Bœh‡SF]i†oCFMi†T$ZU`W]KS‡SFHKJp8TUb?I(KSbh‰.ZF]Km“V?`^i†Vh–]gjKJT5bh‰7¯ŽF2V,“hKS–K[KJpVhTT^ijz?p]Kk

“Vdg†W]KJTŒp]bhZk]K”pHKJk;–l\ T^\]TUZ^KI•TTnKJoi…”oJVdZ^ijb?p2T[—fli†I(i…g†Vh`Ugj\ ‡ Kvk]K[”p]K

3

56!:9C;<>=y‰b?`

b?–YceKoZ‰ŠVhi…g†WH`UKJTJ—

-

EDFG( H œ]‡SF]i†oCFi†TaZ`UW]K°‡SF]KJpZUF]K°b?–YceKoZvi†T VhnHnKJV?`UT$‰b?`$ZF]K°”`UTUZaZUijI(K°ijpZUF]KOT^\]TUZ^KJIŒœ

‡i…ZFŒijp]ijZ^i†VdgT^ZVdZ^K>H *i*—Kh—JIKML

.

#0 NEDFG( H C—

-4OP

G( Cœ‡SF]i†oCFi†TZU`W]K‹‡SF]KpŒZUF]K’b?–]ceKJoZ# ijT`UKJI(b“hKk‰Š`Ub?I ZF]KTU\YTUZ^KIŒœ Ši>—K?—

IKQRML

OP

G(?); .

R10"—

-4OP

"%$'&(?)/œa‡SFHijoCFži†TyZU`W]K‡SF]Kp ZF]Kbl–YceKJo[ZM KXHnb?`UZUTZUbˆbl–YceKJo[ZS ZF]KŒijpY‰bl`e‘

IMVdZ^ijb?pT®œ‡SF]K`^KMijTOV(‰ŠWHpHo[Z^ijb?p bh‰$ZUF]Kbl–YceKJo[ZmTUZUVdZUK–K‰b?`UKK[XYKo[W]ZUijpHz8ZUF]K +U-/

Vho[Z^ijb?pœ]i>—K?—WV

3

;),=a‰b?`TUb?I(KO‰ŠWHpHo[Z^ijb?p

3

k]K[”p]Kki†pŒZUF]KTU\]T^ZUKJI TnKJoi…”oJVdZ^ijb?p2T[—

-

! #"%$'&(?)/œY‡SF]i†oCFyi†T"Z`UW]K‡SFHKJp(ZUF]Kmb?–YceKoZ `^KoKJi…“?KJT5ZUFHKijpY‰bl`UIMVhZ^ijb?pWyT^Kp?Z

–l\Œbl–YceKJo[Z,™œ.‡SF]KJ`UKZUFHKyTUZUVdZUK ,+7bd‰$ZF]Kbl–YceKJo[Z°Vd‰Z^KJ`°KX]Ko[W]ZUijp]zZUF]K # -/5Vho[Z^ijb?p i†TmV

‰ŠWHpHo[Z^ijb?pŽbd‰aZF]KnH`UK[“Yi…blWHT’T^ZVdZUKMV?pHk¢bh‰™ZF]KnHVh`VhI(K[ZUKJ` ®œ7i>—K?—W + V

; =S‰b?`

T^blI(K°‰ŠW2pHoZUi…blp

k]K”pHKJkŒijpZUFHKT^\]TUZ^KJITUnKJo[i›”®o[VdZUi…blpHTJ—

-

/) $CœY‡SF]ijoCFMi†T"Z`UW]Km‡SF]KJpMZF]KmTUZUVdZUK, +2`^KVhoCF]KkyVd‰Z^KJ`aZUF]KmKX]KJoJW]Z^ijb?p(bd‰ ,

–l\2ž“?KJ`Ui›”2KT ZUF]KnH`UKJkHijoJVdZ^K

3

56!:9C;,+=C—

OT^i†p]zZF]K°V?–2b“?KSnH`UKJk]i†o[VhZ^KJTJœh‡ KmoJVhpz?i…“?KZUF]KOVh–HTUZU`Vho[ZaTUnKJo[i›”®o[VdZUi…blpHTaV?pHkMZUFHK[i†`a`UK”p]KI(KJplZUT

bh‰®ZF]K . ,+ ' ®Vhp2k +, STUKJIMV?p?ZUijoJT"zhij“hKpi†pY‰bl`UIMVdgjgj\ijpMZF]KSnH`UK[“Yijb?WHT"TUKJo[Z^ijb?pœ

V?T5k]KJn]i†oZUKJkyijpyZUFHKW2nHn2K`e‘7V?pHkZF]KI(ijkHkHg…K[‘4nHV?`^ZTbd‰®EVh–Hg…KOL `UKJTnKJoZUi…“?K[gj\h—¥epZF]KJTUK ‰b?`IW]g†VhTJœZUF]K

pHbhZUVhZ^ijb?p k]Kp]bhZUKJTV(ob?``UKJoZ T^\]TUZ^KI KX]KJoJW]Z^ijb?pœ]i>—Kh—"Vyn2Vh`UZ^i†Vdgjg…\bl`Uk]K`^Kk8TUK[Z bd‰TUZUVhZ^KT™‡SFHKJ`UK

ZF]KnH`UKJkHijoJVdZ^K

3

56!:9C;,=Si†TpHK[“hK`‹“hK`^i…”2Kkœ'<`UKJnH`UKJTUKJplZUT’ZF]KTWH–Y‘˜T^ZVdZUKbd‰‰ŠVhW]gjZ˜\I(V?nHn]i†p]z?T

*i*—Kh—< VT

3

5768:9; =Cœ' ;),=’k]Kp]bhZUKJT’ZF]K“Vh`UijV?–]g…KTObd‰ TUZUVhZ^KAŠi>—K?—ZUF]K

# bh‰ZUF]KžIMVhn2n]ijpHz$œ’Vhp2k TU\YIy–2b?g k]Kp]bhZUKJTŒZUFHKvbln2K`UVhZ^ijb?p;bh‰yTUK[ZBTUWH–HZU`VhoZUi…blp— EF]K

gjb‡ KJ`^‘4nHV?`^Zbh‰™EVh–]gjKL(ijplZ`^b]kHWHo[KJTOTUnKJo[i›”®o[VdZUi…blp bd‰a‰ŠVhW]gjZ°ZUbhgjKJ`VhpHo[KynH`Ub?nKJ`UZ^ijKJTO–HV?T^Kk b?pvVhoZUi…blp

n2`^Kk]ijoJVdZUKJTJœ‡SF]ijoCF Vh`UK¢ZUF]K`UKJTW]g…Zbd‰ZUFHKŽV?pHVdgj\]T^i†Tk]blp]K¢i†p;ZF]KˆZF]ij`k;TUbd‰Z˜‡Vh`UKˆk]KJ“hK[gjb?n2IyKplZ

TUZUVhzhK?—¥epZUF]KT^K°‰b?`IWHgjV?T[œY‡ K°VhTTWHI(KOV‰ŠVdijgjW2`^KOb]o[o[W2`U`UijpHzykHWH`Ui†p]zyZF]KOZU`VhpHTUi…ZUi…blp‰Š`Ub?I TUZUVhZ^KJ

ZUb T^ZVdZ^K* +œVhpHkv‡™KWHTUKMZUF]K8pHbhZUVhZ^ijb?p ! MZ^b¢k]Kp]bhZUK(ZF]Ki†p]i…ZUijVhg…i&JVhZ^ijb?pŽT^ZVdZUKbd‰™ZF]Kb?–]ceKJoZ

*i*—Kh— IK .

#0

.

R! 0œHV?pHk2 ++ZUb(kHKJp]b?Z^K’T^blIyKOb?–]ceKJoZTUZUVdZUK°b]oJo[WH``^i†p]z(V‰Z^K`T^ZVdZ^K

+ Ši>—K?—

.

+R0

.

++R0—

. ,+ " ; .

!0#

3

56!:9C;!==%$

;)KQ'& )( ; .

CE0 .

*&?0!=)# ; .

)(:0 .

CE0!=)# ;'& @B)( ==

" ; .

!0#

3

56!:9C;!==%$ ;)KQ'& ; . 80

.

'& 0!=+# ;'&,- ==

+, " ; .

0#

3

56!:9C; ==%$ ;)KQ &. ; .

0

.

& 0!=/#

;)KQ ( 0 1 ;2C .

10 .

0+$

.

10 .

( 0!==3#;) ( @B & ==

4

'+*5 - " . ,+,# ;*&,V 6<>=

4

0*0! " . ,+,# ;*&,V87=

+95 1;:+ " # ;)'& V/! =<?>*@AB@ IKQ

.

10 .

6 0E=

C " # ;)KQ)(

;. )(:0

.

CE0!=+# ;))(V/'& ==

D5FE " +, G# ;))(V *& =

+-' +# + " +, G# ;H ;8<>= @ '&I )(=

J $LK?

OM

D!N=OF" " 4

'+*5 -P#Q2 L3

56!:9C;8=R$

OP G( );

S

(C$ #UT " C,#Q2C WV?YXYZL

=

/) V YX[Z?\$ ;,++%V ,=

J $3]

O

"M

T O " + -' +# + Q#Q2CL;3

56!:9C;8= ED G( ;'+) R)([^8==Q# ;'+!" =_#

; .

R)([^G0

.

10E=

EVh–Hg…KML <"¯®VdijgjW2`^K‹TUKJIMVhplZ^i†o[T`UK[g†VdZUKJkZ^bfYVd‰K[Z˜\hœ ­ “VdijgjV?–]ijg…ijZ˜\hœHV?pHkŒPSK[gjijV?–]ijg…ijZ˜\h—

` ij“hKp ZF]KˆVd‰b?`UKJI(KJplZ^ijb?pHKJk ‰Š`UV?IyKJ‡™bl`U¡Ž‰bl`ZUFHK ‰b?`IMVdgKXHnH`UKJTTUi…blp bh‰OZF]K ‰ŠVhWHg…ZZUbhgjKJ`VhpHo[K

TUbd‰Z˜‡Vh`UKnH`Ub?nKJ`UZ^ijKJTJœZUFHKMkHKJTUi…zlp]KJ`Oo[V?pˆ`UKJVhTUb?p¢b?p¢ZF]K[i†`’oblI(n2VdZ^i†–]ijg…ijZ˜\hœ7V?pHkvb?p¢ZF]K[i†`’oblI–]i†pHV‘

ZUi…blpHTJ— \ˆoblI–]i†p]i†p]zBk]i.KJ`UKJplZ‹nH`Ub?nKJ`UZ^ijKJTJœZUF]Kk]KT^ijz?pHKJ`Ob?–]ZVdi†pHT’VB`^K[”p]KJI(Kp?ZObd‰ ZUF]KJij`’i†p]ijZ^i†Vdg

o[b?pHTUZU`Vdi†plZUTJœhTUijpHo[KSZUFHK°oblI–]i†pHVhZ^ijb?pMo[V?p(–K°TUK[KpVhT"ZF]K°TWHnKJ`n2blT^ijZ^ijb?p(bh‰pHK[‡;nH`Ub?nKJ`UZ^ijKJT"blpMZUF]K

K[X]ijTUZ^i†p]zo[b?pHTUZU`Vdi†plZUT$`UK[g†VdZUKJk(Z^b‰ŠVhW]gjZ$Z^b?g…K`UV?pHoK?—EFHKJTUKm`^K[”p]KIyKplZUTJœ?blpHoKSnH`Ub“hKk(Z^by–Kmo[b?``^KoZ[œ

oJVhpž–KWHTUKJkžV?pl\ŽpYWHIy–2K`bd‰ZUijI(KJTyZ^bˆijpHkHijoJVdZ^KZ^b¢ZF]KkHKJTUi…zlp]KJ`VvT^KJZbd‰So[b?``^KoZ`UK”p]KI(KJplZUT

‰bl`V(zhij“hKJp‰ŠVhWHg…ZZUbhgjKJ`VhpHo[K’TUbd‰Z˜‡Vh`UK’nH`^bln2K`^Z˜\?—5£vK‹KJgjV?–2bl`UVhZ^K’b?pZUF]i†TSW]ZUi…gji&JVdZUi…blpŒbd‰5ZUF]K’‰bl`UIMVdg

‰Š`VhI(KJ‡™bl`U¡(i†pZF]Kp]K[XYZSTUKJo[Z^ijb?p—

#[

"!# a%

EFHKa”2KJgjkbd‰®KX]ijTUZ^i†p]zm‰ŠVhW]gjZ5Z^bhgjKJ`Vhp2oKaZUKJoCFHpHij¤YW]KT¡hK[KnHTŸK[XHnHVhpHkHijp]zOoblp?ZUijpYW]blWHTUg…\?œdVhpHkZUF]KJij`5nH`Ubhgji›‘

‰K`UVhZ^ijb?pyijTaIyblT^Z$W2p]g…i†¡dKJg…\yZ^b–KSoKVhTUKJkœlT^i†pHoKijZ"i†T"ijp2T^ZUi…zlVdZ^KkM–2b?ZUFM–l\ZUFHKmVhk]“V?pHoKT5ijp(ZUFHKmVh`UKJV?T

bh‰5F2Vh`k]‡ V?`^K’Vhp2kbln2K`UVhZ^i†p]z8TU\YTUZ^KI TWHnHnb?`UZ[œ2V?pHkB–l\ZUFHKijp2o[`UKJVhTUi†p]zVhnHn]gji†o[VdZUi…blp`UKJ¤YW]i†`UKJI(KJplZUT

i†pZ^b?g…K`UVhZ^i†p]zB‰ŠVdijg†WH`^KT[— ` ij“hKJpZF]K8i†IMIyKpHTUKpYWHI–KJ`bd‰‰ŠVhW]gjZZUbhgjKJ`VhplZI(KJoCFHV?p]ijTIMTVhp2kZUF]KJij`

o[b?IMn]gjKX]ijZ˜\hœ]ijZSijTSijpHkHijTn2KpHTVh–]gjKhœ]‰Š`Ub?I ZUF]KTUZUV?pHkHnbhi†p?Zbh‰5TUbd‰Z˜‡Vh`UK’ob?``UKJoZp]KJTTVhpHkB`Ub?–HW2T^Zp]KJTT[œ

ZUb `^KVhoCFvZUF]KM”p2VdgaTUbd‰Z˜‡Vh`UKyk]KJ“hKJg…blnHI(KJplZT^ZVdz?Ky‡ijZUFV ogjKJV?`‹VhpHkŽk]KJZUVdijgjKJkk]KJTo[`Ui†n]Z^ijb?pvbd‰ZUF]K

‰ŠV?W]gjZmZ^b?g…K`UV?pHoKTUbd‰Z˜‡Vh`UKnH`Ub?nKJ`UZ^ijKJTJ—¯2bl`SZUFHijTJœ‡ KypHK[KJkBZUbnH`Ub“YijkHK‹ZUF]K(IyKVhpHTmZUFHVhZm‡ijg…gz?WHijk]K

ZF]KMk]KJTUi…zlp]KJ`mijpv`^K[”p]i†p]zZF]KVh–HTUZU`Vho[ZmoblpHTUZU`Vdi†p?ZTm`UK[g†VdZUKJk ZUb‰ŠV?W]g…ZOZ^b?g…K`UV?pHoKyT^bh‰Z˜‡ V?`^KV?TUnKJo[ZUT

i†plZ^bVhpŒKJgjV?–2bl`UVhZ^KJkŒk]KTUoJ`^i†n]Z^ijb?pbd‰"nH`Ub?nKJ`UZ^ijKJTbh‰ZF]K’‰ŠVhW]gjZZ^b?g…K`UV?plZI(KoCFHVhp]i†TI ZUF2VdZSTF]b?W]g†kB–2K

W2T^Kk—

! #"$%'&(*)+%-,.&("0/1%'&2(%3

:OpHK ‡V,\ZUbnH`^b“Yi†k]KZUF]KSkHKJTUij`UKJkyz?W]i†kHV?pHoK ‰b?`$ZUF]KSk]KT^ijz?pHKJ`JœdijT$Z^boblWHn]gjKV’zhij“hKJp‰ŠVhWHg…Z"ZUbhgjKJ`VhpHo[K

n2`^bln2K`^Z˜\B‡ijZUFŽVŒTUK[ZObd‰obl`U`UKJTn2blpHk]i†p]zVhg…ZUKJ`pHVdZUi…“?K(`UK”pHKJI(KJplZUTJ—¯b?`OKXHVhIMn]gjKhœZF]Kgjb‡™K`e‘˜nHVh`UZ

bh‰’EVh–Hg…KL¢TF]b‡STMT^blIyK nb?TT^i†–]gjK¢`^K[”p]KIyKplZUTMbd‰’ZUFHKB‰ŠVdijgjWH`UK¢TUKJIMVhplZ^i†o[TMz?i…“?KJp ijp ijZUT8I(i†kHk]gjK‘

n2Vh`UZ[œ‡SF]i†oCFœi†p ZUWH`pœSV?`^KˆTUb?I(K¢bh‰‹ZUF]KŽn2blTUTUij–Hg…Kˆ`UK”®p]KJI(KJplZ8bh‰‹ZUF]Kˆ‰ŠVdijgjWH`UKˆTUKJIMVhplZUijoJT8zhij“hKp

i†p ZUF]K WHnHnKJ`^‘˜nHVh`UZ[— ¥ep zhKp]KJ`Vdg>œ"‡ KBoJVhp VhTT^b]oi†VdZUKZUbTUb?I(K‰ŠVhW]gjZMZ^b?g…K`UV?pHoKŒnH`^bln2K`^Z˜\54Mœ™ZUF]K

TUK[Zbd‰‰ŠVhW]gjZZUbhgjKJ`VhpHo[KnH`^bln2K`^ZUi…KT76JL6J3$84 hœ5i>—K?— ZUF]KT^KJZbd‰4M•TVhg…ZUKJ`pHVdZUi…“?KM`UK”®p]KJI(KJplZT[—

EFHijTbl`^zlVhp]i&JVhZ^ijb?p`^KTUW]gjZUTmijpBV8o[gjV?TUTUi…”o[VhZ^ijb?pbd‰‰ŠVhW]gjZSZ^b?g…K`UV?pHoK‹nH`Ub?nKJ`UZ^ijKJTJœH‡SF]i†oCF nKJ`IyijZUTmZUF]K

kHKJTUi…zlp]KJ`Z^b‹o[b?pHTUijkHKJ`b?p]gj\o[b?``^KoZ5`^K[”p]KJI(Kp?ZT5bd‰.T^blIyKV?–HT^Z`UV?oZ5T^bh‰Z˜‡ V?`^K oblpHT^Z`UVhijplZT`UK[zlVh`k]i†p]z

‰ŠV?W]gjZ7Z^b?g…K`UV?pHoK?— "X]ijTUZ^i†p]zS‡ b?`¡ ŠK?—z—TUK[K 7…L = 8.TW]zhz?KJTUZUT.ZFHVdZ7blpHoK"ZF]Ka`UK”pHKJI(KJplZ[•T7o[b?``^KoZUpHKJTT.ijT

“?KJ`Ui›”KJkœZUF]K `^K[”p]KIyKplZŸnHVdZUZ^K`UpHT`^KnH`UKJTUKJplZ^KkO–l\’ZUFHK™og†VhTTUi›”oJVdZUi…blpOToCF]KI(VoJVhp‹–K™WHTUKJk‡i…ZF]b?W]Z

pHK[KJkHijp]zZUbn2`^b“?KZF]K[i†`obl`U`UKJo[ZUp]KTUTJ— EF]i†TTW]zhz?KJTUZ^ijb?p i†TM“Vdgjijk i†p ZF]K¢o[V?T^KŒbd‰°‰ŠVhW]gjZZ^b?g…K`UV?plZ

TUbd‰Z˜‡Vh`UK$Vh`oCF]ijZ^KoZUW2`^KT[œ,VhTg…blp]zmV?T7ZUFHK `UK”pHKJI(KJplZŸnH`Ub]oKTUTk]bYKJTp]bhZob?p2T^i†k]KJ`oblpHT^Z`UVhijplZTŸ`UK[g†VdZ^Kk

ZUbMbhZUFHKJ`p]blpY‰ŠWHpHo[Z^ijb?pHVhg7b?`Vdgjzhbl`^ijZUF2Iyi†o’T^bh‰Z˜‡ V?`^KOVhTn2KoZT[—

` ij“hKp¢ZUFHK(V?–2b“?Kb?–HTUKJ`U“VdZUi…blpœZF]KMog†VhTT^i…”o[VhZ^ijb?p ToCF]KJIMVo[VhpˆT^K`^“?KVhTOVTUZU`WHoZWH`UKJk¢`UKJnH`UK‘

TUKJplZVdZ^ijb?pŒbh‰5ZF]Ky¡Yp]b‡gjKJkHzhK‹Vh–b?W]Z°ob?``UKJoZS`UK”®p]KJI(KJplZTSbd‰5‰ŠV?W]g…ZmZ^bhgjKJ`Vhp2oKnH`Ub?nKJ`UZ^ijKJTZFHVdZOFHVhT

–K[Kpžb?–HZUVdi†p]KkijpžZF]Kn2VhTUZ[—ˆ£ŽKF2V,“hK8VhkHb?n]ZUKJkžZF]KTUZU`Vdijz?FlZ’‰b?`U‡Vh`kvi†IMn]gjKJI(KJplZUVhZ^ijb?pžbh‰SZUF]K

o[gjV?TUTUi…”o[VhZ^ijb?pBTUoCFHKJIMV8VhT°V8k]i†TUo[b?pHpHKJoZUKJk¢kHij`UKJo[Z^KJk V?o\]ogji†o‹z?`VhnHF ­ ` œ®‡SF]K`^KVp]b]k]K`UKJnH`UK‘

TUKJplZTV°‰ŠV?W]g…Z5ZUbhgjKJ`VhpHo[K nH`Ub?nKJ`UZ˜\hœijZUT"n2Vh`UKJplZUT5`UKJnH`UKJTUKJplZZUF]KVh–2T^Z`UV?oZ^ijb?p2T7‰bl`5‡SF]ijoCFyZUFHKn2`^bln2K`^Z˜\

`UKJn2`^KT^Kp?ZUKJk–?\ZUF]K‹z?i…“?KJpŒp]b]k]K’ijTSVMo[b?``^KoZ`^K[”p]KJI(Kp?ZJœHVhpHkŒijZUToCF]ijg†kH`^KpB`^KnH`^KT^KplZ™ZF]K¡Yp]b‡Sp

o[b?``^KoZS`UK”pHKJI(KJplZUT°bd‰$ZF]K(zhij“hKJpŒ‰ŠV?W]gjZmZ^b?g…K`UV?pHoKynH`^bln2K`^Z˜\?—S¯5i…zlWH`UKLijgjgjWHTUZU`VdZUKJTmz?`VhnHF]i†o[Vhg…gj\V

n2Vh`UZObh‰™ZF]K8k]i†TUo[b?pHp]KoZUKJk ­ ` ZFHVdZo[b?``^KTUnb?pHk2T°ZUbBZUF]KM‰ŠVhi…g†WH`UKMTUKJIMV?p?ZUijoJTOzhij“hKJpvi†pvEVh–]gjKBLh—

n2W]gjVhZ^KTTUW2oCFŽV o[gjV?TUTUi…”o[VhZ^ijb?pŽTUoCF]KIMVH— VhTUKJkŽblpvZF]K`UKJTW]gjZUT’bd‰ZF]KnH`Ub]oKJTT’ZUF2VdZ‹“hK`^i…”2KT‹ZUF]K

o[b?``^KoZp]KJTT"bd‰ŸVzhij“hKJp`UK”®p]KJI(KJplZJœlZF]KmZUbYbhg.o[VhpMi†pHTUKJ`UZ™VpHK[‡ ‰ŠVhWHg…Z Z^b?g…K`UV?pHoKSnH`Ub?nKJ`UZ˜\(ijplZ^byZUF]K

o[gjV?TUTUi…”o[VhZ^ijb?p(TUoCF]KIMVH— ¢b?`UK[b“?KJ`Jœzhij“hKJpMV’‰ŠV?W]gjZ$Z^b?g…K`UV?pHoKSnH`Ub?nKJ`UZ˜\hœ?ZUF]KmZ^bYbhg®I(V,\(`^KJZU`Ui…KJ“hKS–bhZF

ijZUT`UK”®p]KJI(KJplZTb?` ZUF]KV?–HTUZU`VhoZUi…blpHT™‰b?` ‡SF]i†oCFŒZUF]K’zhij“hKpn2`^bln2K`^Z˜\M‰bl`UIMTVMob?``UKJoZ`UK”p]KI(KJplZ[—

DoReplace Replacement

Roll-forward Reliability

DoClean-up

Crash Safety

Clean-up

Re-initialize

Rollback Atomic

Availability

¯ijz?W2`^KML <"EF]K ­ ` o[b?``^KTUnb?pHkHijp]zyZ^bMZUFHKTUnKJo[i›”oJVdZUi…blpz?i…“?KJpijpBEVh–]gjKMLh—

EF]KŒ`^K[”p]KIyKplZUToJVhn]ZWH`^Kkijp ZUF]Ko[gjV?TUTUi…”o[VhZ^ijb?pTUoCFHKJIMVHœ5`^KnH`UKJTUKJplZV z?`Vhk2VdZ^ijb?pv‰Š`Ub?I ZUF]K

V?–HTUZU`VhoZ"Tn2Koi…”o[VhZ^ijb?pHT5bh‰.‰ŠVdijgjWH`UKT^KIMVhplZ^i†o[T"ZUboblpHo[`UK[ZUKkHKJTo[`Uijn]ZUi…blpHT5bd‰.‰ŠV?W]g…Z"ZUbhgjKJ`VhpHo[KnH`^bln2K`e‘

ZUi…KT[œ]‡SFHijoCFŒo[V?p–K‹k]K[ZVdijg…KkKp]b?W]zlFTUbMVhT Z^bTUKJ`U“hK’VhTnH`UKJoi†TUK’TnKJoi…”oJVdZ^ijb?p2T™bh‰Vy‰ŠVhWHg…ZZ^b?g…K`UV?plZ

I(KoCFHVhp]i†TI(TJ— mKpHoK?œaijZMijTMnb?TT^i†–]gjKZUbŽV?TUTUb]oi†VdZ^KŒn2b?ijplZUKJ`TZUb ­ `

p]b]k]KJT(ZFHVdZnbhi†p?Z(i†p?ZUbŽV

`UKJnb?TUijZ^b?`U\bh‰"‰ŠVhW]gjZOZ^bhgjKJ`VhplZmI(KoCFHVhp]i†TIœ.Vhp2k ZUF]KpˆWHTUKZF]Kyo[gjV?TUTUi…”o[VhZ^ijb?p ToCF]KJIMV8V?TmzlW]ijk2VhpHo[K

I(KVhpHT‰b?`5ZF]KSTUK[gjKJoZUi…blpbh‰®V°‰ŠVhW]gjZ"Z^b?g…K`UV?plZI(KJoCF2Vhp]i†TUI V?T5ZUF]Kg†VhTUZ"T^ZUKJnybd‰®V’`UK”pHKJI(KJplZ"nH`UbYo[KJTT[—

£ŽK–H`Ui†p]z Z^b¢ZF]K`UKJV?k]KJ`J•T‹VhZ^ZUKJplZ^ijb?pZFHVdZZF]KTVhI(KM‰ŠVhWHg…ZyZ^bhgjKJ`VhplZ‹I(KJoCFHV?p]i†TUI o[V?pŽ–Ko[gjV?TUTUi›‘

”KJk WHpHkHKJ`OIybl`^K‹ZFHVhp¢b?p]K ­ ` pHbYkHKhœ.T^i†pHoKi…ZOIyijz?FlZmn2`^b“Yi†k]KI(b?`UKZUFHV?pBb?p]K‰ŠVhW]gjZmZUbhgjKJ`VhpHo[K

n2`^bln2K`^Z˜\?— „ b?p2T^i†k]KJ`‹‰b?`‹K[X]V?IMn]g…KZF]KoJVhTUKbd‰SVhpi†IMn]g…KI(KJplZUVhZ^ijb?pŽbd‰¥Ufl¥Uf 7s84œ‡SFHijoCFžTVdZUijT^”2KJT

Vhg…g®ZUF2`^KJKOnH`UKJkHijoJVdZ^K

T

(QT

T

(VhpHk

T (Bz?i…“?KJpi†pEVh–Hg…K

=

—"EF]KOob?``UKJTn2blpHk]i†p]zI(K‘

oCF2Vhp]i†TUI TF]blW]gjkp]bhZ–K‹`^KJzhi†T^ZUKJ`UKJkblp]g…\8V?T ijIMn]gjKJI(KJplZVdZ^ijb?pbd‰b?p]KObd‰ZUF]K’ZUF2`^KJKm‰ŠV?W]g…ZZUbhgjKJ`VhpHo[K

n2`^bln2K`^ZUi…KT[—

EF]K8o[gjV?TUTUi…”o[VhZ^ijb?pˆToCF]KI(VBnH`Ub“YijkHKJT’V oblpHT^i†k]K`UV?–]g…KMVdi†kvijpŽi†pHk]i†o[VdZUijpHz¢n2blTUTUij–Hg…KoCF]b?ijo[KJT°‰b?`

ZF]KmV?nHnH`Ub?nH`UijVhZ^K ‰ŠVhWHg…Z$ZUbhgjKJ`VhplZ$I(KJoCFHV?p]i†TUI ‡i…ZF`^KTUnKJo[Z$Z^bTUb?I(K‰ŠVhWHg…Z™Z^bhgjKJ`Vhp2oK`^K¤YW]ij`UKJI(Kp?ZT[—

°b‡™KJ“hK`[œZUFHijTijTTW]Kˆi†p ijZUTzhgjb?–HW]g†Vh`UijZ˜\ i†T8‰ŠV?`‰Š`Ub?I oblpHT^i†k]K`^Kk VhTTUK[ZUZ^gjKJk— EF]KvpYWHIy–2K`bh‰

i†pHoJVh`pHVdZUi…blpHTZFHVdZIMV,\ o[b?``^KTUnb?pHk Z^bžVvTUi†p]zhgjKŒ‰ŠVhW]gjZMZ^bhgjKJ`Vhp2oKBnH`^bln2K`^Z˜\ oJVhp –2K¢I(b?`UKŒZUFHV?p

blp]Khœ"V?pHkžT^ZUi…gjg ZUF]K‰ŠVhW]gjZZUbhgjKJ`VhplZI(KJoCFHV?p]i†TUIMTIMV,\FHV,“hK`UV?k]ijoJVdgjg…\Žk]i®K`^Kp?Z(VdZUZU`Uij–HWHZ^KJTJ—ˆEF]K

kHi.KJ`UKJpHo[KJT’o[V?p¢–KMk2W]KyZUb‰ŠV?oZUb?`Tmi†p W]KpHoKkv–l\ b?ZUF]K`°TUbd‰Z˜‡Vh`UKyV?TUnKJo[ZUTJœ®i†``^KJg…KJ“,V?plZmZ^b‰ŠVdijg†WH`^K

TUKJIMV?p?ZUijoJTŠKh—z2— TU\]pHoCFH`Ub?p]i&JVhZ^ijb?p oCFHV?`UV?oZUKJ`UijTUZ^i†o[T—4mKJp2oKhœ™ZUF]K¢`UKJV?k]KJ`MTF]b?WHgjk oblpHT^i†k]K`yZFHVdZ

ZF]Ko[gjV?TUTUi›”®o[VdZUi…blpTUoCF]KIMV o[Vhpž–K8KI(nHg…b\?KJkZ^bvF]K[g†nZUF]KŒk]KJTUijz?p]K``^K^ceKJo[ZZUF]blT^KM‰ŠV?W]gjZZ^b?g…K`UV?plZ

I(KoCFHVhp]i†TI(TmZUFHVhZ°V?`^KpHbhZm`UK[g†VdZUKJkBi†pˆVhpl\Œ‡ V,\‡i…ZF ZUFHK(TUbd‰Z˜‡Vh`UK’‰ŠVdijgjW2`^K`UKJ¤YW]i†`UKJI(KJplZUTJœ`VdZF]KJ`

ZFHVhpžV?TVBZ^bYb?g$‰b?`T^KJg…KoZ^i†p]z¢V¢TUK[Z‹bh‰‰ŠVhW]gjZZ^b?g…K`UV?pHoK8I(KoCFHVhp]i†TI(Tob?p]‰b?`Iyi†p]zB‡ijZUF TUbd‰Z˜‡Vh`UK

`UKJ¤YW]i†`UKJI(KJplZUTJ—

2%'&( ( % & )*2%3) (&(% !% % %3$

OplZ^ijgZF]i†T‹n2b?ijplZ[œ‡ KMFHV,“hKkHKJVdgjZO‡i…ZFˆZF]K(V?pHVdgj\]T^i†T°bd‰$‰ŠV?W]g…Z’ZUbhgjKJ`VhpHo[KnH`Ub?nKJ`UZ^ijKJTOVhT’Vk]blIMVdi†p

TnKJoi…”oŒT^bh‰Z˜‡ V?`^KŒVh`oCF]ijZ^KJo[ZUWH`UKhœ"i†pHk]Kn2KpHk]Kp?ZUg…\ ‰Š`^blI ZUF]KBbhZF]KJ`Mp]blpY‰ŠWHpHo[Z^ijb?pHVhgb?`(Vdgjzhb?`UijZUFHI(i†o

TUbd‰Z˜‡Vh`UKmV?TUnKJo[ZUTJ—EF]i†T ijTWHTUK‰ŠWHg‰bl`aZF]K’ob?p2T^Z`UWHo[Z^ijb?pbh‰ŸV‰ŠV?W]gjZ™ZUbhgjKJ`VhplZ™I(KJoCF2Vhp]i†TUIŒœlijp‡SF]i†oCF

oJVhTUK¢F]b‡ K[“hK`[œ‡ Kˆo[V?p p]b gjb?p]z?KJ`8o[b?pHTUi†k]KJ`ZF]K¢‰ŠV?W]gjZZ^b?g…K`UV?pHoK¢n2`^bln2K`^ZUi…KT8VhTp]b?pY‰ŠW2pHoZUi…blpHVdg

TUbd‰Z˜‡Vh`UKV?TUnKJo[Z[œ –HW]Z`UVhZUF]K`MVhT(i…ZTVdgjzhbl`^ijZUFHI(i†oV?TUnKJo[ZUTJ— £;F]ijg…KBZF]K W]Z^ijg…ijZ˜\ bh‰OTUZUWHk]\Yi†p]zZUF]K

o[b?pHTUZU`WHo[Z^ijb?p bd‰‹‰ŠV?W]g…ZZ^b?g…K`UV?p?Z8I(KoCFHVhp]i†TI(TijTijp2ob?plZUKJTUZUVh–Hg…K?œb?WH``^KT^KVh`oCF ‡VhTM‰blT^ZUKJ`UKJk –l\

ZF]KMp]K[KkˆZUbŒTWHnHnb?`UZ°ZF]KVhpHVhg…\]TUijT°bd‰a‰ŠVhW]gjZ’Z^bhgjKJ`Vhp2oKyn2`^bln2K`^ZUi…KT°V?TOVŒp]blpY‰ŠWHpHo[Z^ijb?pHVhg5V?TUnKJo[Z°bh‰

VžkHijTUZU`Uij–2W]Z^Kk V?nHn]gjijoJVdZUi…blp—/°KJpHo[Khœ–2KT^i†k]KTZUF]Kvo[Vhn2Vh–]ijg…ijZ˜\ ZUb VhpHVhg…\$&[K V?pHk Z^bžKXHnH`UKJTTM‰ŠV?W]g…Z

ZUbhgjKJ`VhpHo[KnH`Ub?nKJ`UZ^ijKJTJœa‡ KBp]K[Kk ZUb–K TUW2`^KBZUF2VdZMZUF]K nH`Ub?nb?TUKJk ‰b?`IMVdg ‰Š`UV?I(K[‡ b?`¡ŽVhg…gjb‡ST(ZUF]K

kHKJTUi…zlp]KJ`Z^b‹oblpHTUijk]K`ŸZF]Koblp,c^WHpHo[Z^ijb?pbh‰2‰ŠVhi…g†WH`UK TUKJIMVhplZUijoJTŸ‡ijZUFyZUF]Ko[b?pHTUZU`Vdi†plZUTn]gjV?oKk–l\bhZF]KJ`

pHb?pY‰ŠWHp2oZ^ijb?p2Vdg$Vhp2kvVhg…z?b?`Ui…ZFHI(ijo(T^bh‰Z˜‡ V?`^KMVhTnKJoZT[—MEF]KM‰ŠV?oZ’ZUFHVhZ‹ZUF]K8n2`^bln2blT^Kk ‰Š`VhI(K[‡ b?`¡ŒijT

–2VhTUKJk‹blpnH`UKJk]i†o[VhZ^K$gjbhz?ijohœ‡SFHijoCFyFHVhT–2KJKJpTWHoJoKJTT^‰ŠW]g…gj\‹WHTUKJk‹‰bl`n2`^b?z?`VhI TnKJoi…”oJVdZ^ijb?p7œ,TW]z?zhKJTUZUT

V?p - ob?IMnHVhZ^i†–]ijg…ijZ˜\v‡ijZUFZF]KK[XHnH`^KTUTUijb?pHT‹bh‰zhKJpHKJ`VdganH`Ubhzl`UV?ITn2Koi…”o[VhZ^ijb?pHTŠKh—z2—¢TUK[K

7…LhL,8"C—°EF]i†Tmi†IMn]gji…KTmZFHVdZOi…Z°ijTOnb?TT^i†–]gjKZ^bKXHnH`UKJTTSZUFHKyoblpHTUZU`Vdi†p?ZTm`UK[g†VdZUKJkBZ^b“Vh`Ui…blWHTmTUbd‰Z˜‡Vh`UK

V?TUnKJo[ZUTijpZUF]KTVhI(K$‰bl`UIMVhgh‰Š`VhI(K[‡ b?`¡°‡i…ZFgji…ZUZ^gjK K ®bl`^ZJ—;:OWH`KXHnKJ`Ui…KpHoKTUbS‰ŠVh`FHV?TTF]b‡Sp‹ZFHVdZ

TUbd‰Z˜‡Vh`UK5nH`^bln2K`^ZUi…KT7`UK[g†VdZ^KkOZ^b‰ŠVhWHg…Z7ZUbhgjKJ`VhpHo[K 7›Ls 8>œV?pHk’T^Ko[WH`Ui…Z˜\%7

=

8lo[V?p’–2KaW2p]i›‰bl`UI(gj\mK[X]n2`^KTUTUKJk—

ˆb?`UK[b“hK`[œJ‡™K FHV,“hK™p]bhZKJpHo[b?WHplZ^K`^KkVhpl\‹nH`Ub?–]gjKJIMTŸ\hK[Z‡i…ZFZ`UV?pHTUV?oZUi…blpHVdglnH`^bln2K`^ZUi…KT[œVhg…ZF]b?W]zlF

blWH`KXHnKJ`Ui…KpHoK’i†pZF]i†TSk]b?IMVhijpijTmT^ZUi…gjgŸnH`UK[gjijI(i†pHVh`U\ ŠK?—z—$T^KJK78"C—

EF]K°Vhk]“VhplZVdzhKbh‰.K[XHnH`^KTUTUi†p]z’ZUF]KOVdgjzhb?`UijZUFHI(i†o V?pHkMZUFHKS“Vh`Ui…blWHT"p]b?p]‰ŠWHpHoZUi…blpHVdg®T^bh‰Z˜‡ V?`^KnH`Ubd‘

nKJ`UZ^ijKJT°b?pˆVWHp]i…”2Kkˆ–HV?T^i†T[œ®i†T°ZFHVdZ°‡™K(o[V?p¢`^KVhTUb?pBblp ZUF]KJij`OoblI–]i†pHVhZ^ijb?pHT°VhpHkvk]K[ZUKJoZOn2blTUTUi†–]g…K

i†pHo[b?IMnHVdZUij–Hi…gji…ZUi…KTmV?Iyblp]z8ZF]Kyo[b?pHTUZU`Vdi†plZUTS`UK[g†VdZUKJkBZ^bk]i.KJ`UKJplZmTUbd‰Z˜‡Vh`UKVhTnKJoZT[—¯b?`mKXHVhIMn]gjKhœ

gjK[ZMWHTo[b?pHTUijkHKJ`yZUF]KBo[V?T^KŒbd‰°VŽTUbd‰Z˜‡Vh`UKVh`oCF]ijZ^KJo[ZUWH`UKZFHVdZFHV?TykHK”p]Kk Vhg…gV?TUnKJo[ZUTM–HW]Z(ZUF]blT^K

`UK[g†VdZUKJk Z^b‰ŠV?W]g…ZZ^bhgjKJ`Vhp2oKhœ VhpHk ZFHVdZM‰ŠVhi…g†WH`UK¢ob?p2T^i†k]KJ`VdZUi…blpHTMTUFHb?W]g†k –2K i†plZU`UbYk2WHoKkœ‡i…ZF]b?W]Z

Vhg…ZUKJ`UijpHzZUFHK(o[b?pHTUZU`Vdi†plZUTOn]gjV?oKkˆ–l\BZUF]K`UKJTUZmbd‰™ZUF]KTUbd‰Z˜‡Vh`UKVhTn2KoZT[—EF]KMk]KT^ijz?p]K`°oJVhpvT^ZVh`UZ

‡ijZUF TUb?I(Ki†p]ijZ^i†Vdg‰ŠVhi…g†WH`UKŒo[b?pHTUZU`Vdi†plZUT(VhpHk “hKJ`Ui…‰\žZUF]KJij`MoblIMnHVdZUij–]ijgji…Z˜\ ‡ijZUF KX]i†T^ZUijpHzŽTUbd‰Z˜‡Vh`UK

n2`^bln2K`^ZUi…KT[—C:OpHoKSZF]Kmo[b?IMnHVdZUij–Hi…gji…Z˜\(i†T$“hK`^i…”2KkœhZF]Kmk]KT^ijz?p]K`[œlWHTUijp]z‹ZF]K°n2`^bln2blT^Kkyo[gjV?TUTUi›”®o[VdZUi…blp

ToCF]KI(V2œ?IMV,\MoCF]bYb?TUKmT^blI(Km`^K[”p]KIyKplZabd‰ZF]Km‰ŠVhi…g†WH`UKmoblpHTUZU`Vdi†p?ZT[—£;F]ijg…KOZUF]KOobl`U`UKJo[ZUp]KTUT"bh‰7ZUF]K

`UK”®p]KJI(KJplZ‡ijZUFB`^KTUnKJo[ZZ^bMZUFHK‹‰ŠVhW]gjZZ^b?g…K`UV?pHoK’nH`Ub?nKJ`UZ^ijKJTi†Tp]bhZSpHKJoKTUTVh`U\hœYZF]KoblI(n2VdZ^i†–]ijg…ijZ˜\

bh‰ZF]K`^K[”p]KJI(Kp?Z"`UKJTW]gjZUT5‡ijZUFyZUF]KK[XYi†TUZ^i†p]zOTUbd‰Z˜‡Vh`UKnH`^bln2K`^ZUi…KT5IWHTUZ"–2KoCF]KoC¡dKJkyVdzlVdi†p— °bhZ^i†oK

FHb‡™KJ“hKJ`Jœ,ZUFHVhZ"k]KJkHW2oi†p]z’ZUFHVhZ5V’o[b?I–HijpHVhZ^ijb?pbd‰®pHb?pY‰ŠWHp2oZ^ijb?p2VdgHnH`Ub?nKJ`UZ^ijKJTi†TŸ‰Š`UK[K ‰Š`Ub?I i†pHo[b?IMnHV‘

ZUij–Hi…gji…ZUi…KT™kHblKTap]b?Zai†IMn]g…\(ZUF2VdZa‡ KSbl–]ZUVhijp8Vk]KJTo[`UijnHZ^ijb?pMbd‰7F]b‡ ZUbVhoJob?IMn]gji†TUFMZF]K°o[b?I–HijpHVhZ^ijb?p—

EFHijTi†TSVhpHbhZUFHKJ` ijTTW]K‹ZUFHVhZg…ijKJTblW]Zbd‰5ZUF]K‹ZUb?n]i†o[TkHijTo[WHTTUKJkijpŒZUFHijTSn2VhnKJ`J—

EF]KSn2`^b]oKkHWH`UKk]KJTo[`Uij–KJkMV?–2b“?K i†T5ijZ^KJ`VdZUi…“?K[gj\KJIMn]gjb\hKkyW2p?ZUi…gZUF]KSnbhi†plZ"‡SF]KJ`UKZUFHKSk]KJTUi…zlp]KJ`

bl–]ZUVhijp2TVhpŒK[g†Vh–b?`VdZUKJkŒT^bh‰Z˜‡ V?`^K‹Vh`oCF]ijZ^KoZUW2`^K’ZUF2VdZSk]KTUoJ`^i†–2KTzhgjb?–2Vdgjg…\8ZF]K“Vh`Uijb?WHTTUbd‰Z˜‡Vh`UK’V?Te‘

nKJo[ZUTJ—EF]K i†p?“V?`^i†VhplZ7ZFHVdZTUF]blW]g†k–2K “hK`^i…”2Kk’ijpVhg…glijZ^KJ`VdZUi…blpTUZ^KJn2T[œ,i†TŸZFHVdZZUF]K T^KJZŸbh‰2ob?p2T^Z`UVhijplZUT

TF]blW]gjk `UKJIMVhijpBoblF]KJ`UKJplZJœ2i>—K?— ZF]KJ`UKV?`^Kp]bob?p 2ijo[Z^i†p]zo[b?pHTUZU`Vdi†plZUTi†pBZUF]Ky“Vh`Ui…blWHTSTUbd‰Z˜‡Vh`UK’V?Te‘

nKJo[ZUTJ—"¥4‰V?pi†pHoblIMnHVdZUij–]ijgji…Z˜\i†Tk]K[ZUKJo[Z^KJkŒkHWH`Ui†p]zT^blIyKOijZ^KJ`VdZUi…blpœYZUF]KpŒZUF]K‹k]KT^ijz?p]K` ijToJVdgjg…Kk8Z^b

oCFHblblT^KV?p]bhZF]KJ`mVdgjZ^KJ`pHVhZ^ij“hK’bd‰anb?TT^i†–]gjK`^K[”p]KIyKplZ[—¥ep ZUFHKo[V?T^K‹‡SF]K`^KijpHo[b?IMnHVhZ^i†–]i…gjijZ^ijKJTm`Vdi†TUK

‰bl`aVhg…g.VdgjZ^K`UpHVhZ^ij“hKS`UK”pHKJI(KJplZUT `UK[zhi†TUZ^KJ`UKJk(i†pZUFHKOo[gjV?TUTUi›”®o[VdZUi…blpMTUoCF]KIMVHœlZUF]KOk]KJTUi…zlp]KJ`™FHVhTaZ^b(k]K‘

o[ijkHKSK[ijZUF]K`$ZUb`^KI(b“hKSTUb?I(Kbd‰ZUFHK°oblpHTUZU`Vdi†p?ZT$`UK[g†VdZ^Kk(Z^bb?ZUF]K`aTUbd‰Z˜‡Vh`UKV?TUnKJo[ZUTJœ?bl`"Z^bKXHnHVhp2k

ZF]Kog†VhTTUi›”oJVdZUi…blpToCF]KJIMV(–?\ijplZ`^b]kHWHo[ijpHzMpHK[‡ `UK”®p]KJI(KJplZTbd‰5ZUF]KnH`Ub?–Hg…KI(VhZ^i†o’nH`^bln2K`^Z˜\?—

¥epZF]K8zhKp]KJ`Vdg"oJVhTUKhœŸ‡ KKXHnKJo[ZZUFHVhZZUFHK8`^K[”p]KJI(Kp?Zbd‰T^bh‰Z˜‡ V?`^KMVhTn2KoZT‹‡i…gjg™–Kk]blp]Ki†p

n2Vh`Vdgjg…KJgaVhpHkžFHKJpHo[Khœ5ijpZF]KoJVhTUKbd‰i†pHoblI(n2VdZ^i†–]ijg…ijZ^ijKJTJœ5ZUF]Kk]KJTUi…zlp]KJ`‡i…gjg F2V,“hK8I(b?`UKZUFHV?pb?p]K

oCFHbhi†oKablp‡SFHVhZ`UK”®p]KJI(KJplZZ^b’oCFHVhpHzhKh—¯5i…zlWH`^K = ijgjgjWHTUZU`VdZUKJTz?`Vhn2F]ijoJVdgjg…\OZUFHK ijZ^K`UVhZ^ij“hK `^K[”p]KJI(Kp?Z

n2`^b]oKTUTJ—(£;F]KJpVdgjg$TUbd‰Z˜‡Vh`UK(nH`Ub?nKJ`UZ^ijKJT’V?`^K`UK”p]Kkˆi†pŽnHVh`Vdgjg…KJg*œŸZUF]K`^KIW2T^Z–K8T^blI(K(nH`Uijb?`Ui…Z˜\

ZFHVdZ‡ijgjg7k]K”pHK‹‡SF]ijoCFBTUbd‰Z˜‡Vh`UK°V?TUnKJo[ZUTVh`UK‹I(b?TUZTUijz?p]i…”o[V?plZV?pHkŒF]KJpHo[KTUFHb?W]g†k–K‹ZUFHK‹gjV?T^ZZ^b

oCF2Vhp]z?Kh— :°ZUF]K`^‡i†T^K?œZF]KMk]KJTUi…zlp]KJ`°‡ijg…g"–K(o[b?pY‰Š`Ub?plZ^KkB‡i…ZFˆVgjV?`^z?K“Vh`Ui…KJZ˜\bh‰™oCF]b?ijo[KJT°‡i…ZF]b?W]Z

V?pl\8ijp2k]ijoJVdZUi…blpblp‡SF]i†oCFBTUFHb?W]g†k–KnH`UK‰K`U`UKJk—

Ok

Incompatibilities

Transactions Nonfunctional X Fault Tolerance Security

Refinement Verification Compatibility

Elaborated Architecture

Software

.

More refinement

¯5ijz?WH`UK = <5EF]KijZ^KJ`VdZUi…“?K`^K[”p]KJI(Kp?Z$n2`^b]oKTUT5ZFHVdZag…KVhkHT5ZUb‹ZUF]KSKJgjV?–2bl`UVhZ^KkyTUbd‰Z˜‡Vh`UK V?`UoCFHi…ZUKJoZWH`UK

kHKJTo[`Uijn]ZUi…blp—

8

EbBk]KJI(b?p2T^Z`UVhZ^KyFHb‡qZUF]KMk]KT^ijz?p]K`mbln2K`UVhZ^KTmi†pˆZF]K(“,V?`^ijb?W2T°TUbd‰Z˜‡Vh`UKyk]KJ“hKJg…blnHI(KJplZ°TUZUVhzhKJTJœ.‡™K

o[b?pHTUi†k]KJ`‹ZF]KK[XHVhIMn]gjK8bd‰SVB”2gjKTU\]T^ZUKJIŒœ‰bYoJWHTUijp]zvnH`^i†IMVh`Ui…gj\Žb?pZUFHKTn2Koi…”o[VhZ^ijb?pŽbd‰SZF]K8‰ŠV?W]g…Z