synthesizing distributed real-time systems modeled by a timed version of a subset of lotos
This paper deal with the synthesis of distributed real time systems ( DRTS ). More precisely, we propose: (1)a language for modelling synthesized DRTS d 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.
synthesis distributed real time systems clock synchronization timed simplified basic lotos