AN ENVIRONMENT FOR DISTRIBUTED PROTOTYPING OF REAL-TIME SYSTEMS

Designing and reasoning about real-time systems are difficult activiti es, in which timing and reactive behaviour requirements add significan t complexity to system validation. In this paper, a new technique for distributed prototyping of real-time systems is presented. It enables system prototypes to be concurrently developed and tested by a geograp hically distributed team, in such a way that each developer can valida te his or her part of the system against the other parts which are bei ng built in other development sites. A set of tools hits been implemen ted that supports validation of functional and time behaviour through distributed animation of graphical prototypes with a consistent vision of simulated time.