@inproceedings{f0e9b09c7abb4712bece486046405ec7,
title = "A method on specification and verification of component interaction in real-time reactive systems",
abstract = "We present Timed Component-Interaction Automata with Cost (TCIAC) to specify and verify component interaction behavior, timing cost and timing constraint information in component-based real-time reactive systems. TCIAC extends the description ability of component interaction automata by binding each action with a time interval and a timing cost value. The timing cost values of sequence and parallel actions can be worked out using a timing cost computing semiring we presented in this paper. TCIAC models of real-time components can be composed together based on the TCIAC composition definition. We discuss the application of TCIAC through a simple railroad crossing control system. We model the system using TCIAC for specifying and verifying the timeliness and other trustworthiness properties of component interaction.",
author = "Yangli Jia and Zhoujun Li and Zhenling Zhang and Shengxian Xie",
year = "2008",
doi = "10.1109/ICACTE.2008.133",
language = "英语",
isbn = "9780769534893",
series = "Proceedings - 2008 International Conference on Advanced Computer Theory and Engineering, ICACTE 2008",
pages = "388--392",
booktitle = "Proceedings - 2008 International Conference on Advanced Computer Theory and Engineering, ICACTE 2008",
note = "2008 International Conference on Advanced Computer Theory and Engineering, ICACTE 2008 ; Conference date: 20-12-2008 Through 22-12-2008",
}