基于数据流异常检测的嵌入式软件容错研究-机械设计及理论专业论文.docxVIP

万方数据 万方数据 摘 要 摘 要 现代机电产品在功能越来越复杂的同时，对其安全性和可靠性的要求也越来越 高。软件作为机电产品的重要组成部分，其可靠性直接决定了机电产品的质量。 本文以提高机电产品软件的可靠性和安全性研究为主线，从软件数据流分析的角 度出发，对基于数据流异常检测的软件容错纠错技术进行了较为深入系统的研究。 针对可能出现的软件系统故障提出了一种新的基于数据流异常检测、软件看门 狗技术和回卷恢复技术的软件容错纠错方法。该方法定期对目标程序进行备份， 通过提取目标程序中的一组相关变量建立数据流分析模型，利用数据流的异常检 测方法排查出其中的离群点即出错点。当发现目标程序运行出错时，看门狗强制 使程序跳转到备份点，使目标程序回卷到上一个备份的正常状态，以实现对软件 瞬时性故障的容错纠错。提出了上述软件容错纠错策略的实现框架、操作流程， 研究了基于最小二乘支持向量机的二元回归模型和离群点检测算法。以二元函数 为例，对文中提出的二元回归模型和离群点检测算法进行了仿真研究，仿真结果 验证了回归模型的正确性和离群点检测算法的有效性。 提出了偏向最近动态的基于距离的数据流异常检测算法，该算法是一种基于聚 类思想的的异常检测方法，通过计算检测数据与聚类中心的距离来判断异常，并 根据数据流的特性进行了改进，能够有效地实现数据流的异常检测。该算法实现 简单并且计算速度快，对阈值的选择具有自适应性，提高了检测的精度，仿真实 验验证了该算法的有效性。 设计了基于数据流异常检测的软件容错纠错实验方案，以数据流异常检测算法 为核心搭建了实验平台，进行了软件容错纠错实验研究。实验结果表明本文提出 的容错策略能够很好地实现软件的容错纠错，以上研究工作为软件的容错纠错提 供了新的解决方案。 关键词：容错；纠错；数据流；回归分析；回卷回复；聚类分析 I ABSTRACT ABSTRACT Nowadays, electro-Mechanical-Products (EMPs) are getting more and more complex, this brings the growing demands on reliability and safety for EMPs. As an important part of EMPs, the safety and reliability of software determine the quality of EMPs directly. This paper takes research on improving reliability and safety of software for EMPs as the main clue, from the viewpoint of date flow analysis, techniques of software fault tolerance and fault rectification are studied deeply and systemly based on date flow abnomity inspection in this paper. Aiming at possible failure in software system, a novel software fault tolerance and fault rectification approach is proposed based on data flow abnomity inspection, software watch dog technique and rollback recover technique. This approach backups the object program regularly, establishes data flow analysis model via extract a group of related variables in object program and filter ‘outliers’ from the data flow using data flow abnormity inspection method. When faults are found during the object program running, the watch dog force the object program jump to the backup point, rollback the object program to a backuped normal status, fault tolerance