Behavioral Compatibility Analysis of Component-based Real-time System | Zendy

Lin Xi | Zendy; Qinglei Zhou | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Behavioral Compatibility Analysis of Component-based Real-time System

Author(s) -

Lin Xi,

Qinglei Zhou

Publication year - 2011

Publication title -

international journal of engineering and manufacturing

Language(s) - English

Resource type - Journals

eISSN - 2306-5982

pISSN - 2305-3631

DOI - 10.5815/ijem.2011.01.11

Subject(s) - compatibility (geochemistry) , component (thermodynamics) , computer science , automaton , real time computing , distributed computing , reliability engineering , theoretical computer science , engineering , physics , chemical engineering , thermodynamics

For verification of component behavior compatibility in component-based real-time system, we make use of the timed automata to formally describe the component. In this way, the problem of component behavior compatibility is equivalent to whether the complementary actions can really synchronize over common channels on the system’s TA models. We then use the verification function of UPPAAL to automatically generate result, and finally conduct a case study to demonstrate how our technique works.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research