A. Khoumsi (Canada)
Testing distributed real-time systems, Centralized test method, Controllability, Observability
In this article, we propose a centralized method for test ing distributed real-time reactive systems. We determine timing conditions which guarantee controllability and opti mize observability of an Implementation Under Test. The main contribution is that the timing conditions that guaran tee controllability and optimize observability, are less re strictive here than in a previous work.
Important Links:
Go Back
