loading...
Real-Time Component Composition Using Hierarchical Timed Automata
Portland, Oregon, USA October 11-October 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.44Seventh International Conference on Q ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Xianli Jin, Huadong Ma, Zonghua Gu, "Real-Time Component Composition Using Hierarchical Timed Automata," Quality Software, International Conference on, pp. 90-99, Seventh International Conference on Quality Software (QSIC 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2007.44,
author = {Xianli Jin and Huadong Ma and Zonghua Gu},
title = {Real-Time Component Composition Using Hierarchical Timed Automata},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2007},
issn = {1550-6002},
pages = {90-99},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.44},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - Real-Time Component Composition Using Hierarchical Timed Automata
SN - 1550-6002
SP90
EP99
A1 - Xianli Jin,
A1 - Huadong Ma,
A1 - Zonghua Gu,
PY - 2007
VL - 0
JA - Quality Software, International Conference on
ER -
 
Xianli Jin, Beijing University of Posts and Telecommunications, Beijing 100876, China
Huadong Ma, Beijing University of Posts and Telecommunications, Beijing 100876, China
Zonghua Gu, Hong Kong University of Science and Technology, Hong Kong, China
In component-based software development, it is important to use formal models to describe component composition. However, the existing component composition models generally ignore real-time issues. We present a formal integration model based on Hierarchical Timed Automata (HTA) for real-time software system. We present formal definition of components and different component composition techniques. We then introduce the notions of composable and compatible composition, and use Multiset Labeled Transition Systems to represent the interface actions of HTA to perform compositional verification. This hierarchical and unified framework establishes the foundation for formal analysis of real-time properties of the system. Key words: component, real-time, hierarchical timed automata, labeled transition systems
Citation:
Xianli Jin, Huadong Ma, Zonghua Gu, "Real-Time Component Composition Using Hierarchical Timed Automata," qsic, pp.90-99, Seventh International Conference on Quality Software (QSIC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.