TCBV:一种构件时序行为建模与相容性验证工具

摘要：

利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义.介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块.TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证.结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证.最后,将TCBV与其它相关工具进行了比较.

关键词：实时构件系统、时序行为、形式化方法、建模、相容性验证工具

所属期刊栏目：39

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

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

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

页数：共5页

页码：143-147