一种双余度非相似容错计算机软件设计.pdf

《一种双余度非相似容错计算机软件设计.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、í４７îí２ï?ðXRÊñＶｏｌ．４７Ｎｏ．２２０１７Ó３òＡｅｒｏｎａｕｔｉｃａｌＣｏｍｐｕｔｉｎｇＴｅｃｈｎｉｑｕｅＭａｒ．２０１７¤¥CDZÂI6J®V#1´h®íò（*F]^，;22<７１００８９）01：w¡òÏç"Ñ`ÏóDECLM"ÑWX，ôºõö÷<ø4，yéõö¨M4I57ÔÕÖ×。w¡òù6ij§KÉ<úûC9ÝÖ×，àâJjQ[65ÔÖ×CüÉp7hiS]^ëç_X，hi§õöù6ÏçýoCcdDE。õöi，"ÑCOhi_Xþÿ5ÔÖ×M。234：w¡ò；5ÔÖ×；Øåó9ÝÖ×；]^ë

2、ç；Ïçýo56789：ＴＰ３１６．２:;<=>：Ａ:?@9：１６７１?６５４Ｘ（２０１７）０２?００９７?０４ＲｅｓｅａｒｃｈｏｎＤｉｓｓｉｍｉｌａｒＤｕａｌ?ｃｏｍｐｕｔｅｒＦａｕｌｔ?ｔｏｌｅｒａｎｔＳｏｆｔｗａｒｅＲｅａｌ?ｔｉｍｅＴａｓｋＳｃｈｅｄｕｌｉｎｇＴｅｃｈｎｏｌｏｇｙＹＡＮＧＨａｏ（ＮａｖａｌＥｑｕｉｐｍｅｎｔＤｅｐａｒｔｍｅｎｔ，Ｘｉ′ａｎ７１００８９，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ａｓａｎｉｍｐｏｒｔａｎｔｄｅｓｉｇｎｍｅｔｈｏｄｏｆｆａｕｌｔ?ｔｏｌｅｒａｎｔｔｅｃｈｎｏｌｏｇｙ，ｄｉｓｓｉ

3、ｍｉｌａｒｒｅｄｕｎｄａｎｃｙｄｅｓｉｇｎｉｓｗｉｄｅｌｙａｐｐｌｉｅｄｉｎｍａｎｙｆｉｅｌｄｓ，ａｎｄｍａｉｎｌｙａｐｐｌｉｅｄｉｎｆｌｉｇｈｔｃｏｎｔｒｏｌｓｙｓｔｅｍｉｎａｖｉａｔｉｏｎｆｉｅｌｄ．Ａｎｅｘｉｓｔｉｎｇａｎｄｓｕｉｔａｂｌｅｒｅａｌ?ｔｉｍｅｏｐｅｒａｔｉｎｇｓｙｓｔｅｍｉｎｄｉｓｓｉｍｉｌａｒｄｕａｌ?ｃｏｍｐｕｔｅｒｗａｓａｎａｌｙｚｅｄ，ｂａｓｅｄｗｈｉｃｈｔｈｅｏｐｅｒａｔｉｎｇｆｒａｍｅｗｏｒｋａｎｄｔａｓｋｓｃｈｅｄｕｌｉｎｇａｌｇｏｒｉｔｈｍｓｕｉｔａｂｌｅｆｏｒａｉｒｂｏｒｎｅ

