Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
Distributed systems (3rd ed.): concepts and design
Distributed systems (3rd ed.): concepts and design
Deriving protocol specifications from service specifications written in LOTOS
Distributed Computing
| Hi-index | 0.00 |
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.