Approche de synthèse de communication pour les systèmes distribués

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.