@inproceedings{e41b9d077e494382a1d8a5d4ec710968,
title = "Hybrid interface automata for component interfaces",
abstract = "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.",
keywords = "Component, Composition and coordination, Hybrid system, Interface automata",
author = "Dehui Du and Jing Liu",
year = "2011",
doi = "10.1109/CNSI.2011.51",
language = "英语",
isbn = "9780769544175",
series = "Proceedings - 1st ACIS/JNU International Conference on Computers, Networks, Systems, and Industrial Engineering, CNSI 2011",
pages = "193--197",
booktitle = "Proceedings - 1st ACIS/JNU International Conference on Computers, Networks, Systems, and Industrial Engineering, CNSI 2011",
note = "1st ACIS/JNU International Conference on Computers, Networks, Systems, and Industrial Engineering, CNSI 2011 ; Conference date: 23-05-2011 Through 25-05-2011",
}