Computer Science ›› 2012, Vol. 39 ›› Issue (6): 125-128.
Previous Articles Next Articles
Online:
Published:
Abstract: The formal specification and consistency verification of complex real-time component systems' behavior can efficiently improve the systems' reusability, correctness and reliability. This paper analyzed the timed behavior protocol and the other mainstream formal specification methods of real-time behavior used in academia and industry. Based on the analysis we gave the substitution theory and the consistency verification algorithm based on timed behavior protocol,which can support complex real-time component based systems' development.
Key words: Realtime component, Timed behavior protocol, Formal specification, Consistency verification
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I6/125
Cited