Simics环境下故障注入的研究与实现.pdfVIP

EmbeddedTechnology doi：10．16157／j．enki．0258—7998．2014083003171 Simics环境下故障注入的研究与实现 韩德 强 ，冯云贺，王宗侠 ，高雪 园 (北京工业大学 计算机学院，北京 100124) 摘 要 ：主要论述 了在 Simics全 系统仿真环境下 ，对 VxW0rks嵌入 式操作 系统的 串口故 障注入 以 及 网络 故障注入 的相 关研 究。Simics允许 开发 者根据 需求 自定义处理器 、存储 器、板级硬件 和复杂 网 络 系统等任 意规模 的硬件 目标设备模型 。运行在真实硬件 目标设备上的底层软件 、中间层软件和上层 软件 完全不用修 改即可运行在 自定 义的 Simics硬件 目标设备模型上 。因此 ，Simics不仅 能够进行仿真 硬件 级 的故 障注入 ，同时还可 以全面地检 测软件 的运行状 态。 关键词 ：全 系统仿 真环境 ；Simics；VxWorks嵌入式操作 系统 ；故障注入 中图分类号 ：TP316．5 文献标识码 ：A 文章编号 ：0258—7998(2015)01—0021—04 ResearchandimplementationoffaultinjectionsunderSimicsenvironment Han Deqiang，FengYunhe，Wang Zongxia，GaoXueyuan fCollegeofComputer，BeijingUniversityofTechnology，Beijing100124，China) Abstract：ThispaperdiscussestheresearchoftheVxWorksembeddedoperatingsystem Sserialportfaultinjectionandnet— workfaultinjectionunderSimicsfullsystem simulation environment．Simicsenablesdeveloperstocustomizeprocessors，memory， board一1eve1hardware and complex network systemsand any—size hardware targetdevice modelsbased on theirneeds．The underly— ing software，middle-layer software and upper-layer software running on realhardware targetdevices can urn on Simics target hardwaredevicemodelswithoutanymodification．Therefore，Simicsnotonlyenableshardware—levelfaultinjection simulation，but alsocan fully detectthe operating state ofthesoftware． Keywords：fullsystem simulationenvironment；Simics；VxWorksembeddedoperatingsystem；faultinjection 0 引言 到故 障注 入 的效果 [21。 随着 嵌入 式技术 的不 断发展 ，嵌入 式 系统越 来 越多 基 于仿 真 的故 障注入 技 术有 很 多优 点 。第 一 ，该类 地应用在工业控制 、航空航天等对系统的可靠性和容错 型的故障注入可 以在不 同的抽象层次上进行仿真 ，支持 性要求极高 的领域 中。故 障注入技术是评价嵌入式系统 不 同的故 障模 式 。第二 ，基于仿真 的故 障注入具有非入 的可靠性与容错性 的一项重要手段 。该技术是一种可靠 侵式特点 ，从 目标系统 的角度来看 ，它是即刻且透 明地 性验证技