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

被引：0

作者：

Khoumsi, A ^{[1
]}

机构：

[1] Univ Sherbrooke, Dept GEGI, Sherbrooke, PQ J1K 2R1, Canada

来源：

ISSS'01: 14TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS | 2001年

关键词：

synthesis; distributed real time systems; timed simplified basic LOTOS; clock synchronization;

D O I：

10.1109/ISSS.2001.957953

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper deal with the synthesis of distributed real time systems (DRTS). More precisely, we propose: (1) a language for modelling synthesized DRTSs and 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.

引用

页码：268 / 273

页数：6

共 9 条

[1] BOCHMANN G, 1986, P ACM SIGCOMM S US
[2] INTRODUCTION TO THE ISO SPECIFICATION LANGUAGE LOTOS
BOLOGNESI, T
BRINKSMA, E
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1987, 14 (01): : 25 - 59
[3] COULOURIS G, 1998, DISTRIBUTED SYSTEMS
[4] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING PARAMETERS
GOTZHEIN, R
VONBOCHMANN, G
[J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (04): : 255 - 283
[5] Deriving protocol specifications from service specifications written in LOTOS
Kant, C
Higashino, T
vonBochmann, G
[J]. DISTRIBUTED COMPUTING, 1996, 10 (01) : 29 - 47
[6] KAPUSKOLAR M, 1991, P IEEE 3 INT C SOFT, P1093
[7] KAPUSKOLAR M, 1991, P ISMM INT WORKSH PA
[8] KHENDEK F, 1989, P ACM SIGCOMM 89, P136
[9] KHOUMSI A, 1998, P 5 MAGHR C SOFTW EN

← 1 →