Model Checking Component Based Systems with Blackbox Testing

@inproceedings{Hung2004ModelCC,
  title={Model Checking Component Based Systems with Blackbox Testing},
  author={Dang Van Hung and Bui Vu Anh},
  year={2004}
}
In this report we propose a simple model for component based real-time systems using duration automata. A component based real-time system consists of a host which is a general duration automaton and several components which are duration automata with some restrictions. Components can communicate with the host only. For this model we propose an algorithm for solving the emptiness problem using black box testing for components with a complexity in the same complexity class as for solving the… CONTINUE READING