Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS
Ahmed Khoumsi · 2001
This paper deal with the synthesis of distributed real time systems (DRTS). More precisely, we propose: (1)a language for modelling synthesized DRTSd services they provide, and (2)a synthesis procedure which derives a specification of DTS from a specification of a desired service. The derived DRTS provides the desired service given as input. In addition to order constraints, the synthesized DRTS also guarantees timing constraints specified in the desired service. A clock is used in each site of the DRTS and, contrary to previous methods, we take into account the inaccuracy of clock synchronizations.