New Results for Testing Distributed Real-time Reactive Systems using a Centralized Method

A. Khoumsi (Canada)


Testing distributed realtime 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