嵌入式管控软件的可靠性设计与验证

来源 :西南交通大学 | 被引量 : 0次 | 上传用户:cqcd1996
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着信息技术的发展,以嵌入式系统技术为代表的计算机技术广泛地应用在我国的武器装备系统中,并为其性能带来了革命性的变化。同时,技术的发展和应用要求的提高,也使武器装备系统变得越来越复杂,对软件可靠性的要求也越来越高。嵌入式管控软件作为一种实时的控制软件在武器装备中起着核心的作用,但是目前公开发表的有关其可靠性的研究成果还很少,所以对嵌入式管控软件的可靠性进行研究是很有必要且十分重要的。本文在分析了影响嵌入式管控软件可靠性的因素后提出了从设计和测试两个方面对其可靠性进行保障的解决思路。在其可靠性设计中,将面向对象的设计方法贯彻于软件设计的整个过程,并扩展了UML以适应嵌入式实时软件建模的需要,同时结合嵌入式管控软件特点,提出了提高其可靠性的设计方法,并对其中的重要细节进行了详细的探讨。在嵌入式管控软件的可靠性验证中,本文丢弃了传统的通过软件可靠性模型进行可靠性评估的方法,通过对各个任务模块的可靠性控制来实现软件系统的可靠性要求,提出了将软件系统的可靠性进行分配的可靠性分配模型,并就模型的具体细节进行阐述。在将软件的可靠性指标分配到各个任务模块之后,通过统计测试的方法将对任务模块的可靠性验证转化为执行确定数量的无失效测试用例数。在测试用例的生成中,本文根据任务模块的特点,将传统的运行剖面的构造方法进行简化,便利了测试用例的生成和测试效率的提高。最后,本文将提出的嵌入式管控软件的可靠性设计方法和验证方法应用到典型的嵌入式管控软件——干扰控制器的平台管控软件中。结果表明,该方法可行,并且对嵌入式管控软件的可靠性起到了很好的保障作用。
其他文献
伴随着3G时代的到来,互联网和移动通信服务发展趋于交融,移动通信技术的不断更新也将推动全球移动商务应用市场的快速发展。面对用户的需求,移动商务服务内容也越来越呈现多样化
本论文主要研究决策树的算法及其在市场细分中应用。利用数据挖掘技术、挖掘市场细分数据,进行客户需求分析,发现市场细分需求规律,利于发现新的市场机会,开拓新的市场机会。
在当今时代,手机已经成了不可或缺的通讯工具了,不再像从前那样遥不可及,而是越来越多地走进普通老百姓的工作和生活中。无论是大街上,还是商场里,或者公司里,用手机通信的数
Leland和Paxson等通过对局域网和广域网的流量进行测量和分析,均发现具有统计上的自相似性。传统的网络流量模型在描述实际的网络业务时,忽视了这个重要特性。与传统的流量模
本文的研究内容是作者硕士学习期间参与完成的国家“863”资助项目“用于彩屏手机的液晶显示驱动控制芯片开发“的一部分,作者深入研究并设计完成了单片集成的TFT-LCD驱动控制
支持向量机是自上世纪90年代提出的一种基于统计学习理论的机器学习算法,与传统统计学研究样本产生的规律或样本数目趋于无穷大时的渐进性能不同,它更注重研究样本本身所提供的
随着XML文档在网络上的应用不断广泛,如何有效地对一个XML文档进行多查询处理这一问题变得更加广泛和迫在眉睫。然而以往的查询处理方法都没有考虑到XML文档自身的冗余性,事实
近些年来,随着网络的飞速发展,网络攻击频繁发生,攻击方式更是层出不穷。分布式拒绝服务攻击DDoS是互联网环境下最具有破坏力的一种攻击方式,尤其以SYN Flood攻击方式为代表,它利
随着World Wide Web的迅猛发展,网上文本信息资源以指数级的速度增长,如何快速有效地将文本按其内容进行分门别类的整理,便于人们利用这些海量文本,变得越来越重要和困难。因此,研
地图匹配的过程是指以一系列可能存在有噪音的全球定位系统的坐标点作为输入,输出此系列坐标点在真实地图道路网上位置的估计。现在可利用的全球定位系统坐标轨迹数据有很多,比