嵌入式软件仿真测试环境及其支撑系统的研究

来源 :北京航空航天大学 | 被引量 : 0次 | 上传用户:xtchen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
嵌入式计算机系统在近些年来发展迅速,并被广泛应用于军事、工业生产、商业活动、科学实验和家庭生活等领域,在应用数量上已经远远超过传统意义上的计算机.随着对嵌入式计算机系统的需求和依赖的与日俱增,嵌入式系统的可靠性就成为人们日益关注的问题.嵌入式系统的可靠性是由软硬件的可靠性共同决定的,随着嵌入式系统中软件成分的不断增加以及硬件的不断完善和可靠,嵌入式系统软件的可靠性是决定整个系统可靠性的关键因素.软件测试是提高软件可靠性的有效手段.分布式仿真测试环境(Distributed SoftwareTest Environment,简称DSTE)以其功能强大,通用性好而逐渐成为嵌入式软件测试领域研究的热点.在当前嵌入式系统测试工具的开发落后于嵌入式系统发展的大形势下,DSTE的研究更具迫切性.本文首先对软件测试、实时系统等相关概念进行了详细的阐述,并对现有的不同种类的嵌入式软件测试工具进行了比较分析;然后详细分析了仿真测试环境的功能和重要特性,提出了一种全新的三层开发模式来实现仿真测试系统;随后本文提出了实现分布式仿真测试环境的支撑系统Distributed Software Test Environment Support System,简称DSTESS)的最佳方案,并分析了GPOS产生实时缺陷的原因以及它的实时扩展方法.然后本文给出了DSTESS的具体实现,包括它的总体结构、操作系统、处理器结构、同步机制、网络、实时节点结构、实时数据存取机制;而后针对DSTESS的三个运行层的不同特点,分别实现了不同的调度算法.最后,本文结合国家重点预研课题《嵌入式软件可靠性仿真测试与验证技术的研究》的核心部分--嵌入式软件可靠性仿真测试平台(简称SRSTP)的实例,详细说明了三层开发模式的具体使用方法.
其他文献
可重复使用助推器是现阶段降低空间运输任务成本,提高航天运载系统效率的一种高效空间运载可行方案,能够配合不同上面级完成多种空间运输任务,同时又可为实现空间运载器系统
随着制造企业的组织形式和网络技术的飞速发展,未来数字化企业的制造模式将发生全新的改变.单件、小批量的生产模式已经扩展到动态制造企业联盟,制造信息日益表现出分布式、
系统可靠性与性能一体化设计技术的研究,实现了产品设计与研制过程中可靠性设计技术与性能设计技术的紧密结合,有效的缓解了产品设计过程中性能设计与可靠性设计相互独立的局
可靠性与环境试验是考核和提高产品可靠性及环境适应性的重要手段.随着航空机载电子设备"冷板"结构密封机箱的广泛采用及电子元器件热设计、热分析、热试验的需求,冷热流空气
该文论述了三种Dirichlet自由变形方法及其扩展,总结了应用Dirichlet自由变形方法时的几种优化技术.论文中计算Sibson坐标值算法的特点是通过带符号面积(体积)的和间接来求Di
如何直接、迅速、精确地对未知尺寸的实物原型进行形状设计是CAD技术的新课题.根据国内外线切割加工和产品设计方法的现状,该文结合图像处理和图像矢量化关键技术,考虑到线切
该文研究了利用多点逼近方法和遗传算法解决桁架结构拓扑优化问题的方法,改善了适应拓扑优化的近似函数和有效的遗传算法适应值函数.在以往的结构优化研究中,二级多点逼近近
由于肿瘤组织的血管新生效应产生了大量的“渗透型”血管,其相比于正常组织的“紧致型”血管对荧光剂有着较高的渗透率,因而发展荧光剂药代动力学参数(渗透率等)成像技术将为研究肿瘤组织的动态生理过程和病理信息提供一种新方法,而荧光药代动力层析成像方法作为一种无创探测方式越来越受到广泛关注。其中,基于分室动力学模型的扩展卡尔曼滤波(EKF)方法具有诸多优点包括:同时获得药代动力学参数和荧光剂浓度时间演变图像
随着信息技术的发展,企业信息化已经成为了应对市场竞争的一个强大的工具.当前,信息化在大多数企业中已经得到了普遍的应用,成为企业保持核心竞争力的重要手段之一.由于历史
英语是中职课程教学的一部分,传统的英语课堂教学方式比较单一,难以将学生英语学习的兴趣和积极性调动起来,而任务驱动教学模式下能够有效解决传统教学中存在的问题,教师用语