On specifying services and synthesizing protocols for real-time applications.
Ahmed Khoumsi, Gregor von Bochmann, Rachida Dssouli · 1994
This paper deals with synthesizing automatically the specifications of the protocol and of the medium, from the specification of a desired service and the model of the medium containing timing requirements. Firstly, we propose a detailed model for specifying a desired service to be provided by a real-time discrete event system. This model uses a global clock, and several fictitious timers and counters. Next, we propose a method for deriving protocol and medium specifications from service specifications for real-time applications. Such derived specifications use a different model which does not use counters. Compared to [KBD93], the application field is much broader because two important restrictions are removed. Firstly, temporal requirements are between events which are not necessarily consecutive. Secondly, the systems considered can be concurrent.