摘要：使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台——***在FPGA上基于固件模拟待测硬件设计和系统模块,通过运行真实工作负载,对比FPGA中待测硬件设计和FCVP模拟参考模型的行为,帮助分析、定位硬件设计错误.在PKUnity86 SoC上进行验证的实例表明,FCVP可用于SoC设计初期验证,并可有效地辅助硬件设计错误的定位.性能评测显示,FCVP模拟性能优于纯软件模拟器.

摘要：针对现嵌入式设备固件的特点,提出一种基于污点分析的改进模糊测试方法。该方法首先从漏洞利用的角度分析固件的攻击面,然后根据攻击面导出相应的安全规则,并在污点分析结果中引入了测试用例危险权重,最后设计了与危险权重相对应的模糊测试用例集合。通过利用该方法对主流设备进行的漏洞挖掘实验,成功发现隐藏于设备固件中的若干零日漏洞。实验结果证明,该方法具备一定的有效性和实用性。

摘要：设计了一种基于IP存储区域网络的远程引导技术,该技术的核心是运行在裸机下的固件协议栈。针对固件协议栈运行特性,提出了一种非路由iSCSI/TCP通信协议原型,并实现了基于固件的iSCSI/TCP协议。同时提出了几种优化算法以提升远程引导性能与可靠性,包括乐观预测、固定回避重传算法和避免协议栈重入的输出请求挂起策略。建立了一种便于操作系统内核iSCSI启动器平滑接管的固件iSCSI启动器有限状态模型。通过将固件协议栈集成到IP-SAN扩展BIOS中,并应用于无本地存储设备的主机上,实现了基于IP-SAN的网络引导,测试结果表明该固件协议栈有很好的性能和可靠性,并且部署、移动和重新分配主机与存储卷之间的映射关系变得更加便利。

摘要：随着嵌入式设备的种类和数量的增加,设备之间日益增长的互联互通、制造商对安全的忽视、设备固件更新不及时或难以更新等,使得嵌入式设备的安全受到了严峻的考验,越来越多的设备漏洞被披露.但由于嵌入式设备种类繁多、专用性强、源码或设计文档往往不公开、运行环境受限等诸多因素的影响,通用漏洞挖掘技术无法直接适配.近年来,国内外安全专家和学者针对嵌入式设备及其固件的安全分析和测评技术提出了很多切实可行的解决方案,但缺乏详细和全面介绍最新安全研究成果的论文,使得安全分析人员难以系统地了解嵌入式设备及其固件安全分析技术的研究进展.本文围绕着当前嵌入式设备固件面临的安全风险,分析和总结了国内外最新的研究成果,并对相关安全技术进行了综合分析和评估.首先对嵌入式设备及其固件的表现形式、分类及获取方法、面临的安全攻击层面以及自动化解析情况进行了深入研究.然后,对嵌入式设备固件安全分析技术进行了细化分析,从静态分析、符号执行、二进制漏洞关联、动态分析平台和模糊测试等五个方面进行了详细分析和横向评估.最后对未来的研究方向进行了展望.

摘要：自从五十年代微程序设计的思想提出以来,微程序设计得到了较大的发展。但和计算机的其他领域相比,这种发展还是较缓慢、艰难的。其中的一个主要原因是微程序直接控制计算机系统的数据通路。因而,微汇编语言大多是专用的,而高级微语言尚未发展成熟。这给微程序设计和固件工程的发展带来诸多不利因素。由于数据通路的多样性,研制多种专用微语言的汇编程序已成为不小工作量,再加以专用的模拟程序、装入程序其工作量尤其巨大。如果能开发一个通用的微程序开发环境(包括微码生成、模拟、调试、装入等功能),势必会给微程序设计带来极大的方便。 GMAL(General Microprogramming Assemble Language)是由复旦大学计算机系开发的一种通用微汇编语言。以GMAL为语言核心建立的微代码生成模拟系统是一个通用的固件开发环境。本文具体介绍GMAL系统开发、实现方法。

摘要：引言自从五十年代微程序设计的思想提出以来,微程序设计得到了较大的发展。但和计算机的其它领域相比,这种发展还是较缓慢、艰难的。其中的一个主要原因是微程序直接控制计算机系统的数据通路。因而微汇编语言大多是专用的,而高级微语言尚未发展成熟。

摘要：PLC可编程逻辑器件，例如PAL、GAL等等，具有用户随意设计逻辑、自我防破译的特点，因而按照自行设计的加密算法形成特殊的硬件逻辑，对固件内容进行加密，是一条有效而且便捷的途径。

摘要：选用I-Logix公司的Rhapsody实时UML平台为工具,使用UML建模的设计理念为方法,设计、实现了霓虹灯控制器固件(FIRMWARE)系统,并完成了对该系统的测试。在固件系统开发领域中创立了一种区别于传统面向过程方法的,基于UML的面向对象开发模式。

摘要：给出了软件保护的一种解决方案——软件狗技术 ,介绍了 USB1 .1规范和基于该规范的接口器件 PDIUSBD1 2的性能 .通过 PDIUSBD1 2和单片机开发 USB软件狗 ,以及软件狗加密的原理和具体实现步骤 ,详细描述了软件狗的硬件设计和单片机的固件编程 ,重点阐述了单片机固件实现 USB设备的枚举以及与主机之间读写数据的详细过程 ,并给出了软件狗的硬件电路。

摘要：在对USB2.0设备端接口芯片IP核进行分析的基础上,提出了一种基于层次模型的IP核固件的设计实现方案,并给出了一个大容量存储设备USB接口IP核固件的设计实例,实验结果验证了本设计的先进性和合理性。