Term Validation of distributed hard real time applications

To validate real time systems, one must especially validate on the one hand its functional behaviours, and on the other hand its operational behaviours (by proving that it respects its time specification). Here we deal with the operational aspects. In previous works, we have presented a technic based on finite automata to validate systems designed to run on a centralised architecture. Here we extend this approach to distributed systems. The main contribution of this work is to show that, when the modeled physical process is closed, finite automata and product operators are sufficient to valid distributed systems on an operational way.