|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05)
Model Checking Real-Time Component Based Systems with Blackbox Testing
Hong Kong, China
August 17-August 19
ISBN: 0-7695-2346-3
| ASCII Text | x | ||
| Dang Van Hung, Bui Vu Anh, "Model Checking Real-Time Component Based Systems with Blackbox Testing," 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 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 ={2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications}, 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 - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications 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 - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.2005.59
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.