4、ｆｌｉｇｈｔｃｏｎｔｒｏｌｓｙｓｔｅｍｗａｓｒｅａｌｉｚｅｄ．Ｔｈｅｋｅｙｔｅｃｈｎｏｌｏｇｙｏｆｄｕａｌ?ｃｏｍｐｕｔｅｒｒｅｄｕｎｄａｎｃｙｍａｎａｇｅｍｅｎｔｗａｓｄｉｓｃｕｓｓｅｄｂａｓｅｄｏｎｔｈｅｆｒａｍｅｗｏｒｋ．Ｒｅｓｕｌｔｓｓｈｏｗｔｈａｔｔｈｅｆｒａｍｅｗｏｒｋａｎｄａｌｇｏｒｉｔｈｍｍｅｅｔｔｈｅｒｅｑｕｉｒｅｍｅｎｔｓｏｆｆｌｉｇｈｔｃｏｎｔｒｏｌｓｙｓｔｅｍ．Ｋｅｙｗｏｒｄｓ：ｄｉｓｓｉｍｉｌａｒ；ｆｌｉｇｈｔｃｏｎｔｒｏｌｓｙｓｔｅｍ；ｅｍｂｅｄｄｅｄｒｅａｌ?ｔｉｍｅｏｐｅｒａｔｉｎｇｓ

5、ｙｓｔｅｍ；ｔａｓｋｓｃｈｅｄｕｌｉｎｇ；ｒｅｄｕｎｄａｎｃｙｍａｎａｇｅｍｅｎｔABf@j=ＶｘＷｏｒｋｓi©f@jûe¨¨Ê"¦êXR"Cè¡$Fï。H'O0]"qHjÀ¢$n~，#"½+oC./=@$Ú"Æ#mjC¡$þÿ=ègìX，2L·ï].½bpÖC$qper>=+ó`Cn:¡。［１］©QCO}、-Îs¤、ÞßjWD*-³。#mj[#"C(·p´«，#mjr#"C./=*9m=yz.C@。/%ÚCVs#mjpejÀ#"Cv。Î=èÊñCÒ１Ká，#"./óU¨W#r，ó`®9_U#mjC１．１ZÂIC

6、D6J®V#fnl.、Ú].=^<ûÒ/P。¿-©，:è=¨¨Ê"¦êXR":¿](t·p，¿](ìýHÝFCDCµ¶，sH#mj~Ïê，rt«Ü$ó-C6¤，¡$-Cf@j。¡#"Cf*9=@$`/?ýê¨WCÍë$FïÓ１。ì，®íept[.Cbh，vH!"¹WG#"１）(tＡeＰｏｗｅｒＰＣÿ，¡$ＤｅｌｔａＳＶＭ«ÿfC#mXR"u¨¨ìX，¾?pe#"ìX@j，O}]«ÿ¡$，â]«ÿ¡$]R1#CR=[Ru¦。mÒ。"r#mjèC0.，eUl@×]jC２）(tＢeＶｏｒｔｅｘ８６ÿ，¡$ＶｘＷｏｒ

7、ｋｓi©fúl.=*9.，ìXÖq¤C"Æ#mjC¡$@j，¡$×]#mÒbv。þÿ=©QO}Rd¢peU#"ìXa@C~N。３）ＤｅｌｔａＳＶＭ«ÿf@j，½«ÿ@eD"«Uuë(Ò#mKéCＤｅｌｔａＳＶＭ«ÿj=O}CNç。â]«ÿóR1C¡$ð÷、R1CDEF：２０１７－０２－０６IJKL：ͽ（１９７６），½，¾¿u~å，abÁ，ë(èécÙe#"üÜìX。·９８·?ðXRÊñí４７îí２ïH%pU-Îbvb，´(t¢{½-©s$u`D*，D*Þß-，D*¹²ym，ÆqÖ·mÍ5'(CD*，s$mÍ5C¡

8、R；ÚÛ-ÖCD*s$¹²，-Ö。¾¢%pU]©Q·ï１０ｍｓ［２－３］CÊI}©Q。１．３ZÂILIâ9(tＡ~ＤｅｌｔａＳＶＭ«ÿf@jC#mÒèO}ºb：6１ZÂIC#6J®V#f１）¢Ò¢ºb~，ÈÕ¢Ò¢´Ò«ÿ，HÒ«ÿu，%pＶＲＴＥFëßk¢Ò¢ÚºＶＲＴＥ)C¡$©÷、R1C~zÑl4mÍ、R1Cì&YµÒ%pÒ¢Ò¢f@，