摘要：介绍一种模块可互换的三相智能电表的设计及软件实现方法,分析不同模块的通信特点,阐述该智能电表的软件及硬件设计及实现方案,尤其是模块可互换的硬件和软件的设计及实现方案。

摘要：提出电能计量装置固件升级方法中差异升级的整体设计方案,并讨论具体的实现方法,另外,还对差异升级和整体升级的优缺点进行了比较和分析。

摘要：近年来,蓝牙设备的应用越发广泛。若蓝牙设备存在漏洞可能会导致信息泄露、经济损失等后果。而蓝牙设备的固件程序更新存在滞后的情况,有些甚至无法进行热更新。目前,针对固件蓝牙协议的漏洞挖掘工具相对缺乏。现有的固件模糊测试工具无法同时满足虚拟化、可交互、微控制器(MCU)适用,以及具备反馈与引导机制、仿真精确性和错误检测机制等需求。因此,提出了一种基于虚拟化的固件蓝牙协议栈模糊测试方案——BBFirmBTFuzz。该方案通过对多种设备进行仿真,以同时支持实时操作系统(RTOS)固件程序和无系统固件程序(bare-metal),并对蓝牙控制器进行仿真。实验结果显示,BBFirmBTFuzz能够有效地对Cordio蓝牙协议栈进行模糊测试。

摘要：在本届NAB展会上,卓曜科技Kinefinity展示的新款8K摄影机采用全新的8K CMOS影像传感器,实现20%最高帧率提升,全画幅4K高达130fps。其重新设计的SDI模块包括12G SDI输出,并提供三个独立的SDI输出全面满足拍摄现场对不同监看画面的要求,同时新增的Genlock输入接口也满足虚拟制作需求。此外,新款8K摄影机的先进色彩科学提供宽色域的Rec.2020色彩空间,使其对ACES工作流程更加友好。结合KineOS 8.0固件的无损无压缩RAW,该摄影机可以进行全画幅4K RAW录制。

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

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

摘要：项目介绍作为日常输入工具,人们对键盘的功能需求越来越高,市面上大多数键盘是大键盘,以满足最基本的输入需求为设计目标,大多数键盘按键的功能是固定的,无法进行宏定义等高级设置。那么我们为什么不设计制作一个完全能够自定义的小键盘作为对大键盘的补充来满足我们的需求呢?

摘要：在智能计量终端的固件设计规则的基础上,分析防窃电智能计量终端的程序特点。阐述固件不同模块的语言实现方法。通过在智能脉冲测试装置中集成脉冲计数器功能和TOU时间控制功能,实现了脉冲计数器计数功能和电表上下电可靠性测试功能。

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

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