Compatibility verification of real-time components' behavior

This paper presents a model-based approach to verify compatibility of coordinated real-time components' behavior. Timed Behavior Protocol (TBP) is introduced to specify real-time components' timed interaction behaviors. TBP extends the behavior protocol used in SOFA component model by incorporating time factor into behavior protocol model of component based real-time system. Event tokens in TBP are bound with timing constraint information according to requirements of practical applications, and time-related operators are added into the model language. Common compatibility errors in component composition are analyzed and the compatibility verification algorithm based on formal specification is given. The formal specification language of timed behavior protocol is simple and compatibility verification of real-time components' behavior specified as timed behavior protocol is convenient to apply. Other specification and verification methods of real-time components' behavior are discussed finally.