By Topic

Hybrid Interface Automata for Component Interfaces

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Dehui Du ; Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China ; Jing Liu

The modelling and verifying of hybrid systems attract more and more attentions recently. Hybrid automaton is widely used to model discrete and continuous behaviors of hybrid systems. In this paper, a hybrid interface automaton(HIA) is proposed based on hybrid automaton to model the interface behaviors of hybrid components. According to the interface type of components, we define two kinds of HIA to model interface behaviors respectively. The RHIA(Reactive HIA) is used to model the interface behavior of reactive component and AHIA(Active HIA) for active components. In addition, some composition operations for component interface models are given to facilitate component based software development. The main contribution is to describing a composable model of component interfaces with formal methods, which allows static compatibility checking for some kinds of components composition with their interface models. To illustrate the approach, a case study railroad gate control of CBTC is discussed.

Published in:

Computers, Networks, Systems and Industrial Engineering (CNSI), 2011 First ACIS/JNU International Conference on

Date of Conference:

23-25 May 2011