< retour aux publications

A communication synthesis approach for distributed systems

Auteur(s) : A. Zitouni, C. Souani, M. Abid, K. Torki, R. Tourki

Journal : Technique et Science Informatiques (TSI)

Volume : 19

Issue : 4

Pages : 515-547

This paper presents an interactive communication synthesis approach for distributed systems. The aim of the proposed approach consists in mapping a high level specification into a modular and flexible target architecture. The input specification is composed of a set of finite state machines that communicate via a procedural call mechanism. If we assume that the communication critical part is done through a shared memory and that the partitioning step is performed, this approach allows to refine the communication structures (interfaces, controllers). It allows to reach an operational model easily mappable onto the target architecture. This approach is validated through the design of a communication controller