基于检查点的分布式软件监控与可信性评价

来源 :通信学报 | 被引量 : 0次 | 上传用户:glosslee
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于检查点的传统软件可信性评价方法以及目前针对分布式软件的交互关联规则,对于具有复杂交互行为的分布式软件均不适用。采用伴随式分布式软件监控机制,在节点内织入3类检查点,引入适应复杂交互场景的交互关联规则。通过将节点分解为多层模块结构,进行基于检查点结构树的节点实例可信性以及基于节点的分布式软件可信性评价。实验表明能以较小的监控开销,更准确地评价分布式软件实例的可信性,能够处理无限路径,且不存在大状态空间问题。
其他文献
本文结合实际,对驾驶员生理素质与诱发事故倾向性特点的辨析,意在为广大车管干部,车辆驾驶员,教练员管理和使用车辆时,做到防患于未然,有效地防止或减少交通事故提供科学依据。
要成功地创造津城环境美,就必须把握住津城美的特质.即把握住天津作为"国家历史文化名城",作为商业巨埠和工农业重地,作为开放型的国际大都市等方面的特点及诸特点的和谐统一
<正> 随着我国改革开放的深入发展,大量新型汽车已逐步进入国民经济、国防建设和人民生活。这类汽车设计起点较高,具有高速、低耗、长寿、大功率、小污染和自动化程度较高等
高职高专教育的根本任务是培养高等技术应用性专门人才。教学质量决定毕业生的质量,而毕业生的质量决定其社会适应的程度。从高职高专社科类专业教学质量标准与评价的内涵、意
本文在大量车辆百公里油耗统计的基础上,提出了动态油耗定额值的计算公式和方法,从而进一步提出了考核车辆驾驶员技术水平、车辆技术状况和车辆技术管理水平的评价指标。
纪录片<平衡>与故事片<可可西里>用同样的素材作为自己描述的对象,但二者有着不同的表达方式;前者以展现单一人物为根本,后者着力塑造群体形象;虽然都令观众感到真实与震撼,
<正>~~
早在1879年Murtell就已采用1%硝酸甘油治疗心绞痛,近年来的基础研究证实硝酸酯类可增加内皮NO,改善血流动力学,抗动脉粥样硬化。其临床适应证由防治冠心病的各种心绞痛、无症状心
<正> 目前,初学驾驶的新驾驶员的年龄一般都在18~25左右,他们的性格特征虽然已经明显的形成,但还未完备,也不够稳固,仍然具有较大的可塑性,因此,培养和发展学员的优良性格,改
一个道路状况数据采集的模块化系统已经开发成功。该系统既可用于重载交通道路,亦可用于低成本道路。在测量车上放置二台膝上型计算机,机内存储一个通过仪器不断采集连续道路断