Abstract: Formal specification and compatibility verification of complex real-time component systems' behavior can efficiently improve the systems' correctness and reliability. This paper analyzed the mainstream component models using in academia and industry and the common formal specification methods of component timed behavior. Based on the analysis we extended component behavior protocol and presented the timed behavior protocol(hI3P) to model components' real-time behavior. Common compatibility error types in component composition were analyzed and the compatibility verification algorithm based on hI3P was given. The timed behavior protocol is simple and convenient to apply and verify. An application example was introduced.

Key words: Component, Behavior protocol, Timed behavior protocol, Formal specification, Compatibility verification