基于任务模块的实时软件可靠性模型

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:tianzhiziyao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据实时多任软件的特征和各任务所占系统时间的非均匀分布,以任务模块为基本测试单元,提出一种实时多任务软件可靠性评价模型。由于任务周期、任务切换方式、切换频率以及任务故障率等基本参数易于分析和测试,因此该模型具有良好的可实现性和可扩充性,为实时多任务软件的可靠性评价开辟了一条新途径
其他文献
介绍了欧洲航天署(ESA)在卫星间激光通信领域的历史、现状和未来,并给出了近年来ESA最大的投资项目———SILEX系统的具体规划、实施和研究进程。最后,还简述了ESA近年来的一些有关卫星间激光通信的关键元器件和系统技术的研制和发展计划。
目的:评介三七总皂甙及抗坏血酸防护视网膜光化学损伤的效果。方法:本实验于光照前24h及光照前立即给大鼠腹腔注射三七总皂甙及抗坏血酸,进行光损伤的防护研究,以视网膜光镜形态,外核
文中讨论了一种高分辨率组合侧民极系。利用高效的数值模式匹配方法并结合表面积分方程,对其进行了数值模拟。其结果表明,该电极系不但具有很高的纵向分辩率,而且 有较深的径向
研究了无线ATM通信的差错控制方案,提出了应根据多媒体业务类型,速率等参数,以及移动环境等,自适应地选择合适的差错控制技术和参数的思想。文中提出的差错控制方案主要包括FEC和限时/非
在常值变结构控制律的基础上选择与状态变量成比例的变结构控制律,使用李亚普诺夫函数方法,利用李亚普诺夫稳定性定理及滑动模态的存在及到达条件,研究一类单输入双线性系统的稳
提出一种E面悬置介质谐振器的结构,由于该结构一方面具有E面集成传输线的特点,能与各类E面电路构成集成化的稳频和滤波结构,同时,在毫米波段能获得比微带-介质耦合集成形式更高的Q值。
张学良和蒋介石同是中国近现代历史上的风云人物。从个人交往方面来看 ,张同蒋的关系可谓“情同骨肉”。然而 ,从政治见解方面来看 ,张与蒋却存在着较大的分歧。尤其是围绕着蒋介石提出的“攘外必先安内”这一国策问题 ,张学良从追随到怀疑再到反对 ,经历了一个认识变化的过程
论述了ODP中有关交易器的核心思想;分析了交易器的关键组成部分的实现方法,其中2包括:界面空间,界面引用和交易器的界面。在交易器的支持下,开放式分布处理系统中的客户方可以动态地发
身为教育工作者,我关注教育的发展,更关注教育教学活动的现实;我喜欢倾听关于教育的各种声音,更喜欢静下心来反思教育的理念与行为。