YIIK 656.256: 681.32 IWEBUEHKO JI, H. - x.1.4., aoe (Beal YT) AHAJIH3 JMHAMHYECKOLO JEPEBA OTKA30B Cmameio npedcmacus 0.0.x., npo. Bowwoe K. A Brexenne Anam nepena orkazon (Fault Tree Analysis — FTA) — ous 2 pacnpocrpanen- HBIX MeTOdOB MOZeMMpoBaniLA HagexuocTIE TeXHHNECKHX CHCTEM MH TeXHOTOrHYeCKHX mpoueccoz Ha craaum mpoexruposamis [1]. (Ou sakxmowaeres B HOCTpoesmt aHaMEse 2e- eka OTKA20R — aNNKIMIMecKorO opiteHTupo- BakHOrO rpapa, ompesensiomero MpiutEHo- CHEMCTREHBIe CBA OTKAIA CHCTEMBI € OTKA- 3aNM e€€ MOICHCTeM 11 S1eMeHTOR, a TaKKe Apyrumu coOnTHaMH «om Bo3geiicTRHAMA (pnt. 1). Jlepero orkazon (J[O) nomyuaroT B pe- aymbTare mociesoRaTerRHO — aeTammanun COORITHT, CRA3AHHEIX C OTKA3AMH CHCTeMET, ee TOACHCTEM Ml SHeMEHTOR OT «CIEACTEILD K == Onsaa oaeneutoe (pie. 2.4). B oTOM eayuae Rema 1 omperensetes nem MHHAMH £1 1 G5 crleyI0UIHM BBIpaxKeHHeM: max{é,.&)}, a ee dbynkuna pacnpexenenna: 143F(x)=P(nsx)=P([& Pacemotprt napHart, Korga coGsrre- ‘colezeTBHe eBASAHO ¢ COGBITHANI-npHEHHANI cHmorom «mpHoprtettoe Hy (pe. 2,4). B OTOM cmyuae, KAK MB cmy"ae sTorHMecKoro 004>0, noryau =[AWAO). a4) ’ Taku o6pa3om, Betpaxerne (14) Beraic- siaeT qbyHKmmo pacmpezerenna Bpemern 70 MacTYTLIeHNa coGkrTHs-cTeneTaNs, ompeze- AaeMOTO JBYM# COOBITHAMH-TpHUNHAMH, CBA- 3AHHEIMM JIOTHTeCKHM CHMBOTOM «aIpHOopH- ‘TetHoe I». Konmpiorepnast peatmsauns mpexta- TaeMoro MeToga alasINaa AUMAMMeCKOrO 10 Kommectsennstti anamts ammaniriecKoro TO sakmnowaeres & pexyppentHom Hemt07530-avn puiparxenmtit (3), (S) 1 (14). Tpit oto, no sataHibin (byBRIIIM pacnpeceneHH® Bpe- MewI 0 HACTYIIeHHA Gaz0BEIX COOBITHHL (OT- KAQ0B QeMeHTOB, Bo3efIeTBHI Ha cHcTeMy) «omy BBeps» ompectensetes yRKUNIA pac~ MpesetenHa BpemeHH 10 Mactymtenua pe- aymbTupylomero coGHTHa (sbyHKIMA oTKaIa cuerems). B gaabueiimem no napectuoii (bynxunm orkaza cucrems: Moxio onpeaemrs Ree TloKazatem Ge20Tka2HOCTH HeRoceTAHAB- aupaemsix o6sextos no TOCT 27,002-89 [1. 2] (Jaa azromatizamm pacuera noxazateseii Ge30TKa3HOCTH CHCTeM MeTOZOM aHallH3a JH- Hanireexoro JO Gsi1 paspaorax errewnam- snpoRanHEnit nporpaMmenit KoMmexe FDITA (Fault Dinamic Tree Analysis). Tocxosxy peaTInANIA CTOAWEN MaTeMaTIMECKIN Mmpe- opazonanmii (cmmombHoe mHTerpuporane 1 aubbepermposaniie) HenocpeaeTaeHHo B paspaGaTsmaeMoM mporpaMMHom oGecriewe- HINT He MpexcTaRgetes MeTecooSpaaHott 12 3A BBICOKOH TpyJ0eMKOCTH, BMecTO 9TOro paceaarpmsanacs noaoxkHocTs a) Henorb20RaHIWA eBoSoaKO paenpocrpa- HaewbIx GecriarHBIX OHOAHOTeK MaTeMaTHIse- ‘cxnx py Heat; 6) Hurerpamim ¢ coppemeHHEIMM makeTa- ‘MII KOMITbiOTepHtoMl MalTeMaTHIKHL Hecnorpa wa dunaucosnie 2arparst, cBs- dane ¢ MpHlodpetentien TneHaH0HHOTO MporpaMMuoro oGecreveHHA, BTOpOli MOAXo Meer ps mpemeyuiects: amropiract axe- TOR KOMIMBIOTepHOM MaTeMaTHKH HMeIOT, KaK pasiito, Goxee BSICOKYI0 BeposTHoCTE MOay- NeHHS BepHOrO pesyabrara; OHM compoEOx- AROTA H TOCTOAHHO AOpAGATHIBAIOTCR: MOTYT HcTOTS20BaTSCH AINE pellenHs apyrHX MECKe- HepHens 1 Haysmners 200 ‘Haunsaa c kepcun 9 pazpaGorunkn maKeta KoMMpIoTepHoi MaTeaTuxH Maple (xosma- uma Waterloo Maple Ine.) peaszozan 202- MOAHOCT menoTE.ORaHHA bysKnt spa BHEMHHMH mporpaMMann. JJaHHaa TexHo.0- rma, naaumaexat OpenMaple, mpexetanazer coGott HaGop mrreprbettcrsn: ¢byRKtMt 1 3a- TonOROUHET aitioR ¢ omicaHHeM Hera ayenmr Maple-etpyxryp 1s o6Mena Jann MIL, B Tost "Hee © Mporpaatentt, Harmtear- HDIMH © MeMOxS20BAHTeM KOMMLIATOPOR saurka nporpayamposarmiz C+ Anpodauus Merona anaamsa aunanmeckoro TO Tipomemonictpupyem HeKoTopsie BOIMOK- ‘HOCTH HcTlomb3oRanHa MaKeta FDiTA wa Tec- TOROM MpHMepe cHicrewst, 2aqaHHott JO (pune. 3, a). Byaest npeanonarars, 410 GasoBsie coOsrmua (OTKaIK 9eMeHTOR HIM RoazelicT- BIA Ha cHeTeMY) He2aBHCHME, & BEM 10 Hae CTYIIEHHA KAALIOTO U3 -HHX NOUHHAETeR oKcTIOHeHIMaTBHOMY 2aKOHY pacmperereHma c MaTeMATHVeCKUNH oxkiAHHMI 3, 4, 1, 2 THIe. WACOB, COOTBETETBEHHO. Ha puc. 3, 6 mpeacrasaeno J[O uceaeaye Mofi ciicteMsr B nakete FDiTA, a pute. 4, a— HcxoaHat UHopMauna o cBofieTBax o”HOrO us Gasopx coGsrruii JO, a na pc. 4.6— PACHeTHEIe RepOsTHOCTHEIe MloK#waTeTH pe- ayabTupyiourero coGsITIa. Hamocrpams dbyssum pacnpesenenia EpeMeHH 70 HaCTYIMIEHN pexy.meTUpy:OUIero coOsrra ((pyHKU OTKa3a CHCTeMBI) B HlakeTe FDiTA upupeena ua puc. 5. Pesymbrarst axamia ][O 2OKYMeHTHpyroTea B TlaHemH co- oGmennii FDiTA ue Texcrogom (bail- ae Microsoft Word. Borpoast B paGote mpeaoxxexa Moe suHaMnie- exoro J[O, Kotopas oGoSmaer tpagummroNHEte: JO: coGerma auHanareckoro J[O xapaxtepn- SYIOTEA He TOBKO BEPOATHOCTBIO, HOH Bpe~ MeHEM Jo HacTyMIeHHa ¢ HeKoTOpott py HKIM- eff pacnpererenms. Taxott noaxox momomseT JONOTHHTETBHO YUHTSIBAT MocTeOBATETE- ‘HOCTE HacTyruiennis COOEITHT. TlokazaH enocoS parinereHna (yHKui pacipesleeHHA BpeMeHt {lo HacTyIIeHHA pe- ayTaTHpyomero coOsTHa ()yHKMM oTKa3a CHeTeMEI) Ho HaBeCTHBIM PYERUNAM pactipe- Je1eHHA BPEMEHH 10 HACTYTIeHHA GasoBBIX coGermii. Hxpopwamus 0 dbyHRu orkaz03 CHCTEMBI MOIBONeT HeMOcpeCTREHHO oTIpe- JeATh Bee HOKavATENH GexoTKAIHOCTH HeBoc cranapampaems oGzextos no TOCT 27.002 89, "To He MpeyeMorpeHo cymlecTBYIONHOtH craslapraMui 1 Mporpanawiiut cpeaereasu auamsa JO. TipewiaraeMEtt MeTod aHamia JuuaMu- ueckoro JO peanmzozau u ampoOupozan 8 xommpiorepHom maxere FDITA 145)Pesyasrupyrouree coGiurie - oTkar cucTeMt wit —— tH, Tipoeayrouioe co6s- Tiponeayrouioe cobs jrue 1 —orxas noscuetews 1) fue 2 — orxas noeuctesent 2 (npn oe HI cooeirie 2 coaiTHe 3 alin Masa fepeno PacveT Moous Dll ta} «| | mae) oa) 3B) Rel ve) My] BH) @| DOropper mo 1-H Mponeayrouoe cossiriel 1B Basaeoe cos BB Bazosoe cosurvel2 8 UL Mponewyrouoe cossiruee 1B Ga20e0e coburve2! B Bavos0e cosurve2e [PeceepxeroppextHocta naaonv sasopueNe yeneuNo Pn. 3. Jlepeno orkason: HexoaHoe (a). n naxete FDITA (6) 146Puc. 4. Oxo cpoiicte coGuituii » naxere FDiTA: ucxoauaa unopsauua (a), pesyabraret auaan3a © 147Puc. 5. DyHKUNE pacnpedleTeHIa BpeMeHH No HACTYILICHILA pesyn&TUpyoMLero COOLTTUS Budanorpadueckuii cnucox. 1.TOCT 27.301-95. Haxeasiocts B tex- nuke. Pacer HasexHocril, OcHOBHBIe n00- okenna.— M.: V2gatenserao crantapror. 1997. - 15 ¢. 2. Tlarpymes, B. H. Hagexnocts u 3p- (bextusxocts 8 TexHuke. IIpoexrastit anam nozexnoctt —_[Texct] cmpanowik B11. Tatpymes, A. 11. PesGe3sa.— M.: Ma- mmuHoctpoeHe, 1988. — 316 c. 3. Fault tree-analysis (FTA) IEC 1025: 1990. Cranaapr M9K Anam zepera Hemo- saxo, 1990 [Teker] / nepesoa ¢ pani, CH TI T1B-707. (OCT P $1901.13-2005 (M9K_ 61025:1990). Menexxment pricxa. Aaimits jlepeba HericnpasHocten). 4. Crporosos, A. OGs0p mporpanowErx. KOMILIEKCOB NO PACHeTY HAXEKHOCTH cHO%K- BIS TexHHYeckHX cHtetem [Texer] / A. Crpo- roxos, B. B. iKaanos, C. H. Tomecexut // Kowmonewrst H TexHostoran, ~ 2007. — Nes. — ©. 183-190. SuasGep6ypr, K. JI. Tporpannute ‘cpeleTBa a availua HocaexcTBHl OTKA30B H oGecneveniia HaxexHoerH Haemm [Texer] / K. JI. BuaeGep6ypr. E. B. Mexpioxopa // Pa- 148, UNOHATbHOe ynpapieMme mpeanpustHem, — 2007. —-Ne 5. —C. $4-S8. 6. Zuaa0n, B. Hirxenepapie mevorbt oGec- neveund wagexnoctn cuetem [Texct] / 5. Twaton, 4. Crmrx, Tlep. ¢ anra.— Mz ‘Map, 1984. —318 c. 7. Kpamep, [. Maremarieekue meross1 cratuctuxu [Texct] / I. Kpamep. — M.: Mup, 1973. ~ 648 c. 8. Kanyp. K. Hagessocts 1 upoextupo- naune cucrem [Texcr] / K. Kanyp, JI. JlamGep- cou ~M.: Mup, 1980. — 606 e. Karowensie copa: ansanneckoe epeno orkason, yHKINA pacmperenena RpeMerm, pesyTETHpytomree coOnITHe. Karowosi etona: suiianivne zepeso win Mo, QbyHKUiA posnosiay acy, pesymbty104a oats. Key words: dynamic fault fiee, function of time allocation, result event. Tocrynma p penkontero 16.03.2011 Tpunstra x neuaru 17.03.2011