Two architectures for testing distributed real-time systems

A real-time system is a system that is required to react to stimuli from the environment within time intervals dictated by the environment. In real-time applications, the timing requirements are the main constraints and their mastering is the predominant factor for assessing the quality of service. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. Testing is one of the formal techniques that can be used to ensure the quality of real-time systems. This paper addresses and proposes a centralized architecture and a distributed architecture for the execution of test cases on distributed real-time systems. These two architectures are implemented in CORBA and Java. The specification model used is n-ports timed input output automata, a variant of timed automata of Alur and Dill (1994)