【作者】 张剑；

【导师】 胡军；

【作者基本信息】 南京航空航天大学 ， 计算机科学与技术， 2010， 硕士

【摘要】 随着计算机硬件性能的不断提高,嵌入式系统中软件系统的规模和复杂性不断增加,软件可靠性问题已成为嵌入式控制系统发展的一个瓶颈。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,而在系统运行时阶段缺乏有效工具和技术对系统进行分析与验证。如今,基于监控的软件运行时验证(MRV:Monitoring-Oriented Runtime Verification)技术被认为是在软件运行时提高软件系统可靠性的一个趋势。基于监控的软件运行时验证方法通过在软件系统中加入状态监视设施可以有效的提高系统可靠性,但是在传统的单核处理器架构的计算平台上,软件系统中所加入的状态监视设施以及相关分析与检验处理过程将对目标系统的执行性能造成较大的影响,从而影响到整体系统的可靠性。随着多核处理器架构的发展,许多高性能计算平台被用来解决用户庞大而复杂的问题,如今,多核处理器架构计算平台已经成为了验证领域提高验证性能的一个新的趋势。本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV验证框架,进一步在Visual Studio平台上和Eclipse平台上分别给出了C++版本和Java版本的MRV实现方案,并在几个开源项目中进行了MRV实例应用。最后对实验获得的数据进行分析和总结,实验数据表明,在不同验证模式下,多核处理器能够有效的提高系统运行时验证的性能。本文工作为进一步设计有效的多核架构下MRV方法提供了基础。更多还原

【Abstract】 Along with the increasing performance of hardware, the size and complexity of the software in embedded systems are becoming increasing huge. Software reliability has become a bottleneck to the development of embedded control systems. Traditional methods in embedded computing systems mostly focus on testing and lack of effective tools and technology supporting the analysis and verification of the running system. Monitor-oriented Runtime Verification (MRV) methods are used to be considered as effectively ways to increase software system reliability. By adding some monitoring facilities to software system, MRV methods can improve the reliability of system effectively. However, in the case of traditional embedded systems, which are based on single-core processor architecture, it may cause great losses of system performance, thus affect the overall system reliability. With the development of the multi-core architecture, high performance computing platforms are produced to satisfy users’ requirement for solving large and complex problems, multi-core architecture has become a new trend in the verication field to improve the performance.In this thesis, multi-core processor architecture which is recently utilized in many embedded computing systems was adopted to do some new preliminary explorations of MRV. Specifically, two kinds of MRV framework based on multi-core architecture are designed and analyzed, including in-line and out-line verification modes, and single-monitor and multi-monitor MRV instances are also designed. Furthermore, in order to check the multi-core MRV methods, several corresponding implementations (developed on the platform of Visual Studio and Eclipse) are provided and applied into several open source projects. The results of experiments show that MRV based on multi-core architecture can improve the performance of run-time verification of the system effectively under different verification modes. Our work gives a foundation for further research of how to design good multi-core MRV methods.更多还原