【摘 要】
：
随着计算机硬件性能的不断提高,嵌入式系统中软件系统的规模和复杂性不断增加,软件可靠性问题已成为嵌入式控制系统发展的一个瓶颈。传统的嵌入式软件可靠性保障技术主要关注
论文部分内容阅读
随着计算机硬件性能的不断提高,嵌入式系统中软件系统的规模和复杂性不断增加,软件可靠性问题已成为嵌入式控制系统发展的一个瓶颈。传统的嵌入式软件可靠性保障技术主要关注于系统开发后期,而在系统运行时阶段缺乏有效工具和技术对系统进行分析与验证。如今,基于监控的软件运行时验证(MRV:Monitoring-Oriented Runtime Verification)技术被认为是在软件运行时提高软件系统可靠性的一个趋势。基于监控的软件运行时验证方法通过在软件系统中加入状态监视设施可以有效的提高系统可靠性,但是在传统的单核处理器架构的计算平台上,软件系统中所加入的状态监视设施以及相关分析与检验处理过程将对目标系统的执行性能造成较大的影响,从而影响到整体系统的可靠性。随着多核处理器架构的发展,许多高性能计算平台被用来解决用户庞大而复杂的问题,如今,多核处理器架构计算平台已经成为了验证领域提高验证性能的一个新的趋势。本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV验证框架,进一步在Visual Studio平台上和Eclipse平台上分别给出了C++版本和Java版本的MRV实现方案,并在几个开源项目中进行了MRV实例应用。最后对实验获得的数据进行分析和总结,实验数据表明,在不同验证模式下,多核处理器能够有效的提高系统运行时验证的性能。本文工作为进一步设计有效的多核架构下MRV方法提供了基础。
其他文献
基因组学(genomics)的概念在1986年提出,随着人类基因组计划和人类基因组单体型图计划的实施,基因组学的研究已经系统化,海量出现的基因数据也成为各类生物研究的重要依据。
伴随着信息技术的发展，特别是互联网技术的应用发展，电子商务作为一种崭新的商务手段从根本上改变了人们传统商务活动中的交易方式和流通技术，对社会经济发展和商务活动产生了深
无线传感器网络是由许多在目标区域上分布的传感器组成的一种计算机网络。无线传感器网络技术涵盖了计算、通信和遥感等三项技术。它是现代科技革命突飞猛进发展的产物。覆盖
云计算作为一种新兴的信息服务模式,使用网络作为桥梁,将分散在各地的存储、软件等资源集中在一起为用户提供服务,这种服务模式使计算资源的利用率得到了极大的提高,并且能够
无线传感器网络是在微电子、无线通信和嵌入式系统等技术的飞速发展中产生的一种新的信息获取和处理模式。它在工业、农业、军事国防、生物医疗、抢险救灾以及环境监测等许多
随着信息技术的不断发展，越来越多的企业和组织机构采用计算机技术对过程进行控制和管理，从而实现科学管理、提高办事效率、降低生产成本、提高企业生产经营管理水平和竞争力。
随着WLAN技术的不断发展,无线设备价格不断降低,人们对无线数据业务的需求量不断增长,WLAN的建设规模也往大的方向发展。CAPWAP是IETF正在标准化的协议,用于WTP与AC通信交互,
Internet的出现和普及使计算机软件所面临的运行环境丌始从封闭、静态、可控逐步走向开放、动态、多变。如何在开放、动态和多变的网络环境下实现各类资源的共享和集成已经成
电容层析成像(ElctricalCapacitanceTomography,简称ECT)技术是一种新型的非侵入式电学层析成像技术。目前ECT系统通常使用个人计算机实现传感器数据采集、图像重建、系统的
在当前的企业信息化开发过程中,利用基于B/S模式的J2EE多层体系结构进行Web应用开发是主要的解决方案。但是传统的J2EE开发,由于受其核心组件EJB模型缺陷的制约,应用并不广泛