A communication synthesis approach for distributed systems

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

Data and Resources

Additional Info

Field Value
Source ISSN: 0752-4072
Author Zitouni, Abdelkrim, Souani, C., Abid, M., Torki, K., Tourki, Rached
Maintainer CCSD
Last Updated May 11, 2026, 09:43 (UTC)
Created May 11, 2026, 09:43 (UTC)
Identifier hal-00081540
Language en
contributor Laboratoire d'Electronique et de Microélectronique [Monastir] (EμE) ; Faculté des Sciences de Monastir (FSM) ; Université de Monastir - University of Monastir - جامعة المنستير (UM)-Université de Monastir - University of Monastir - جامعة المنستير (UM)
creator Zitouni, Abdelkrim
date 2000-05-11T00:00:00
harvest_object_id ef9c04d5-f4fc-44ca-8b9d-6c151bfd130c
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-03-26T00:00:00
set_spec type:ART