By Topic

Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yangli Jia ; Sch. of Comput. Sci. & Eng., Beihang Univ., Beijing ; Zhoujun Li ; Zhenling Zhang

Timed Component-Interaction Automata (TCIA) is presented to model and verify real-time componentspsila interaction behavior and timing constraint information. The component-interaction automata model combines the advantages of both architecture description languages and general formal verification-oriented model but fails to depict timing constraint information in real-time reactive systems. TCIA extends the description ability of component interaction automata by binding each action with a time interval. TCIA models of real-time components can be composed together based on the TCIA composition definition we presented in this paper. Applications of TCIA, such as specifying and verifying componentspsila interaction properties in the design stage of developing component-based real-time reactive systems, are discussed. An example is given to demonstrate how TCIA can be used to verify the timeliness, safety and other trustworthiness properties of components' behavior.

Published in:

Computer Science and Software Engineering, 2008 International Conference on  (Volume:2 )

Date of Conference:

12-14 Dec. 2008