Compositional Simulation of Real-Time Components

O. Kon, M. Strecker, and R. Uaziz (France)

Keywords

Simulation, Composition, Realtime components

Abstract

The analysis of concurrent real time systems involves deal ing with issues like time dependant execution semantics as well as behaviour complexity due to a large number of ex ecution schemes in the concurrent applications. In this pa per we exploit the structure of communicating timed com ponents to address the previous issues while attempting to avoid the complexity related to the construction of the global product of the communicating subcomponents. We propose a new simulation approach based on (1) grid au tomata semantics and (2) composition of previously com puted patterns. This enables the design of simulation sce narios against concurrent real-time applications, with low cost. An example is presented to illustrate the results of the method.

Important Links:



Go Back