二次拟合：一种提高软件可靠性模型精度的新方法

针对软件可靠性模型精度不高的问题,提出了"一次建模 + 二次拟合"的方法,通过误差补偿机制来提高模型精度,并将该方法应用于航天软件失效数据集.实践结果表明,提出的方法对于提高软件可靠性模型精度是有效的.     

跳频OFDM通信系统同步算法及实现

结合跳频通信技术抗干扰和正交频分复用(OFDM)技术节省频带资源的优点,提出了一种通信帧格式及其同步算法。该算法构造了每个载波上传输隐藏伪随机序列的OFDM数据,利用伪随机序列良好相关特性实现了定时估计和粗频偏捕获,再使用ML估计算法进行细频偏估计,能够使OFDM技术应用到跳频通信领域。仿真和实验结果表明,在多径信道下,提出的算法单个定时估计和频偏估计误差小。     

基于启发式的静态中断数据竞争检测方法

提出一种面向中断驱动型嵌入式软件的启发式静态数据竞争检测方法,并开发了原型工具H-RaceChecker.给定软件的源代码或目标程序,H-RaceChecker能够自动推断中断优先级状态、中断使能状态和内存访问状态等信息,在此基础上识别出每个程序点处可能的数据竞争,进而通过启发式精化策略对原始分析结果进行危险程度排序,提高人工确认结果的效率.实验验证了该方法的有效性.     

用于RTL设计验证的静态错误检测方法

为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。     

人工走查数据在软件可靠性度量中的应用

为了充分利用第三方评测数据开展航天软件可靠性度量,研究人工走查数据在软件可靠性度量中的应用。分析度量实体的确定、人工走查数据向动态失效数据的转换、数据融合和数据应用的合理性等问题,提出相应解决方法。应用结果表明,该方法具有可行性。