Title :
Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS
Author_Institution :
Sherbrooke Univ., Que., Canada
fDate :
6/23/1905 12:00:00 AM
Abstract :
The paper deals with the synthesis of distributed real time systems (DRTS). More precisely, we propose: (1) a language for modelling synthesized DRTSs and the services they provide, and (2) a synthesis procedure which derives a specification of DRTS 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.
Keywords :
distributed programming; high level synthesis; real-time systems; specification languages; synchronisation; DRTS specification; LOTOS subset; Timed Simplified Basic Lotos; clock synchronizations; distributed real time system synthesis; distributed real-time system synthesis; order constraints; synthesis procedure; timed version; timing constraints; Clocks; Formal languages; Permission; Production; Protocols; Real time systems; Specification languages; Synchronization; Timing;
Conference_Titel :
System Synthesis, 2001. Proceedings. The 14th International Symposium on
Print_ISBN :
1-58113-418-5
DOI :
10.1109/ISSS.2001.156570
