行业论文：容错计划机体例考证的接洽与实行

容错本领是普及体例真实性的要害本领之一。跟着计划机在百般范围运用的连接深刻，容错计划机体例也在连接地兴盛。同声，为检查容错计划机体例能否满意安排时的诉求，对其举行考证评价的本领，也随之兴盛。常常沿用的是仿真的本领，百般表面本领，试验检验和测定以及它们的拉拢。正文接洽了两种考证本领——模仿考证和原型机考查。考证的目的是硬件冗余体例，火车头安排扶助遏制体例动作简直范例。模仿考证鉴于SystemC谈话。自底进取的创造了以火车头安排扶助遏制体例为范例的软硬件模子，建立了杰出的仿真运转情况。接洽并实行了多种办法的模仿妨碍注入。在考查中查看到，妨碍爆发时仿真体例的妨碍处置功效适合安排的诉求。这套模仿考证的实行过程同样实用于其余目的体例。正文还安排并实行了原型机考查运转情况。沿用的是上位机遏制，三块鼓励/监察和控制板嵌入的计划。软硬件功效的分别使考证进程格外精巧，且扩充性好。鼓励/监察和控制板的主处置芯片是鉴于ARM核的微处置器AT91SAM7A2。其余还计划了对原型机举行硬件妨碍注入的实行本领。其余，功效考证中必不行少的是针周旋考证体例创造其输出尝试用例。为了进一步普及考证速率，引入了软硬件尝试中的少许尝试本领来缩小尝试用例数目，并博得了鲜明的功效。