摘要：SpaceWire总线作为航天器数据/控制的"神经中枢",其网络层的结构和应用设计是系统可靠性的重要影响因素.为了在SpaceWire总线网络层设计部署过程中,对其进行形式化分析,发现设计缺陷,提高可靠性.提出了一个用于SpaceWire网络层验证的形式化分析模板框架,将网络层的核心要素:实时数据包、终端节点、路由器和路由机制都使用时间自动机建模.然后根据具体案例将之实例化,并在UPPAAL模型检验工具中根据规范提出性质进行检验.典型案例的分析验证了所提出的方法的有效性.

摘要：在空间应用中,静态随机访问存储器(SRAM)型现场可编程门阵列(FPGA)电路会遭遇空间辐射环境单粒子效应(SEU)引起的逻辑位翻转错误.为了在设计过程中,快速对功能电路设计的容错防护能力进行评估,本文提出一种基于部分重配置技术的随机多位故障注入和统计评估的方法,可计算出动态翻转截面.并搭建了一个故障注入系统,以六路移位寄存器作为功能电路进行了多种参数组合(重复次数和注入位数)的随机故障注入试验.实验数据与传统方法数据进行对比,证明本文所述方法的可行和准确性.