This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processo...This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.展开更多
结合规划领域最新的理论成果,提出了构建集数据管理和智能规划为一体的企业配电网智能规划平台。给出了系统的总体功能、接口、算法和规划流程,并汲取国外大型软件的开发经验,设计了基于商业化组件的软件体系结构,提高了软件的复用率和...结合规划领域最新的理论成果,提出了构建集数据管理和智能规划为一体的企业配电网智能规划平台。给出了系统的总体功能、接口、算法和规划流程,并汲取国外大型软件的开发经验,设计了基于商业化组件的软件体系结构,提高了软件的复用率和应用的灵活性。介绍了以数据关系为主线的图模一体化的数据结构和实现方法,保证了拓扑数据的一致性。该软件在Visual C++ 6.0集成开发环境下,嵌入了地理信息系统(GIS)组件MapX完成了系统的开发。最后以实际规划案例验证了该系统的科学性和实用性。展开更多
针对空间机器人星载计算机的高性能、高可靠、小质量、低功耗和低成本的要求,采用商用的现成产品(COTS)设计了一个星载计算机系统。该系统以 ARM 处理器为数据处理核心,采用双机容错结构,实现了基于现场可编程门阵列(FPGA)的硬件检错纠...针对空间机器人星载计算机的高性能、高可靠、小质量、低功耗和低成本的要求,采用商用的现成产品(COTS)设计了一个星载计算机系统。该系统以 ARM 处理器为数据处理核心,采用双机容错结构,实现了基于现场可编程门阵列(FPGA)的硬件检错纠错技术,以及基于复杂可编程逻辑器件(CPLD)的 ARM 与 CAN 控制器之间的总线转换桥技术、多级看门狗技术和具有闩锁处理的电源等关键技术。实验结果表明该系统可满足空间机器人的需求。展开更多
皮卫星具有成本低、反应灵敏等特点,是航天领域的研究热点。由于体积和质量的限制,大卫星复杂的星载计算机系统结构并不适用于皮卫星。介绍基于COTS器件的皮卫星星载计算机系统模块化设计技术,将多准则决策方法 TOPSIS排序法应用于皮卫...皮卫星具有成本低、反应灵敏等特点,是航天领域的研究热点。由于体积和质量的限制,大卫星复杂的星载计算机系统结构并不适用于皮卫星。介绍基于COTS器件的皮卫星星载计算机系统模块化设计技术,将多准则决策方法 TOPSIS排序法应用于皮卫星的芯片选型。研制2版基于不同低功耗微控制单元的计算机原理样机,并通过大量实验测试比较2版原理样机的速度、功耗、运行温度等性能。当工作温度为27℃,主频为8 MHz时,基于MSP430芯片和ATxmega芯片的原理样机的MIPS值分别为7.449和6.781;运行加法运算的时间分别为0.613μs和1.381μs,功耗分别为38.224 m W和54.411 m W。在-40℃-85℃时,原理样机均可正常工作。展开更多
基金supported by National Natural Science Foundation of China (No. 60904090)
文摘This paper proposes a generic high-performance and low-time-overhead software control flow checking solution, graph-tree-based control flow checking （GTCFC） for space-borne commercial-off-the-shelf （COTS） processors. A graph tree data structure with a topology similar to common trees is introduced to transform the control flow graphs of target programs. This together with design of IDs and signatures of its vertices and edges allows for an easy check of legality of actual branching during target program execution. As a result, the algorithm not only is capable of detecting all single and multiple branching errors with low latency and time overheads along with a linear-complexity space overhead, but also remains generic among arbitrary instruction sets and independent of any specific hardware. Tests of the algorithm using a COTS-processor-based onboard computer （OBC） of in-service ZDPS-1A pico-satellite products show that GTCFC can detect over 90% of the randomly injected and all-pattern-covering branching errors for different types of target programs, with performance and overheads consistent with the theoretical analysis; and beats well-established preeminent control flow checking algorithms in these dimensions. Furthermore, it is validated that GTCGC not only can be accommodated in pico-satellites conveniently with still sufficient system margins left, but also has the ability to minimize the risk of control flow errors being undetected in their space missions. Therefore, due to its effectiveness, efficiency, and compatibility, the GTCFC solution is ready for applications on COTS processors on pico-satellites in their real space missions.
文摘结合规划领域最新的理论成果,提出了构建集数据管理和智能规划为一体的企业配电网智能规划平台。给出了系统的总体功能、接口、算法和规划流程,并汲取国外大型软件的开发经验,设计了基于商业化组件的软件体系结构,提高了软件的复用率和应用的灵活性。介绍了以数据关系为主线的图模一体化的数据结构和实现方法,保证了拓扑数据的一致性。该软件在Visual C++ 6.0集成开发环境下,嵌入了地理信息系统(GIS)组件MapX完成了系统的开发。最后以实际规划案例验证了该系统的科学性和实用性。
文摘针对空间机器人星载计算机的高性能、高可靠、小质量、低功耗和低成本的要求,采用商用的现成产品(COTS)设计了一个星载计算机系统。该系统以 ARM 处理器为数据处理核心,采用双机容错结构,实现了基于现场可编程门阵列(FPGA)的硬件检错纠错技术,以及基于复杂可编程逻辑器件(CPLD)的 ARM 与 CAN 控制器之间的总线转换桥技术、多级看门狗技术和具有闩锁处理的电源等关键技术。实验结果表明该系统可满足空间机器人的需求。
文摘皮卫星具有成本低、反应灵敏等特点,是航天领域的研究热点。由于体积和质量的限制,大卫星复杂的星载计算机系统结构并不适用于皮卫星。介绍基于COTS器件的皮卫星星载计算机系统模块化设计技术,将多准则决策方法 TOPSIS排序法应用于皮卫星的芯片选型。研制2版基于不同低功耗微控制单元的计算机原理样机,并通过大量实验测试比较2版原理样机的速度、功耗、运行温度等性能。当工作温度为27℃,主频为8 MHz时,基于MSP430芯片和ATxmega芯片的原理样机的MIPS值分别为7.449和6.781;运行加法运算的时间分别为0.613μs和1.381μs,功耗分别为38.224 m W和54.411 m W。在-40℃-85℃时,原理样机均可正常工作。
