Abstract

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 timing constraint information and new operations into it. Besides simple and convenient to apply, extended behavior protocol is more power than BP and can specify sophisticated behavior in component based real-time systems. An example and discussion on applications of extended behavior protocol were given and verification of extended behavior protocol was discussed finally.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.