Incorporating time factor into behavior protocol model

Timed Behavior Protocol (TBP) is presented to model 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. Combining the advantages of both simplicity and practicality, TBP has more powerful description ability and can be used easily to specify real-time components´ behavior and timing constraint information. TBP models of real-time components can be composed together based on the TBP composition definition we presented in this paper. An example is given to demonstrate how TBP can be used. Application and verification of TBP are discussed.