Formal specification and verification of components' real-time behavior

Formal specification and verification of complex realtime component systems' behavior can efficiently improve the systems' correctness and reliability. This paper analyzed the formal specification and verification languages of components' timed behavior. Based on the analysis we extended behavior protocol (BP) used in SOFA component model by incorporating… (More)