By Topic

Model checking real-time component based systems with blackbox testing

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.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Dang Van Hung ; Int. Inst. for Software Technol., United Nations Univ., Macau ; Bui Vu Anh

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.

Published in:

Embedded and Real-Time Computing Systems and Applications, 2005. Proceedings. 11th IEEE International Conference on

Date of Conference:

17-19 Aug. 2005