Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS

Author

Khoumsi, Ahmed

Author_Institution

Sherbrooke Univ., Que., Canada

fYear

2001

fDate

6/23/1905 12:00:00 AM

Firstpage

268

Lastpage

273

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Synthesis, 2001. Proceedings. The 14th International Symposium on

Print_ISBN

1-58113-418-5

Type

conf

DOI

10.1109/ISSS.2001.156570

Filename

957953