loading...
Model Checking Real-Time Component Based Systems with Blackbox Testing
Hong Kong, China August 17-August 19
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.5911th IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Dang Van Hung, Bui Vu Anh, "Model Checking Real-Time Component Based Systems with Blackbox Testing," Real-Time Computing Systems and Applications, International Workshop on, pp. 76-79, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.2005.59,
author = {Dang Van Hung and Bui Vu Anh},
title = {Model Checking Real-Time Component Based Systems with Blackbox Testing},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {2005},
issn = {1533-2306},
pages = {76-79},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.59},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - Model Checking Real-Time Component Based Systems with Blackbox Testing
SN - 1533-2306
SP76
EP79
A1 - Dang Van Hung,
A1 - Bui Vu Anh,
PY - 2005
KW - Component Software
KW - Duration Automata
KW - Automatic Verification
KW - Real-time Systems
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
Dang Van Hung, United Nations University
Bui Vu Anh, United Nations University
In this paper we propose a simple model for component based real-time systems using duration automata. For this simple model we propose an algorithm for solving the emptiness problem using black-box testing for components which is in the same complexity class as for solving the emptiness problem for untimed component based systems. Furthermore, the verification of behavioural real-time properties in this model can be done with techniques from Duration Calculus.
Index Terms:
Component Software, Duration Automata, Automatic Verification, Real-time Systems
Citation:
Dang Van Hung, Bui Vu Anh, "Model Checking Real-Time Component Based Systems with Blackbox Testing," rtcsa, pp.76-79, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.