基于协议的实时构件行为一致性验证

摘要：

对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性.分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析.

关键词：实时构件、时间行为协议、形式化描述、一致性验证

所属期刊栏目：39

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目90718017;山东省自然科学基金项目ZR2011FL023;山东省软科学项目2010RKE16007;山东省高校智能信息处理与网络安全重点实验室

在线出版日期：2012-07-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：125-128,142