关键领域嵌入式容错机自毁功能

为了保证某些领域的嵌入式计算机系统的信息安全,提出了系统多方式自毁功能模块。基于关键领域计算机的自毁功能,提出多级自毁策略。在一个三模冗余加热备份模块的模型机的基础上,设计并实现了多策略的自毁安全子系统。通过软硬件结合,采取数据、程序、电气等3种自毁方式。通过测试,能够达到预期效果。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

三模冗余容错系统管理板

随着嵌入式计算机的应用越来越广,对嵌入式系统的可靠性要求也越来越高,嵌入式可信计算机应运而生。针对可信计算机的功能需求,研究了容错与嵌入式可信计算机的相关概念和技术,提出了三模冗余加单模热备份的3+1混合冗余结构,采用FPGA完成了基于该结构的系统管理板的研究与设计。实验表明:该管理板能够有效地管理系统中的计算模块、电源模块及I/O模块,并实现了表决功能、系统重构、热插拔等多项技术。     

基于自主计算的集群故障管理系统结构

随着计算机技术的不断发展和系统规模的不断扩大,高可用集群系统的管理和维护变得越来越复杂。为了提供稳定的计算环境,并及时发现定位系统中的故障隐患,提出了故障的主动管理方法。该文首先分析了自主计算的相关概念和技术,在分析集群计算环境管理需求的基础上,提出了一种基于规则的自主故障管理软件结构。根据集群系统的特点,选择分级管理方式,设计了局部故障管理模块(LFM)和全局故障管理模块(GFM),并具体说明了二者内部的功能结构。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。