一种面向星载计算机的功能级功耗估计方法

在星载计算机的软硬件协同设计过程中需要解决处理器功耗估计问题.现有的工具和方法主要面向ARM或DSP处理器,缺乏可用于LEON3处理器的软件功耗估计方法.针对这一不足,基于功能级功耗分析方法进行功耗估计,重点解决LEON3处理器的功耗建模问题.提出了从C代码中提取模型参数的方法,并且对序贯最小优化支持向量回归算法进行了改进,提高模型的精度.在数值试验部分,通过常用的C语言算法试验对估计方法进行了验证.结果表明功耗估计误差小于3%,能够满足星载计算机软硬件协同设计的需要.     

一种基于人工免疫系统的FPGA容错方法

通过对人工免疫系统容错性的分析和研究,提出了将人工免疫系统应用于硬件容错的4个条件.在此基础上设计了一种仿照人体细胞结构的新型FPGA可编程逻辑单元和一种基于人工免疫系统的容错方法.最后通过实验模拟故障的方法对该设计和容错方案的正确性和有效性进行了验证.     

降级系统性能评价方法

本文对目前评价降级系统性能的三种方法进行了分析和综合,比较了它们的优缺点,并在此基础上提出了一种评价不可修复降级系统性能的方法,此方法简单、实用. 引言对计算机系统的评价一直是计算机系统研究中的一个重要课题,长期以来,主要集中于对系统吞吐能力或处理能力的研究以及对系统可靠性的研究.     

CPS在航天器控制系统中的应用分析

航天器控制系统是一种典型的信息-物理融合系统(CPS),应用CPS技术将是提高航天器控制系统设计正确性和效率的一个重要途径.在探讨CPS系统特征和CPS技术研究的进展以及分析航天器控制系统的技术特点的基础上,分析了在航天器控制系统中应用CPS技术的可行性,提出了基于CPS技术的系统设计的新思路和技术途径,并研究了在航天器控制系统中应用CPS技术需解决的问题和面临的挑战.     

面向进化容错的FPGA故障模型研究

不同的容错方法需采用不同的故障模型。文章分析了进化容错方法的特点,提出需要研究与之相适应的FPGA故障模型。首先从故障模型定义出发提出故障模型划分的思想,从不同的角度研究FPGA故障模型;然后根据基于SRAM的FPGA的结构特点,从功能角度和配置角度提出两种FPGA故障模型划分,分析了两种故障模型划分方法所适用的容错方法。从配置角度划分FPGA故障模型有利于简化进化容错方法中的故障检测环节。故障检测实验的结果说明这种划分方法是有效的。     

星载计算机拜占庭容错设计与验证

 为确保载人航天器的安全可靠,载人航天器控制计算机一般需具备拜占庭故障恢复的能力。根据拜占庭恢复理论,提出一种拜占庭容错计算机实现的原理性方案,然后对这种拜占庭容错方案进行了原型实现和验证,实验结果表明了方案的可行性和有效性。     

基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.     

一种基于FPGA位流回读与重配置的空间硬件容错方法

分析FPGA的配置数据帧格式以及整个器件中配置数据帧的类型和分布,在此基础上给出具体的位流回读故障检测方法和重配置容错方法,最后给出了实现该容错方法的一个实例.论文研究可为星上拟采用基于SRAM的FPGA的各分系统电路容错设计所借鉴.     

航天嵌入式软件缺陷的分类方法

软件缺陷分类是软件缺陷管理的基础.介绍了软件缺陷的概念,对几种软件缺陷分类方法进行了分析和比较.结合航天嵌入式软件研制流程和缺陷类型分析,提出了一种航天器嵌入式软件缺陷的分类方法,对于缺陷类型和实现与编码错误子类型给出了详细的分类方法.     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。