аЯрЁБс>ўџ њўџџџўџџџјљџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ`!№lАpћПЊЮ§aў,/§ђC Y рh:ўxкЕœ ”е™ЧыжНЗЊЋЋКчегѓ~€тH`ˆМЬЮ<"‚  gGvGf€9㆙1Тф  A *fY5 a (+‡DMpA”!€ЛВ9@yVзGЂТ*оћПЗК†ššGїtOрќЈ[ї~ї__ѕеНUЗЋ!ŠЁ(єB/Eб•нDС(ё)[S5ЂdЉЋв”б6€d+љи^R_КІШ??ГћU(щSjgз4п[ѓƒтI‘йUѕŠїш_Jь­JˆT6Ф1дўфPQ‚VQu!јЏiХлJŠr!МS”ЫЈоБcGЋ‘[ [ЖU.qэкЕhЛЊЄc{#е•“}“ wС"”Г{ШŠ€нзы#mеvŽ,tVІ8Нд6НxдšДЉетђУ}\qБ= EБ-!зЎйq№~rя']ЭцГеlћ CYЧО`у˜ї“Хњ,^яуеNмћд—FI2й’хЫкђ@Љ~2Ќїёj'ю§ЃЪИЉ„:ќћЈžNў<ž—d€Ш”<Ї‡б&‚&аˆ:›ШщЈO'FYо;ЃМ›w`ћњь”„б†]˜ќЌFMd€tдл:‚?‚ЏРщ(g`sЖgачД$Œі0ьТфПС~дй„@HGН­#И |6…’ Rф a›))№…%зt›ЋаК"  ьлЅа юу$d<єЦAKpДЦ‚Rа_’IњIB ћщ’в(SСc`.˜'Щ!)™ ЧРT№ $“TJB ћщ’ЉQ–€—С+`$„@ІфhМ –€Х`ъlB ЄЃожќЃ‚Э!иBŸƒ’0кУА “7СЈГ  Žz[G№1PtBЃ0#„@&іaД‡a&џ–Md€tдл:‚thмe $ƒ ‚о@h n– =JъR%!}[УЁLС}’ ™’‰а˜*Рэ’L2RиO—TDёŽ"юрtДўњ•ЯcЮЁb Ъ‘†+‡ШRѓY“2€ DyЉщaœ1$аЩЈeI-ІИ5„f|уЌ№3ЬžHщЫ~k%ЮН‚}‡АВUсѓQђ[Г/lФB[‹'bZ|гbF s‹ Д8 еe1ёЮ2eDДїсР3іЮу‚й*wYм]џHScЄX$џцGuЦ?їш hеI“;ЁУ\їзз6Ž‘ ŽЦЮро}‰VћBЋ$џ%YЁМ*Љ$?лДU$йY-^эФчфсўJ’'YЁќЭT’€пŸМїёj'ю§\ыy:зкLЫ СQ”Ѓл­šЌїёj'ю}Ф(b$uДŸЄˆY`„Q•єНhМк‰{?ЫКG›e=Ќѕ3KQМІmЗ~Ј%ы}Мк‰{\лJп–<Ѓ§\В•6ƒкœЄ3'^эјМwЯ=?зfIХ1†@”giЭ=jŒЙЧЋеS9}@› )Р™а,0ТШв“ЯщјДЛWjеЉuм_"хГzЂqЅ“X\зš§|kMЫЗг|ЂЏ5аgš’ŽkМк‰{џИѕЂљИѕ{ГЬœDYpемgНg&ы}Мк‰{џАuЩїА•kє3З[‚iЦvЋдHжћxЕЛŸгЗёГњm<Ч—Ѕ D9ёœіj%ыY)Šг$Ђ\Ъ“ёЌ+ФЮјmНYr‹С$;шЧ| kuIЯёjw?Ў[иYО…ЭЗ>’ˆђй„уKЇ{ž`•ж ЈЕXQЎДѕЬЋ•œgЛќkŒ]ў=ИоЂМЦHд3ЏVЯфтџњ_ ь–Ќ1~-y1АМс?•єЊYМк‰{ŸFіЉidЃК_ВeС,uЏђ 5YяуеNмћ…d9_HуЛС§( †ђїШ žЌїёj'ю}ЙХШ#ЉЦ‡’/|y’џєPЎљ’ѕ>^эФНшЋNНOВ&ЅIRњ˜юлšЌїёjw<ЉцI5ЏЃ™QоH]ŠЅгеъP_кl~AЦqg=Фљfщњ7Jі:Э]ъb.жiЦё/HГй—о]/VYRЃmG8uЕ=вдHмы/wЉjФео~§х-Ј3—Eћѕ—ЗдaюЎП,bsј"6‰Oу‚( RxЋHњW;ё,џ {K§ [ЉNу‚y( T‡АЇ“уею~–HОб>$†9€ Dљ-ё5аыBГ;YўБП/ЫжO’ЮГмЮВ9z\х;IВѕОше~Eѓу˜џр‹eБЏ ћjiШUQЧТН*:вXжiяДиŒоšЫbBS#.Iћzr_—›СД3%ћК,ёШuQЧЂ§uYтПCobчF‹ѕЌПХZ“ђQP ЪЯњЭ З†аьоњј‰рыўїЌXЙ4}бњžѕКџDАЃеюХДј&ІХL+–Х‘.,ьѓ?>р h.‹ЩUM e8g§e”D•ЦЎtЊ”#-v@ЩpYŒ "sjыƒ•бLzНфПmНlыхЬm[[nѓе;ЌG_цВhŸuыƒ[:є<žЌлHZЌўгA('>яК5„fwВ.рџKp?‰uпR8ю' :M~г"•ЦВXгт\L‹ZЫтhL‹ <–ХޘCЕЮ-ьќZЇ9љe[мЉЎ#ѓЙTcіgЦЯ•‘Ї;W†m1КЖjf}ЄЁБ68F^gЅ^ ЪžБ})zЊЎžгњЗ^‘KѕЉ1|gОЖОЗП6˜oK‡нјЖ„]ђЭeЙЦ]† Т˜ЫгŒЁ,љuЌxЕ“YY^˜,љЃЏDВ<`FђЯСёjwџN)GПAЯб?№=d Dљ=бq)–NWувѓОfГFWѕЮЧ%ћ›зэњH](Јzоl>я›ijЌiœыhЛ^ъ#.+w>gI‹AО‘КЯeQU_]ќ@ЄБІПTЪQЦДбф[ябѓЮkЁЧ\эЏЕОгzG>]„gMБПуїЦYДїЁЊ2‚ŸеПЫу]хŒWЕœOц• gUЁЭдЖƒфВє й@’йк&х Яž^­юdщнZ_ЖŸ%БgOч§ƒ§Є/zu4{ЦВHЅБ,ФД8з…EZtіtо@А-ЦcNЊl3'е2B;гGчзlUwYŒŠд7Ю‰де8We/зНџQ6–vэб$ожЃіWв$ОЗУOЯh7‹хшкCІ@”gБФGЛЎuКЪЃ#Мй\Яbv”;ЃнzжlсПgByjttВ­мЃSОДx:ІЫЂѕЎazƒтНo{Ю}СЃ<гшLй>[ŸqgмГ-кŸ­ЯИ3ю9‰Ž{§%кЗŒ:­gGЈ‰ЦгкDcvЋN6ŽаћŒ7hЯЊN1†SŒ<ЃgUKŒF‰QаУЊЛ§-Ц.џzЃЇ#pЬœbќG}sкl§ЮпlђSЩE”Йц6ыSВїlёj'“pшYеclžuŒMЕzVЕPn=ЋЪД\у&аГЊм2}% йїЏе|MЪCІ@”П $ОтоЕNWsNUJГ90иеŠЛНŠѓTp1зфŠїР`ГY•вй*оSС•б•qлЎ§LNRœеuлЂ§м@R†uЈсѕ§‚вЧ_ lе:їНXъ§@9ЏбКU+@ Ъјš††Њ™5 Х3цDfWЪ™­D)Хl'J9И3ї&ї*ЙžЇƒЯЁуsщLxф‘HCmcєi§њ<ˆZџ“œывmНЂя‰~ЎќШЧ]-їдт1ЃvL4’9žЗJПGЮknkБ>аPыЌ8sђїШ9н}4gNіЦьvГ:f+ЧЬўхЂˆ ЪVцб›еgиЄ‰Щ(Ѕ бv]іvк‹ЗѕїмџнХІ(КЫЂЋћПЛи“5якпЈ.‹ЛыkцЬЈš^CŠЅNЉ(Р~!ъ‹а^Л"2ƒ’Y4Ÿдв<ВБŸ…zЁ#ИЈ  Йфœ:œ  хфл` Nбad0-#CшwРP”‡ . )^Ъ ъЎ)Cшp \Tб Ъ@№mЉ)јћGЃˆЌfE$’/ ™<Ÿ„y.ШYиЯB}эaиe‘UрW,‡ЌdЙ `ПѕЖЮj6œœB[ПЈœТнСIp‚]TŽГKИoНЂeWBŽ1BŽЃ_*єSљ”‡ЂюVr”•a(G]99NJMAїЂaˆяГc|+нУbНЯЩИ|ŸaлJёїй”Шˆжљ#“5rтjs†іxКНЉЫЂЊЎŽєwнO-fЕ1.yšъkЃяLД§Ж žЗѕГБ!Пu–Јчc:т<ёnBмПјзс<ЬФљ˜Žѓ2 чЇчIœЏŽŸ9Кџ›ЕŽп•Ў-bEк)ЩYОHђ/c~-љweтгNўЙё-VЈнћ]oGПSoџ49R Ћ#е‹ъ!*хАкйгЄуiвЋеЇЩУъZІоЁЦZС\ІЮ—П”ЛC-CУъИШєЊКH9FœRљV@ jU%W…ЋіыŒœЮ—ЋТŽ…јŸ F џН­ї}œочбˆwUx!Ќ.фŸЈ…К@”'SЏVwbкЂцыїЋKКxBЗcБIн%ŸЋ—№ћбЃE<}VM™впЕfПI]$ŸЋ‹ъmƒ<ѓ@oКKЮŽES] qуе›ооFЁ;бЌ.фй)…К@”Ћƒ‰GГ­VwЂy>˜Џ?ь*šv†ў9И‹sљIŸDѓAЭъˆOoм&Ї8qГ­Нq›œтФЭnwЧЭў_7RЅŠВMXDU{OžлаX3лŽФ‹+žјaYг—фгЙ_’‰ _’?Yp›*-ўЋ ЫТn№У$tї fр]qіmЖЭ7†эМџ‰PNG  IHDRKAЎ ЉОgAMAБˆ•˜єІPLTEџџџџєь§цлќмЩќаИњУЈїЗ—ѕЋ†ђюѕђžxяЩСэ‘hьГžшЇш„\хxPтХЩсньсgCмЃ™мsYлX7к˜‰зfMзH,жЯужУвжŠjж}[е—{еlKгЊ”гY:бq`б4"аЗЋаВЁаB(Я”ЭE5Ь|uџџџЪСНЪЩЩЩЩХФЩОиЩВЧЩUHШЧЪШogџџџУУШТ"РМТПTPНmnКЕОК­ЮКSPЙЃПИ*ЗPWГЎОБ1ЎŸФЌЄЙЈ?PІZoІ6 ™Д КŸ„ЋoŽ;š-J–Ў•JgHkŒ€ІŒC‡t›‡sЈ…R~ƒG|rŸyJxfžpOoa•n=om0djX”jM‡eQbPŠ`J‹\TS<€S1tQVP>€F/vFY>*o8"m7\*^џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ уќП pHYsФХŒ0?ZHIDATxœН˜mWуD€ЇА@Pw!ЋЈaзуАQ< JДвЈPХuЊ‹š­HkI;џџб;wвМЬ$хьž=о/Mf’Їїmюм !џ“œ^іD*ЗНгЃНз] Cn~иuЮў‹qNрQз;Ў}iНrєEIХ№ЉЕ5ДЭ+Ÿ›Ц„qnъГŠЗ6hХрm™СдŠ9уйрsу­ЧдdJ tEXtSoftwareMicrosoft Officeэ5qIIDATxкэ xE€+$‘pШЉ€Юˆ0аАШjЂтЇ.И\‹Ђ‚] ‚\‚рКQ‰ŠЈ ЂDљŸ К (+Аr("ЋAXB—’Ьєлющ™žžžЊъЊюž#Іо9КЋЊЋў~ѓЊъеЋ ’„„Q@ № МB^Wр"№ МЏWрx…МЏWрx…МЏР+DрxоHŠЇву\aU•RЅќ_рѕ tD­R:^kЙ•џВdОПЉВcŠ,IшZ”„:Чр(т…™)H•Ћ&?ьf@ Њ,Юžр—нЈЯˆl„‘ Ч^ 6Ј +(,г TљBN”…XЄX‘(с№rHьУжp™WZjPcH0AйЈЁWаЏf_щН6Ѓ†у§ВYМ‚сТ9™%И‹*uИ'Ш”)рЁnAE^9хГО,PQуёТ”Ю ƒ^kЪuЪМ6?`,яНЭЧ њњ/~TП п+яya’>џ0Ђfу…% ЌјБлCяxў2^Ї +—Н/_S~JЃ5–R“ёТ…WћсDхЋИ:Й…FјшГфЏЕИzЊŒеUpUаSU•A<|k,^шЏРњf7гЗb‡ž№г˜зPМћs"4{ Л"ЪіvЦ pJмsЙљ,™k"^иBн]Яёц+–YuКRcœєнО=fˆux!њг‹ˆр…zMP­і2fЪЌvЪC TKC|ў”9о'мŠ”!4Ир…™r‹[Q%HєЭpўНGМdLМN‰Ж15=7^84Ш{нЂOLTРw,//Ma6 ‚Ј.ШQd№х ГC&wYПoэuoЪBЗžБќjфa\7ЃŠі“5њ[џј“EC Ўˆ™™7kxї„-QQфpтНєсљ:v>ž оtЌJћJ#дИЄЄњкHЙXУ›…фЂ&Fƒoј№ q’6ЦaЇ[˜рНўm“у……'Д‘hЦСїќŽ№ТŸаєƒіFF0H6Гк/Jї6†Žѕ?щИыIљтnљ{—+ођ™щё+љШ'xauѓЁ6?‹'d"ƒ7ТцеЋWЏйf…ІІkП.Qм™+ц`tRУ{ЦkYѓ#m Т€ЮтйeЇЂ  Ы~.”хx#š§ЌђхуsИЁ—†w+Bёо›]QнЩ|Ёzр…є—РмкIЕЁN’м™]†xф)^•}‘>}Rн<(Ш/ЃxЁc~І–t†Ÿn–Ѕ ЖzлŸЎПђ0?^шŒдС‚šўуЃўbk ЙэfіƒЛ{ѓИ˜#…ўQјЂ•ЩY#ЯЮЗOЭ™Ў,њb &$Їe^љћbџ„Ъ$№‘_ ­"мŒyЉэоFЯч)ВЅe­vo‘ЅёЖІYWER5 Вe-'fyаяч™|Ь я%%YВќУБ8џb“лX^‰ъ1’Ÿп№К§Ж—›ЎZџЦp;Q[J.Ь;Р W~МћёОчSrmRkI№'пC)Ъэv+ЈPiеЏoиДгE%ГМYЎ оЉ~oмЃZ=QŸ^ЛІ(œ\нv€?^х`ёюнmŽюѕ(Ј†xзЊы–!№rMм]Ъ ЗПхONV ™X>#ч wRЌjoяdrПљŒё‚~6>дЏ.ыs T7М—Мk>ЎWqJ=–šГ<^бЩ ”?HКp”Nѕ}xG3Ž№іУb­kДэthWv!} е oеЯJkъnСкŒћЉYЈјfтaев?Ќx•д ѓЕ-Ћ ЕFЭ Zсѕv;­pwŠу5в’šЉ|‡ЬKq1@3о+†ЫЩ И‰Z41Јp%BMЁс]ЉДЂ7ЖЦEшcjVЭaЏбёђLе?зНБюезюWй†TМлМг)<Н%ш[jо<„ќ~"Ўu­Йё*O‡лЏ xђkˆЯ'rњЏЃ‡WMœХп\m6n˜ЇK0•ШЋђtK+xљЅis )№Ё^R=№nQъ]A4ЪGиlƒї—еШ1ЬOрRржO'W МK•Z&вk@”Z€Z`л—Ёе€НО{кЫ†ёh Ф>о|Ѕв{ЩЪIAGдUџыћpуNтŸЄ­Ї>*C‡л*:xaŸ\хыЩЕmвƒ€с“Ьзƒс$Ј†Hї8HEЃ Жёn—+<ˆrє0“зƒ‘œХK6Хpџлx}˜ ДћІч€r WкЃ{–іИ3М1ŒЎCёЅtќєъCї„8иX%}^пфїњЋІк† 'coGtНуjН’^РаnЋЯvЋЄ xТЯ •ЯuИ’Р˜=ђx™5 ZНcV‚хU0 яqŽLлŒx%шЃx2™№IЉ НЩЋD xs%/оBО:№JgйоpЄёBWг­(0мЄщЫ“­?п­b)hШЙ_УˆWњЁ6K ‘од M3//6Й?СњѓзЉKђ­œ]ҘЃŸаОXУ ˜&њФЄщCЦкЈ€ЩКv|ж; c < і!Вx †шЈ‚пшї‡мo/№іи .ѓR"‰:ДfIеј[ЪŽщ7–g`ђaЖнРTг˜жHюkЫlЯДsj>§і›љvър[‘шЭ›Џ-nмfж Шс…КŸ:SŽЬ_ЉЙ+ћђf‡нІѕŽиЧыHа  ’*ІtyєћЇŠРЫ| }№зMNQ!рUцсН222вnь’бѕ“Ъx—25WC[ќ›ŸДSn@У№ўœ|€є o Ÿг@ўvмX`Bб‹@aB’yФ;ZжСŒю_Иd@юб#ў‰рЎM ыЫ5Ѕžыe…Ўоjzњ›BИJЭЩ%8–b[Гy>Bg!4тЙКhЄœъДрL%‚І§мщhBЃQвх][>“ѕB]„&*9дќЁыжыU^–;ЈОЎЮqsˆ„ЧYwL.gL?cT к СЋ_aТJYHлXыžR‘"LЊОŒ—AvЌ/qЏwУ"ГЬнŒxt/–€|eށ•Ђз‚ЃкЛ”3пiМа…%єОл9‹кЋH№t ‡7Ык›ЋuЮМ *у•ЋСЏ."Ž.СБ[ЙъбBПgеAМВ‘~Я9уp'wЮŽ`‚F1—ѕЅ>јx6_=тЪТ„7Аж2ожМ]›N’M№іБ`ЃИƒbя ЫЖг"о-„йF„—ЏШrЋЦA–зТаЕЉвђѓЬШяж€зєМ;bY[­зУaу`hЂ МЫЌр 5ПМ8Ы*ЖwGј№ъљFяl ^Ы5Uж[МхŽŒr­рEdМyжёnˆ)МнСk‰.šЮ‡wчP№ОЌЅжЊсщкЉŠZзfŒ2СЋщgOjY8МщЪљ6S,сЕЉНКзƒЧын?‚а] ЛІЮ4m šйcx\‹Œ{а}уhЖwЅЯЋі<<\‹/ф„&>Coц$о~`CЧЕЗЛВ9Ж;я.о}рїrњџyНІЊ?5Р‡w…юНhюœіЊч~o“ё*RъДі‚щ,hx%&1СЋpsi/.uР§RaЏЛ)'о8`У ЇоЕ€—m!І›сХVm№т}Г&ЉtxЦ2^lEœа^х€ƒЋАЕоэ•ўХЅНIФZђж­GС=  ЫMх}ž2.œ8Œ+^Rп7ƒ‚З8ƒїД}лЋ“‹ШUqя`‰ЏwgvˆL2о]iя“ŽтEшŠЋ‘Žа|є6ЅGpо œНШ7Ї( ЩxlkяSМx?Г‡ђИјњ№ж Mtдей5œxџ"энЉ/Л4S"уMБЙж/№ОAЦ[oњ:R#†75ЌK™Йv—2‹уёx{—іNjƒ˜боРэK‡ё-Э“Тb{е~€tz}1^TМЗ2к^33ˆУЛWВŒ—єwЖќRЦ‡зQ1 fк 'гЇѕ<QŸдЬ—ЉQ:яfddє84h№œнЪVоŒєiЫ]=жeє{аћыcІк+IПž›FtЇупШШ Z;Б=t•МЖ#$•hxщ’ej{хZнHШќ ^tЧwЛНБwЎРнMTёbЧ*aДНІaТЋЎі>!ѓ Ф•тLвѓnтЇџвmБ…зVјt–ЙэЅT‹ˆїЌ…vјёn)МФ4FŒCЫЭRёџ jd /|nХТ9mZг^OhщaХЫ4З0ЎЕ1„щмДн0xށqяЊœŸб^ПГyƒэi‡/"‚W‚ьЩДЧзy|OH+Ђ<§4!d!dЎ 0LоЌКњgў§49d9dь 0кљџџИџџџpћp pћ KюU Ъš;/Yl8Ъš;<§4ddddМка 0ЈкˆŠŠ0К___PPT10‹ РРŠJК___PPT9‹,јжљЮn№Фњ‹адwŠщіJІ@hХџ‰PNG  IHDR €ХљOPLTEџРРРЬ™€f+ŽеtRNSџхЗ0J cmPPJCmp0712OmЗЅ0IDATгcT`в 0šH‡†)0РhF(ЭЃPљŒѕ0§HцЬ'ѓ bў] $IENDЎB`‚/Ш 0вЎ2 ЏЏЌ€?й~к+К October 25, 2004 КBFAA/NASA SW & CEH Conference 2005Oй к=№3>ѓ,&ŸЈ)Elemental Analysis in the SPIDER ProjectЁ**(ŸЈDFAA/NASA Software and CEH Conference Norfolk, Virginia July 27, 2004ЁEEѓџЂŸЈThe SPIDER ProjectŸЈScaleable Processor-Independent Design for Enhanced Reliability (SPIDER) Project Goals Develop case study application of DO-254 Demonstrate application of formal methods in certification context Develop research platform for exploring recovery from correlated transient faultsЁ&XОXОѓЊŸЈSPIDERŸЈCA family of real-time, embedded, fault-tolerant Integrated Modular Avionics (IMA) architectures Targeted for critical avionics functions such as flight control. A complete fault-tolerance solution Communication subsystem (ROBUS) Low-level interfacing software Application interface in the form of fault-tolerant middlewareЁ*Ц~Ц~ѓЖ]ŸЈVerification TeamŸЈTElemental Analysis Wilfredo Torres-Pomales Paul Miner Mahyar Malekpour Jeff MaddalonЁ(BBЊ,#  ŸЈPFormal Methods Paul Miner Alfons Geser Lee Pike Radu Siminiceanu Jeff Maddalon Ё(BBЊP  ѓЗ^ŸЈDO-254 Design AssuranceŸЈђFor level A & B functions, appendix B of DO-254 describes Functional Failure Path Analysis as a way to develop a design assurance strategy and Specific design assurance methods Including advanced verification methods like Elemental Analysis ЁN;w@;w@ ѓё–ŸЈDO-254 Design Assurance MethodsŸЈЋArchitectural Mitigation Service History Advanced Verification Methods Elemental Analysis Safety-Specific Analysis Formal Methods Applicant may propose additional methodsЁ:G<)G<)ѓЉŸЈDO-254 Design Assurance MethodsŸЈЧArchitectural Mitigation Service History N/A because design is new Advanced Verification Methods Elemental Analysis Safety-Specific Analysis Formal Methods Applicant may propose additional methodsЁbc<),џ3ўџ3ў)ѓ ЏŸ In this talk& ŸЈ[Functional Failure Path Analysis Architectural Mitigation Elemental Analysis Formal Methods Ÿ ЪNo COTS considerations Only part of the design is analyzed  Input Unit of  ROBUS Protocol Processor Ё*; +;+ѓAнŸЈSample SPIDER ConfigurationѓНŸЈROBUS (Reliable Optical Bus)Ÿ RROBUS is SPIDER s communication subsystem Contains no software Three types of nodes: Processing Elements (PE) Bus Interface Unit (BIU) Redundancy Management Unit (RMU) Ё6UTUTЊ ™ ŸЈaPrimary Functions Message Broadcast Time Reference Self-diagnosis Communication Schedule Update Ё8OOѓ$УŸЈFailures contained by ROBUSŸЈЛROBUS must tolerate A bounded number of internal physical failures Arbitrary failure in any attached PE physical or design hardware or software Cannot tolerate a design error within ROBUSЁ\ZTZ(Z,ZT(,џў Ÿ ОHow to achieve these? ROBUS Architecture Markov analysis calculates Pr(enough good hardware)  Overlapping combinations of design assurance methods (elemental and formal) provide enough good hardware => correct operationЁDZžZ,Zž,ЊD “ѓ#ТŸЈ Functional Failure Path AnalysisŸ ъA SPIDER system can host different applications on different PEs These PEs can have different design assurance levels A misbehaving PE cannot be allowed to interfere with the communication of other PEs If PEs could interfere with ROBUS communication, then any function could be compromised ROBUS provides  robust partitioning of communication per SC-200 (Modular Avionics)Ё˜A5TX6A5T6 6  ЊP=|Іѓ(ЧŸЈArchitectural MitigationŸЈyUses architectural features such as dissimilar implementations, redundancy, monitors, etc. to mitigate design and implementation errors. Design assurance of ROBUS does not use architectural mitigation However, the design of ROBUS allows architectural mitigation at the system level ROBUS is designed to mitigate arbitrary PE faults PEs are not required to use the same hardwareЁFZ`Z 9ЊL+ѓ2аŸЈDO-254 Advanced VerificationŸ ”Page B-1 describes  overlapping, layered combinations of design assurance methods Elemental Analysis  Appendix B, 3.3.1 Safety Specific Analysis  Appendix B, 3.3.2 Formal Methods  Appendix B, 3.3.3Ё&Ы{-џў#ѓ4жŸЈDesign/Verification HierarchyѓЛŸЈSample SPIDER Configurationѓ5иŸЈROBUS TopologyѓОŸЈ RMU or BIUŸЊ ѓEсŸЈROBUS Protocol Processor (RPP)ѓ6йŸЈ!Why focus on the Input Unit (IU)?ŸЈБIU includes both synchronous and asynchronous features Typical of communication hardware IU provides synchrony for other RPP units which allows other units to have a much more simple design IU is critical to RPP operation IU is in the Functional Failure Path for all functions IU is the single largest unit in the RPP IU is 4000 lines of VHDL Using lines of VHDL metric, IU is 29% of RPP Using synthesis area metric, IU is 27% of RPPЁŒ7P‡P P7P)PtP7‡ 7)t  ЊYdѕѓЭsŸЈElemental AnalysisŸ vAnalogous to structural coverage in software A coverage criteria answers: how much testing? DO-254 doesn t specify a criteria; so, which criteria should be used? Analysis is focused on the VHDL source for Input Unit For a full analysis whole ROBUS Protocol Processor must be verified COTS elements must be evaluatedЁT-ZuZJZPZ-uJPѓCпŸЈAspects of Elemental AnalysisŸ ДFunctional Failure Path identification All primary functions use the input unit Coverage criteria identification  Focused Expression Coverage Test environment Test of simulation Prototype tests are under considerationЁt')!;')!; ѓЮtŸЈ!Focused Expression Coverage (FEC)Ё""(Ÿ lVN-cover s default condition coverage for VHDL is FEC VN-cover is from TransEDA* Why choose FEC? We have NOT done research on appropriate coverage criteria for hardware FEC is equivalent to masking MCDC FAA has accepted masking MCDC for software projects *NASA does not recommend any particular coverage toolЁDbZŸZ6ZbŸ6ЊGшѓFтŸЈ#Equivalence of FEC and masking MCDCЁ$$(Ÿ ŒWe have determined that FEC is equivalent to masking MC/DC By two independent examinations of the TransEDA documentation By hand comparison of results for simple designs From TransEDA documentation  [FEC ensures] the output has been sensitized to the input, and the input has taken both possible values. A pair of tests is defined as two tests where only the input being tested takes different values.  Pairing of tests & is not a requirement because the requirement for full testability is simply that each input has taken both possible values while it is controlling and output. Ёt;ZoZZZ;o™фЊ,bEѓGуŸЈAssessment of VN-coverŸ цDO-254 does not require detailed assessment of tools supporting elemental analysis  If the tool is & used to assess the completion of verification testing, such as in elemental analysis, no further assessment is necessary p. 78, item 4 Really? & according to section 11.4, for level A and B functions the rational is given An error in a design tool can introduce an error in the product (single point failure), therefore these tools require a  design tool qualification. An error in a verification tool can allow the propagation of an error in the product (two failures), therefore less assessment is needed. These tools need a  basic test qualification. Perhaps: An error in a coverage tool, could allow the propagation of an error in the testing process, which could allow the propagation of an error in the product (three failures), therefore an lower standard is required. ЁhSP›PWP/PSŒW/ѓаvŸЈElemental Analysis StatusŸ <Completed ROBUS redesign Currently generating requirements-based test cases Haven t started testing Preliminary investigations did not produce any surprises Recognized need to modify the Input Unit Tool restricts use of VHDL language features We should have been aware of this up frontЁTd9*Xd9*XѓІLŸЈFormal MethodsŸЈЩFormal proof of key fault-tolerance protocols Interactive Consistency Distributed Diagnosis Clock Synchronization Restart Formalizing low-level requirements investigating these for test-case generationЁL.L#-.L#-ѓIхŸЈSummaryŸ ZUsing ROBUS to explore advanced verification in Appendix B of DO-254 Using  overlapping combinations (elemental and formal) to provide design assurance  Focused Expression Coverage is equivalent to masking MCDC For much more information see: http://shemesh.larc.nasa.gov/fm/spider/spider_pubs.htmlЁ,єZ:Zє:Њ§0/№pѓл ѓѓ<ѓKPџџџъј7 я `№ џџџ€€€Ь™33ЬЬЬџВВВ`№ џџџџџџџ™џџџ–––`№ џџЬff3€€3™3€3ЬџЬf`№ џџџ333ннн€€€MMMъъъ`№ џџџ€€€џЬfџЬЬРРР`№ џџџ€€€РРРfџџ™`№ џџџ€€€3™џ™џЬЬЬВВВЃ>џ§?" dd@џџяџџџџџџ,Ѓ|џ§?" ddи@џџяџџџџџџ € д €" а@€ №`€Л€ Ѓnџ§?" dd@џџяџџџџџџ   @@``€€PЃR    @ ` €`Ѓ pЃ>€Ѓ> i№a№ №љ№( №ѕѕѕѕѕѕѕѕѕѕѕѕѕѕѕѕ №№в № “ №6€ФфК‡ƒПРџ №€АаP№У К №TŸЈ Click to edit Master title styleЂ!Њ !№ № ƒ №0€tчКƒПРџ №рАа№У К №žŸЈRClick to edit Master text styles Second level Third level Fourth level Fifth levelЂ!    Њ S№в № ƒ №0€PьКƒПРџ №`Аа€№У  К №ZŸ *ЁњЊ№в № ƒ №0€œёКƒПРџ №`p €№У К №ZŸ *ЁиЊ№Х №  г №N€xэКЋg‚жГƒЋg„жГПƒПРџ?№>@ц% №GŸЈLangley Research CenterЁ№vB №  г №N…‡ПРЫ КЭвгдеџ?№ @а №jВ №  Г №B€…‡AƒПРџ?№-?@р№XВ № ƒ №0A-ƒПРџ?№№№H № ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВ К$Blank Presentation№ё€ 0 ˆ№€@№T№№( №Эš №T№ №T г №N€ЬЈ‹{‚ХНƒ‹{„ХНПƒПРџ №p/№У  Ј №nŸ *Ё љЊ Іёc22cc––ЦЦ№ №T г №N€„ЭЈ‹{‚ХНƒ‹{„ХНПƒПРџ №й H/№У Ј №pŸ *Ё јЊ Іёc22cc––ЦЦ№d №T c №$‡Пџ ?№ЧїUM №У Ј№4 №T г №N€HкЈ‹{‚ХНƒ‹{„ХНПƒПРџ №ф 6о1№У Ј №žŸЈRClick to edit Master text styles Second level Third level Fourth level Fifth levelЂ!    Њ S№  №T у №T€xхЈ‹{‚ХНƒ‹{„ХН‡ПƒПРџ №ЩpШ№У  Ј №nŸ *Ё њЊ Іёc22cc––ЦЦ№  №T у №T€яЈ‹{‚ХНƒ‹{„ХН‡ПƒПРџ №Щй HШ№У Ј №pŸ *Ё иЊ Іёc22cc––ЦЦ№H №T ƒ №0ƒ“.k”ођПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ8Š0К___PPT10‹ы.ЮfХРA+@юxя€ Ÿ№—0№Ь№/№( №O; №Ь№r №Ь S №€ˆ(ЈПџˆ№ №а №У Ј № ž№r №Ь S №€)ЈПџˆ№` 0 P№У Ј № ž№ №Ь ƒ №0€8*ЈƒПРџ №рР  №ЃŸЈCJeffrey Maddalon NASA Langley Research Center j.m.maddalon@nasa.govЁ"DZ.Њ.№H №Ь ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜P№l №0№( № №l №x №l c №$€јјЈПџˆ№€АаP№У  Ј № ž№x №l c №$€ДљЈПџˆ№рАа№У Ј № ž№H №l ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +ю‰я €  №˜`№ №0№( № № №x № c №$€пПџˆ№€АаP№У  п № ž№x № c №$€ипПџˆ№рАа№У п № ž№H № ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.YwХ0p§e+Dё='ё Wџџџџ=ё @Bё +юїя € №p№№ž№( № №№r № S №€< пПџ№€АаP№У  п № ž№r № S №€ј пПџ№рp   №У п № ž№r № S №€Д пПџ№рР @№У п № ž№H № ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.gХ№РQ1+Dё='ё Wџџџџ=ё @Bё +ю}я €  ”№Œ€№$№$№( № №$№r №$ S №€пПџ№€АаP№У  п № ž№r №$ S №€ипПџ№рАа№У п № ž№H №$ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.TgХаУЋ+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜ №< №0№( № №< №x №< c №$€*пПџˆ№€АаP№У  п № ž№x №< c №$€Ф*пПџˆ№€Аа№У п № ž№H №< ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юEя € l№dА№Œ №ќ№( № №Œ №x №Œ c №$€T5пПџˆ№€АаP№У  п № ž№x №Œ c №$€6пПџˆ№€Аа№У п № ž№РB №Œ  №`…‡ПDПРџ3ЫjJдеџ?Пџƒ"ё0@џ€П‚‚NПNџN?N№Р @Р№4Ђ №Œ  №`€˜7пПƒПРЫjJЮдеџ?Пџƒ"ё0@џРП‚‚NПNџN?N№№ p D  №lŸЈ6N/A because design is independent of aircraft functionЁ7 27џ3ў№РB №Œ  №`…‡ПDПРџ3ЫjJдеџ?Пџƒ"ё0@џ€П‚‚NПNџN?N№А p А №H №Œ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +ю§я € № Р№Є №Є№( № №Є №r №Є S №€AпПџ№€АаP№У  п № ž№x №Є c №$€аAпПџ№рА №У п № ž№r №Є S №€ŒBпПџ№pp №№У п № ž№H №Є ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.ыyХ0e+Є+Dё='ё Wџџџџ=ё @Bё +юЄя €  № а№Є №Ё №( № №Є №`2 №Є s №*…‡џџfПРџ"ёП`№РА0 0 №`2 №Є s №*…‡џџfПРџ"ёП`№Р@ р №x №Є c №$€ќLпПџˆ№€АаP№У  п № ž№ЉR №Є “ №6€HIп…‡ƒПРџ"ёП`№№ @р   №5ŸЈROBUSЁ№Ѕ2 №Є “ №6€`Pп…‡џ™™ƒПРџ"ёП`№ p№ №1ŸЈ0Ё№Ѕ2 №Є “ №6€ Rп…‡џ™™ƒПРџ"ёП`№€0Аp №1ŸЈ4Ё№Ѕ2 №Є “ №6€Vп…‡џ™™ƒПРџ"ёП`№А@Р  №1ŸЈ2Ё№Ѕ2 № Є “ №6€€Yп…‡џ™™ƒПРџ"ёП`№р` р а №1ŸЈ1Ё№Ѕ2 № Є “ №6€М\п…‡џ™™ƒПРџ"ёП`№А    №1ŸЈ3Ё№Ѕ2 № Є “ №6€,_п…‡џ™™ƒПРџ"ёП`№€  №1ŸЈ5Ё№Ѕ2 № Є “ №6€hbп…‡џ™™ƒПРџ"ёП`№р  а №1ŸЈ6Ё№Ѕ2 № Є “ №6€Œeп…‡џ™™ƒПРџ"ёП`№` р  №1ŸЈ7Ё№dB №Є Ѓ №<…‡DПРабџ№аррP №dB №Є Ѓ №<…‡DПРабџ№p№№P №dB №Є Ѓ №<…‡DПРабџ№00P №dB №Є Ѓ №<…‡DПРабџ№а P №dB №Є Ѓ №<…‡DПРабџ№ ` ` P №dB №Є Ѓ №<…‡DПРабџ№ P №dB №Є Ѓ №<…‡DПРабџ№ РРP №dB №Є Ѓ №<…‡DПРабџ№ P № 2 №Є “ №6…‡ƒПРџ3Ыд”џ"ёП`№` PР №,$ёD 0№H №Є ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ;Š3К___PPT10‹+и іœDёї'ё Wџџџџ=ё @Bё DёВ'ё ‚џџџџ=ё @BёAё?%ё,(ё <ё +O%ё,(ё <ё +Dёщ'ё =ё%ё(ёџџџџDё‘'ё =ё%ё(ёDё9'ё =ё4@BёBё BёАBё%ё(ёDёј'ё =ё1ё :ёBёvisible*ёo3ё>ё+Bё#style.visibility<ёћ*Є џџџџџџџџ%ё(ёDё­'ё є=ё-ёu6ёBёdiamond(in)*ё<3ё<ёћ*Є џџџџџџџџ+ю я €  №р№№ №А№( № №№ №x №№ c №$€@rпПџˆ№€АаP№У  п № ž№~ №№ s №*€ќrпПџˆ№рА  №У п № ž№r №№ S №€ИsпПџ№р №У п № ž№H №№ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.UwХ`.П‚+Dё='ё Wџџџџ=ё @Bё +юљя €  №№№( №А№( № №( №x №( c №$€„{пПџˆ№€АаP№У  п № ž№~ №( s №*€,|пПџˆ№рА №У п № ž№r №( S №€X~пПџ№р@ P№У п № ž№H №( ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜№$ №0№( № №$ №x №$ c №$€lˆпПџˆ№€АаP№У  п № ž№x №$ c №$€‰пПџˆ№PАаа№У п № ž№H №$ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜ №8 №0№( № №8 №x №8 c №$€œЇпПџˆ№€АаP№У  п № ž№x №8 c №$€Є­пПџˆ№рАа№У п № ž№H №8 ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +ю9я € P№H0№h №р№( № №h №r №h S №€ФБпПџ№€АаP№У  п № ž№r №h S №€€ВпПџ№рАа№У п № ž№ДB №h у №T…‡ПDПРџЫjJџ?Пџƒ"ё0@џ€П‚‚NПNџN?N№@ p @ №H №h ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.–zХА#нb+Dё='ё Wџџџџ=ё @Bё +юу,я €  ,№,@№-1€ №В)№( № №€ №x №€ c №$€НпПџˆ№ Аа№№У  п № ž№X №€ ƒ №0…‡ПРЫjJџ№Ž№ є№X №€ ƒ №0…‡ПРЫjJџ№пљ №ЏB №€ Ѓ №<€ШЁп…‡ƒПРЫjJџ№ђ џэЦ  №CŸЈUnit RequirementsЁ№ВB №€ Ѓ №<€ЬФп…‡ƒПРЫjJџ№Ёгu №FŸЈRMU/BIU RequirementsЁ№ЎB №€ Ѓ №<€tЏп…‡ƒПРЫjJџ№› џэo  №BŸЈUnit DescriptionЁ№БB №€ Ѓ №<€XІ…‡ƒПРЫjJџ№J г  №EŸЈRMU/BIU DescriptionЁ№АB № € Ѓ №<€DŒІ…‡ƒПРЫjJџ№Pџэ$ №DŸЈROBUS RequirementsЁ№ЏB № € Ѓ №<€ШnІ…‡ƒПРЫjJџ№љџэЭ №CŸЈROBUS DescriptionЁ№ˆb № € Р  №`Д…‡G@„вџH~IР%ћПРЬ3ЫjJЮбдеџ№Књћc№ˆb № € Р  №`Д…‡G@„вџHP'IРSыПРЬ3ЫjJЮбдеџ№ ЮЯД №ˆb № € Р  №`Д…‡G@„вџHаIР%ћПРЬ3ЫjJЮбдеџ№\ њћ №|b №€ € у №T…‡GР{-Hp$IР•§ПРЬЫjJбдеџ№\ ѓє №|b №€ € у №T…‡GєFHаIдѓџПРџџЫjJбдеџ№Д ѓ\ №|b №€ Р у №T…‡Gl џџHP'IŒ9 ПРџџЫjJбдеџ№cѓ №|b №€ € у №T…‡GР{-H№вIР•§ПРЬЫjJбдеџ№Кѓєc№ˆb №€ €  №`Д…‡GєFH№вIŒФњџПР™™ЫjJЮ бдеџ№cЮњ №ˆb №€ Р  №`Д…‡Gl џџHА{IчПР™™ЫjJЮ бдеџ№Д Юњ\ №БB №€ Ѓ №<€ ап…‡ƒПРЫjJџ№ Ъ д  №EŸЈSynthesized RMU/BIUЁ№‚R №€ @ ѓ №Z…‡GЛњџHNoIЛњџПРЬЫjJбдеџ№ эњ№ЈB №€ Ѓ №<€Мдп…‡ƒПРЫjJџ№м –€  №<ŸЁЊ №‚R №€ @ ѓ №Z…‡GHА§џHGTIHА§џПРЬЫjJбдеџ№КѓЫж№ИЂ №€ Ѓ №<€зп…‡ПƒПРџ№o OўC №LŸЈRMU/BIU DesignЁ"№ЖЂ №€ Ѓ №<€длп…‡ПƒПРџ№/OЙ №JŸЈ ROBUS DesignЁ" №№F №r 0  №€  №ˆ№  аŽ0№lB №€  Ѓ №<…‡DПР™™ЫjJЮ џ№r ' №lB №€  Ѓ №<…‡DПРЫjJЮџ№rО 'О №fB №€  “ №6…‡DПРџџЫjJџ№r'''№lB №€  Ѓ №<…‡DПРЬ3ЫjJЮџ№r\ '\ №ИЂ №€  Ѓ №<€рп…‡ПƒПРџ№Ц 0†  №DŸЈRequirements CaptureЁ№­Ђ № €  Ѓ №<€”уп…‡ПƒПРџ№w !7  №9ŸЈ SynthesisЁ №ЎЂ №!€  Ѓ №<€4чп…‡ПƒПРџ№р %  №:ŸЈ ValidationЁ №ЊЂ №"€  Ѓ №<€иып…‡ПƒПРџ№ Аа  №6ŸЈDesignЁ№fB №#€  “ №6…‡DПРЬЫjJџ№ro 'o №АЂ №$€  Ѓ №<€Pюп…‡ПƒПРџ№( Yш  №<ŸЈ VerificationЁ №ˆb №%€ Р  №`Д…‡G;ыџџHIaIO>ПР™™ЫjJЮ бдеџ№ˆАљК№pb №&€ € У №HGР{-H&эI`ШR§ПР3Ь3ЫjJбдеџ№  Д №иR №'€ € C №x…‡ПGŠzџџH LIŠzџџПРЫjJЮбдеџ?Пџƒ"ё0@џ€П‚‚NПNџN?N№к % э€ №Ђ №(€ у №T€ЈђпППРЫjJЮдеџ?Пџƒ"ё0@џРП‚‚NПNџN?N№  р №EŸЈSynthesized ROBUSЁ(2№д №)€  №м0e‚˜Вƒ0e„˜В…‡ˆ‰П є   BCpDEСFС†СПРСТџџџУ ФХСЦСЧШЩЪЫjJЬЭЮЯСабвгдезџЫЫЫ 8c8c     ?€‚ƒœ1„…№љ†‡їˆ ПРСТdУФХЦЧШЩЪ0uЫаЬ0эьџЭ@T‰Ю€Я€џџаyџб2в NгPУде'жp”зА<џџий'кp”џAЈ)BCD|ОE„|О…†|О‡ˆ№џАdXШ  x@Фиp@­ ­ Ќ€У "ёШŒ0e@йџџџџкџџџџл мнџџџџоџџџџп рсџџџџтџџџџџ€џџџџџџџџ џџџџџџџџ џџџџџџџџ‰џџџџŠџџџџ‹ Œџџџџ‘’П‚‚@ABџџџC DEХFGHIJK5%LMNOPQRSTUWYџџџџZџџџџ[ \]џџџџ^џџџџ_ `aџџџџbџџџџN€‚џџџƒ „…Х†‡ˆ‰Š‹5%ŒŽ‘’“”•—™џџџџšџџџџ› œџџџџžџџџџŸ  ЁџџџџЂџџџџПNРСТџџџУ ФХХЦЧШЩЪЫ5%ЬЭЮЯабвгдезйџџџџкџџџџл мнџџџџоџџџџп рсџџџџтџџџџџNџџџ Ц   5%  џџџџџџџџ џџџџџџџџ !џџџџ"џџџџ?N@ABџџџC DEЦFGHIJK5%LMNOPQRSTUWYџџџџZџџџџ[ \]џџџџ^џџџџ_ `aџџџџbџџџџ№№№ 0 а№Т №*€ г №Ф0e‚˜Вƒ0e„˜В…‡ˆ‰П є   BCpDEСFС‚„†СПР3Ь3СТџџџУ ФЫjJЬЭЮЯСабвгдезџЫЫЫ 8c8c     ?€‚ƒœ1„…№љ†‡їˆ ПРСТdУФХЦЧШЩЪ0uЫаЬ0эьџЭ@T‰Ю€Я€џџаyџб2в NгPУде'жp”зА<џџий'кp”џAЈ)BCD|ОE„|О…†|О‡ˆ№џАdXШ  x@Фиp@­ ­ Ќ€г "ёЮŒ0e@П`йџџџџкџџџџл мнџџџџоџџџџп рсџџџџтџџџџџ€џџџџџџџџ џџџџџџџџ џџџџџџџџ‰џџџџŠџџџџ‹ Œџџџџ‘’П‚‚@ABџџџC DEХFGHIJK5%LMNOPQRSTUWYџџџџZџџџџ[ \]џџџџ^џџџџ_ `aџџџџbџџџџN€‚џџџƒ „…Х†‡ˆ‰Š‹5%ŒŽ‘’“”•—™џџџџšџџџџ› œџџџџžџџџџŸ  ЁџџџџЂџџџџПNРСТџџџУ ФХХЦЧШЩЪЫ5%ЬЭЮЯабвгдезйџџџџкџџџџл мнџџџџоџџџџп рсџџџџтџџџџџNџџџ Ц   5%  џџџџџџџџ џџџџџџџџ !џџџџ"џџџџ?N@ABџџџC DEЦFGHIJK5%LMNOPQRSTUWYџџџџZџџџџ[ \]џџџџ^џџџџ_ `aџџџџbџџџџ№@№ ` №‚b №+€ € ѓ №ZД…‡G$*HЫ|IŒжўџПРЬЫjJбдеџ№j % Ф € №Р" №.€ ѓ №Zgƒ…‡ПџƒПР3Ь3Ыœ1џ?Пџ“"ё6@П`џРП‚‚NПNџN?N№€ @ №Ђ №0€ г №N€œїпПƒП РЫœ1џ?Пџ“"ё6@П џРП‚‚NПNџN?N№І p` №HŸЈElemental AnalysisЁ(2№H №€ ƒ №0ƒ“ŽŸ‹”оНhПџ ?џ№р№ € € € №€ € € №€ € € №€ € € №€ € € №€ € € № € € € № € € € № € € € № € € € № € € € № € € +€ № € € %€ №€ € &€ №€ € '€ № џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юЖ я € н №е P№ф №m №( № №ф №`2 №ф s №*…‡џџfПРџ"ёП`№РА0 0 №`2 №ф s №*…‡џџfПРџ"ёП`№Р@ р №x №ф c №$€$џпПџˆ№€АаP№У  п № ž№ЉR №ф “ №6€№с…‡ƒПРџ"ёП`№№ @р   №5ŸЈROBUSЁ№Ѕ2 №ф “ №6€4с…‡џ™™ƒПРџ"ёП`№ p№ №1ŸЈ0Ё№Ѕ2 №ф “ №6€˜с…‡џ™™ƒПРџ"ёП`№€0Аp №1ŸЈ4Ё№Ѕ2 №ф “ №6€д с…‡џ™™ƒПРџ"ёП`№А@Р  №1ŸЈ2Ё№Ѕ2 № ф “ №6€8с…‡џ™™ƒПРџ"ёП`№р` р а №1ŸЈ1Ё№Ѕ2 № ф “ №6€tс…‡џ™™ƒПРџ"ёП`№А    №1ŸЈ3Ё№Ѕ2 № ф “ №6€јс…‡џ™™ƒПРџ"ёП`№€  №1ŸЈ5Ё№Ѕ2 № ф “ №6€\с…‡џ™™ƒПРџ"ёП`№р  а №1ŸЈ6Ё№Ѕ2 № ф “ №6€Рс…‡џ™™ƒПРџ"ёП`№` р  №1ŸЈ7Ё№dB №ф Ѓ №<…‡DПРабџ№аррP №dB №ф Ѓ №<…‡DПРабџ№p№№P №dB №ф Ѓ №<…‡DПРабџ№00P №dB №ф Ѓ №<…‡DПРабџ№а P №dB №ф Ѓ №<…‡DПРабџ№ ` ` P №dB №ф Ѓ №<…‡DПРабџ№ P №dB №ф Ѓ №<…‡DПРабџ№ РРP №dB №ф Ѓ №<…‡DПРабџ№ P №l2 №ф “ №6…‡ƒПРџ3Ыд”џ"ёП`№` PР №H №ф ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юџ*я € +$№#$`№CCˆ №Г!№( № №ˆ №R" №ˆ s №*…‡ПРџ№ЂXн;№`" №ˆ s №*…‡ЬџџПРџ"ёП`№@P` Р №`" №ˆ s №*…‡ЬџџПРџ"ёП`№P` ј№`" №ˆ s №*…‡ЬџџПРџ"ёП`№АP` 0№`" №ˆ s №*…‡ЬџџПРџ"ёП`№ P` @№x №ˆ c №$€d%сПџˆ№№АаР№У  с № ž№,№L №22Љ  №ˆ # № ˆ№њАPЭ №n" № ˆ  ƒ №0…‡џ™™ƒПРџ"ёП`№22 №n" № ˆ  ƒ №0…‡џ™™ƒПРџ"ёП`№22№n" № ˆ  ƒ №0…‡џ™™ƒПРџ"ёП`№2 2љ№n" № ˆ  ƒ №0…‡џ™™ƒПРџ"ёП`№2Й 2Љ №d № ˆ € Ѓ №<…‡ПРЫjJабџ№hPn i№d №ˆ € Ѓ №<…‡ПРЫjJабџ№9Pn :№d №ˆ Ѓ №<…‡ПРЫjJабџ№ Pn №‚ №ˆ € ѓ №Z…‡ППРЫjJабџ?Пџ№^ Pn _ №| №ˆ у №T…‡ППРабџ?Пџ№h )З№| №ˆ у №T…‡ППРабџ?Пџ№h )f№| №ˆ у №T…‡ППРабџ?Пџ№h -R №| №ˆ € у №T…‡ППРабџ?Пџ№З )9№| №ˆ у №T…‡ППРабџ?Пџ№9 )f№| №ˆ у №T…‡ППРабџ?Пџ№9 -R №| №ˆ у №T…‡ППРабџ?Пџ№  -R №| №ˆ € у №T…‡ППРабџ?Пџ№З ) №| №ˆ € у №T…‡ППРабџ?Пџ№f ) №| №ˆ € у №T…‡ППРабџ?Пџ№R  -^ №| №ˆ € у №T…‡ППРабџ?Пџ№f )^ №| №ˆ € у №T…‡ППРабџ?Пџ№З )^ №ЎЂ №ˆ У №H€@-с…‡ППРџ?Пџ№ц ъ №6ŸЈPE 1Ё(2№ЎЂ №ˆ У №H€ 0с…‡ППРџ?Пџ№Ќ!ыЬ №6ŸЈPE 2Ё(2№ЎЂ №ˆ У №H€ф3с…‡ППРџ?Пџ№w!ы—  №6ŸЈPE 3Ё(2№ТЂ № ˆ У №H€ 7с…‡ППРџ?Пџ№a ЦА №JŸЈROBUSN,MЁ& чџ№д№L №`Щš‘  №!ˆ # № ˆ№P гѕ №x2 №"ˆ  У №H…‡ППРџ?Пџ№`Щš №x2 №#ˆ  У №H…‡ППРџ?Пџ№` šЪ №x2 №$ˆ  У №H…‡ППРџ?Пџ№`W š‘ №2№F №n р ю  №%ˆ  №ˆ№рn  ю №ќ№T №    №&ˆ # № ˆ№n љ Э №`" №'ˆ  ƒ №0…‡ƒПРџ№  №№`" №(ˆ  ƒ №0…‡ƒПРџ№ ј ш№`" №)ˆ  ƒ №0…‡ƒПРџ№ № р№`" №*ˆ  ƒ №0…‡ƒПРџ№     №ЗЂ №+ˆ  У №H€@>с…‡ППРџ?Пџ№Т Ю л ю  №7ŸЈBIU NЁ(2№ЗЂ №,ˆ  У №H€ФAс…‡ППРџ?Пџ№Я {Ю ›  №7ŸЈBIU 3Ё(2№ЗЂ №-ˆ  У №H€ Eс…‡ППРџ?Пџ№Я ЊЮ Ъ №7ŸЈBIU 2Ё(2№ЗЂ №.ˆ  У №H€Hс…‡ППРџ?Пџ№Ю рЭ  №7ŸЈBIU 1Ё(2№м№T №`Щš‘  №/ˆ # № ˆ№j Q  і №x2 №0ˆ  У №H…‡ППРџ?Пџ№`Щš №x2 №1ˆ  У №H…‡ППРџ?Пџ№` šЪ №x2 №2ˆ  У №H…‡ППРџ?Пџ№`W š‘ №Ч№L №Y™  №3ˆ # № ˆ№,)Эн №}№N №Є м  №4ˆ  №ˆ№a ™ №`" №5ˆ  ƒ №0…‡ƒПРџ№Э Н №ЗЂ №6ˆ  У №H€TMс…‡ППРџ?Пџ№Є ѕм  №7ŸЈRMU MЁ(2№}№N №6n №7ˆ  №ˆ№#[№`" №8ˆ  ƒ №0…‡ƒПРџ№]M№ЗЂ №9ˆ  У №H€ШPс…‡ППРџ?Пџ№&6лn №7ŸЈRMU 2Ё(2№}№N №Я №:ˆ  №ˆ№Y‘№`" №;ˆ  ƒ №0…‡ƒПРџ№эн№ЗЂ №<ˆ  У №H€АTс…‡ППРџ?Пџ№&Ял №7ŸЈRMU 1Ё(2№м№T №`Щš‘  №=ˆ # № ˆ№gњЁТ №x2 №>ˆ  У №H…‡ППРџ?Пџ№`Щš №x2 №?ˆ  У №H…‡ППРџ?Пџ№` šЪ №x2 №@ˆ  У №H…‡ППРџ?Пџ№`W š‘ №ЎЂ №Aˆ У №H€Yс…‡ППРџ?Пџ№Э їэ  №6ŸЈPE NЁ(2№ 2 №Bˆ “ №6…‡ƒПРџ3Ыд”џ"ёП`№PP ` №,$ё@ 0№ 2 №Cˆ “ №6…‡ƒПРџ3Ыд”џ"ёП`№p №,$ёD 0№H №ˆ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№№ ˆ 'ˆ ˆ № ˆ (ˆ ˆ № ˆ )ˆ ˆ № ˆ *ˆ ˆ №'ˆ ;ˆ ˆ №'ˆ 8ˆ ˆ №'ˆ 5ˆ ˆ №(ˆ ;ˆ ˆ № (ˆ 8ˆ ˆ № (ˆ 5ˆ ˆ № )ˆ 5ˆ ˆ № )ˆ ;ˆ ˆ № )ˆ 8ˆ ˆ №*ˆ 5ˆ ˆ №*ˆ 8ˆ ˆ №*ˆ ;ˆ ˆ № џџџ€€€Ь™33ЬЬЬџВВВˆ|ŠtК___PPT10‹T+?Т4аDё8'ё Wџџџџ=ё @Bё Dёѓ'ё ‚џџџџ=ё @BёAё?%ё,(ё <ё +O%ё,(ё <ё +Dё*'ё =ё%ё(ёџџџџDёв'ё =ё%ё(ёDё9'ё =ё4@BёBё BёАBё%ё(ёDёј'ё =ё1ё :ёBёvisible*ёo3ё>ё+Bё#style.visibility<ёћ*Bˆ џџџџџџџџ%ё(ёDё­'ё є=ё-ёu6ёBёdiamond(in)*ё<3ё<ёћ*Bˆ џџџџџџџџDё9'ё =ё4@BёBё BёАBё%ё(ёDёј'ё =ё1ё :ёBёvisible*ёo3ё>ё+Bё#style.visibility<ёћ*Cˆ џџџџџџџџ%ё(ёDё­'ё є=ё-ёu6ёBёdiamond(in)*ё<3ё<ёћ*Cˆ џџџџџџџџ+юњя € W №O €№ ё№з №( № № №x № c №$€ФjсПџˆ№№АаР№У  с № ž№Р" № ѓ №Z…‡ППРЫjJдеџ?Пџ“"ё6@П`џРП‚‚NПNџN?N№ @`p№pB № У №HZDПРЫjJбдеџˆ№  №ЦЂ № “ №6€ lсПƒПРџˆ№а р € ж  №`ŸЈ Output msgЁ (2 Њ№Р № У №Hh€ qс…‡џЬƒПРџˆ"ёП`№`а Р  №:ŸЁЊ №ДЂ № Ѓ №<€ltсПƒПРџˆ№Ркр0  №HŸЈCommunication ModuleЁ(2№К № У №Hh€єwс…‡ƒПРџˆ"ёП`№РрР  №4ŸЈRxЁ№д № У №Hh€\sс…‡ƒПРџˆ"ёП`№№ рР `  №NŸЈTxЁЊ№pB № € У №HІџDПРЫjJбдеџˆ№  !№ЩЂ № “ №6€X~сПƒПРџˆ№K {  №cŸЈ Received msgsЁ(2Њ №pB № € У №HІџDПРЫjJбдеџˆ№€ №pB № € У №HІџDПРЫjJбдеџˆ№  Ё№ Ђ № Ѓ №<Z€D‚сПƒПРџˆ№€  Р   №4Ÿ & Ё 2№™Ђ № ƒ №0€М…сПƒПРџ№P0а p №9ŸЈRMU/BIUЁ 2№Х № Ѓ №<€,‰с…‡џЬƒПРџ"ёП`№`аР  №KŸЈROBUS Protocol ProcessorЁ№ 2 № “ №6…‡ƒПРџ3Ыд”џ"ёП`№p€ `€ №,$ёD 0№H № ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆKŠCК___PPT10‹#ы.фxХp$*c+ƒz TDёї'ё Wџџџџ=ё @Bё DёВ'ё ‚џџџџ=ё @BёAё?%ё,(ё <ё +O%ё,(ё <ё +Dёщ'ё =ё%ё(ёџџџџDё‘'ё =ё%ё(ёDё9'ё =ё4@BёBё BёАBё%ё(ёDёј'ё =ё1ё :ёBёvisible*ёo3ё>ё+Bё#style.visibility<ёћ* џџџџџџџџ%ё(ёDё­'ё є=ё-ёu6ёBёdiamond(in)*ё<3ё<ёћ* џџџџџџџџ+юЂя € Й№Б №žИ №I№( № №И №К №›И у №T…‡ПџЬƒПРЫœ1џ?Пџ“"ё6@П`џРП‚‚NПNџN?N№  P`№r №И S №€œ›сПџ№€АаP№У  с № ž№4В №šИ # № A№ЗЫРu№l2 №œИ “ №6…‡ƒПРџ3Ыд”џ"ёП`№Р`0 №Ђ №И  №`€xс…‡ПƒП РЫœ1џ?Пџ“"ё6@П џРП‚‚NПNџN?N№+ОkP  №@ŸЈ Input UnitЁ   №Ђ №žИ  №`€pЁс…‡ПƒП РЫœ1џ?Пџ“"ё6@П џРП‚‚NПNџN?N№ьдW  №AŸЈ Output UnitЁ   №H №И ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.„{ХP†lО+Dё='ё Wџџџџ=ё @Bё +ю}я € ”№Œ № №$№( № № №r № S №€ИZІПџ№€АаP№У  І № ž№r № S №€`СІПџ№рАа№У І № ž№H № ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.˜zХРЗпс+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜А№„№0№( № №„№x №„ c №$€ ЈсПџˆ№€АаP№У  с № ž№x №„ c №$€ШЈсПџˆ№ Аа№У с № ž№H №„ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜Р№Ќ №0№( № №Ќ №x №Ќ c №$€ЎсПџˆ№€АаP№У  с № ž№x №Ќ c №$€иЎсПџˆ№рАа№У с № ž№H №Ќ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜а№ˆ№0№( № №ˆ№x №ˆ c №$€lВсПџˆ№€АаP№У  с № ž№x №ˆ c №$€шЗсПџˆ№рАа№У с № ž№H №ˆ ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜р№Р №0№( № №Р №x №Р c №$€ЩсПџˆ№€АаP№У  с № ž№x №Р c №$€РЩсПџˆ№рАа№У с № ž№H №Р ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜№№Ф №0№( № №Ф №x №Ф c №$€рксПџˆ№ Аа№№У  с № ž№x №Ф c №$€œлсПџˆ№ Аа№У с № ž№H №Ф ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜№№0№( № №№x № c №$€№рсПџˆ№€АаP№У  с № ž№x № c №$€ЌссПџˆ№PАаа№У с № ž№H № ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +юyя €  №˜№и№0№( № №и№x №и c №$€шсПџˆ№€АаP№У  с № ž№x №и c №$€ишсПџˆ№рАа№У с № ž№H №и ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆŠyК___PPT10‹Y+Dё='ё Wџџџџ=ё @Bё +ю‰я €  №˜ №а №0№( № №а №x №а c №$€LЯсПџˆ№€АаP№У  с № ž№x №а c №$€єЯсПџˆ№рАа№У с № ž№H №а ƒ №0ƒ“ŽŸ‹”оНhПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ‘ЉК___PPT10‹iы.{ХРŸ1Б+Dё='ё Wџџџџ=ё @Bё +№ё^ 0  №№Ш№№( № №Ш№X №Ш C №ПџT№ЧїUM №У  п№ №Ш S №€"пПџT№ф 6о1№У  п №ŸŸЈCDO-254 provides advanced verficiation for level A and B functions. ЁCDЊ №H №Ш ƒ №0ƒ“.k”ођПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ8Š0К___PPT10‹ы.7wХPvљ№WёО 0 з№Я№ №g№( № № №^ № S №ПџTˆ№ЧїUM №У  с№Щ № c №$€x–сПџTˆ№ф 6о1№У  с №]ŸЈIBIU and RMU nodes have very similar design. One set of VHDL source files.№H № ƒ №0ƒ“.k”ођПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ8Š0К___PPT10‹ы.@zХ )(F№фёи 0 Є№œp№Œ №4№( № №Œ №d №Œ c №$ПџTˆ№ЧјUM №У  с№ №Œ s №*€шfсПџTˆ№ф 6о1№У  с №ŸЊ №H №Œ ƒ №0ƒ“.k”ођПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВ№aёТ 0 с№й№и №q№( № №и №X №и C №ПџT№ЧїUM №У  п№й №и S №€”ЄпПџT№ф 6о1№У  п №sŸЈ=Since PEs could host level A applications, ROBUS is level A. Њ5№H №и ƒ №0ƒ“.k”ођПџ ?№ џџџ€€€Ь™33ЬЬЬџВВВˆ8Š0К___PPT10‹ы. |ХPц <r№ -klu,||ІM@Ж … ˆЭ G1I6аЬ=л_Eё’Šџќ }‚ `’Qс ІєG# #Ќ"Љ(ЄЎ2%Б40fДюТ.<SJAe•CШ3E0)Ъ8K;IЮBK?Lѕ&эЈNKоўџр…ŸђљOhЋ‘+'Гй0LR pxДЬ ,8 X d p |ˆф1Analysis of the SPIDER Fault-Tolerance ProtocolsPoiPaul S. Minere CC:\Program Files\Microsoft Office\Templates\Blank Presentation.pot air140kfm F920Microsoft PowerPointoso@0pєT№ @@2‹GXhС@ …œ…ѓМ@рAП$†ХчGДPџџџџ‰g  R(Ё'&џџџџРа &џџџџ&#џџџџTNPP8К2џџOMiЈ & TNPPє &џџџџ&TNPP   аР џџџ Ё'A Ьx аР( xK€€€€€€€€€РРРРмР№ЪІ """)))UUUMMMBBB999€|џPPџ“жџьЬЦжяжччЉ­3f™Ь3333f3™3Ь3џff3fff™fЬfџ™™3™f™™™Ь™џЬЬ3ЬfЬ™ЬЬЬџџfџ™џЬ3333f3™3Ь3џ3333333f33™33Ь33џ3f3f33ff3f™3fЬ3fџ3™3™33™f3™™3™Ь3™џ3Ь3Ь33Ьf3Ь™3ЬЬ3Ьџ3џ33џf3џ™3џЬ3џџff3fff™fЬfџf3f33f3ff3™f3Ьf3џffff3fffff™ffЬf™f™3f™ff™™f™Ьf™џfЬfЬ3fЬ™fЬЬfЬџfџfџ3fџ™fџЬЬџџЬ™™™3™™™™Ь™™33™f™3Ь™џ™f™f3™3f™f™™fЬ™3џ™™3™™f™™™™™Ь™™џ™Ь™Ь3fЬf™Ь™™ЬЬ™Ьџ™џ™џ3™Ьf™џ™™џЬ™џџЬ™3ЬfЬ™ЬЬ™3Ь33Ь3fЬ3™Ь3ЬЬ3џЬfЬf3™ffЬf™ЬfЬ™fџЬ™Ь™3Ь™fЬ™™Ь™ЬЬ™џЬЬЬЬ3ЬЬfЬЬ™ЬЬЬЬЬџЬџЬџ3™џfЬџ™ЬџЬЬџџЬ3џfџ™Ь3џ33џ3fџ3™џ3Ьџ3џџfџf3Ьffџf™џfЬЬfџџ™џ™3џ™fџ™™џ™Ьџ™џџЬџЬ3џЬfџЬ™џЬЬџЬџџџ3Ьџfџџ™џџЬffџfџffџџџffџfџџџf!Ѕ___www†††–––ЫЫЫВВВзззнннуууъъъёёёјјј№ћџЄ  €€€џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџѕџџѕџџџџѕџџѕџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџџџџџџџџѕџџџџџѕџџџџџџџџџџџо’Ўg†’оџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџџџџџџџџџџџџџѕџџџџџџџџџџџџі“ff`f``fЕџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџџџџџџџџџѕџџѕџџџџџџџџџџџџџџџџџџџн`gg``ffgfЖџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџё ’ыѕџџCя я’ ыѕѕџџџџџџџg`faDЎ``Ўffџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџ’Cяm№џ’јC ’јяъ ыэџџџџџџџ“afffЎh`fЎfŒЖџџѓC јm яяыэјъ яџџџџџџџЕmЖНёЖnНЖЕ’џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџяCьm ьј’m’mьяъ ’ џџџџџџџМŒџ’џhЖgіŒ’џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџєъюьђъыяяјыCCяџџџџџџџМ`fЎ`f`mh%E`Жџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџє№џѓѕџђѕММ№’МџџюєєџџџџџџџџџffŒffŒf``E@™џџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџџџџџџёяџ№џюј ј’я№џџџџџџџџџџМ`fŒЎ`f`f=ŽFНџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕђѕџёьяыэь’ј№џМђџџџџџџџџџџџџМ``fff``Еџџoџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџџѕџџ№яэјэєџџѕџџѕџџѕџџџџџџџџџџџ’ŒgЎтџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџѕџџџџѕєџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџџњ-ќ-&TNPP &џџџџўџеЭеœ.“—+,љЎ0ьˆЈМФЬд м фь єќ   ŠфOn-screen Show NASA-LaRCShшzі  Arial Narrow Courier NewTimesBlank Presentation*Elemental Analysis in the SPIDER ProjectThe SPIDER ProjectSPIDERVerification TeamDO-254 Design Assurance DO-254 Design Assurance Methods DO-254 Design Assurance MethodsIn this talk…Sample SPIDER ConfigurationROBUS (Reliable Optical Bus)Failures contained by ROBUS!Functional Failure Path AnalysisArchitectural MitigationDO-254 Advanced VerificationDesign/Verification HierarchySample SPIDER ConfigurationROBUS Topology RMU or BIUROBUS Protocol Processor (RPP)"Why focus on the Input Unit (IU)?Elemental AnalysisAspects of Elemental Analysis"Focused Expression Coverage (FEC)$Equivalence of FEC and masking MCDCAssessment of VN-coverElemental Analysis StatusFormal MethodsSummary  Fonts UsedDesign Template Slide Titlesі _Р‘у Oєуair140kfair140kf ўџџџ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ЁЂЃЄЅІЇЈЉЊЋЌ­ЎЏАБВГДЕЖЗИЙКЛМНўџџџПРСТУФХЦЧШЩЪЫЬЭЮЯабвгдежзийклмнопрстуфхцчўџџџщъыьэюяўџџџёђѓєѕіїўџџџ§џџџ§џџџћўџџџџџџџџџџџџџџџџџџџRoot Entryџџџџџџџџd›OЯ†ъЊЙ)шўџџџPicturesџџџџџџџџџџџџ$+Current Userџџџџџџџџ№SummaryInformation(џџџџО|RPowerPoint Document(џџџџџџџџџџџџФODocumentSummaryInformation8џџџџџџџџшџџџџџџџџџџџџџџџџџџџџџџџџ