%0 Journal Article
%T Specification and Compatibility Verification of Timing Behavior in Components<br>TCBV:一种构件时序行为建模与相容性验证工具
%A ZHANG Zhen-ling
%A JIA Yang-li
%A ZHOU En-guang
%A LI Zhou-jun
%A <br>张振领
%A 贾仰理
%A 周恩光
%A 李舟军
%J 计算机科学
%D 2012
%I 
%X It can efficiently improve the system's correctness and reliability for specification and verifying of timing behavior in complex real-time components. This paper presented the timed behavior protocol based formal modeling methods of timing behavior and the verification method for component based systems. The architecture of the specification and verification tool named TC;I3V was given. An application example was introduced and the experimental results show that the timed behavior protocol based specification and verification methods can accurately model and conveniently verify errors of timing behavior in complex real-time component systems. Finally, TCBV and other related tools were compared and the differences between them were analyzed.
%K Real-time component system
%K Timing behavior
%K Formal methods
%K Specification
%K Compatibility verification tool<br>实时构件系统
%K 时序行为
%K 形式化方法
%K 建模
%K 相容性验证工具
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A97816070393C026BAE915C2DAC82A48&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=F3090AE9B60B7ED1&sid=475189FCB44F11F6&eid=2922B27A3177030F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0