The aim of this paper is to present a communication synthesis approach stated as an allocation problem. In the proposed approach, communication synthesis allows to transform a system composed of processes that communicate via high-level primitives through abstract channels into a set of processes executed by interconnected processors that communicate via signals and share communication control. The proposed communication synthesis approach deals with both protocol selection and interface generation and is based on binding/allocation of communication units. This approach allows a wide design space exploration through automatic selection of communication protocols. We present a new algorithm that performs binding/allocation of communication units. This algorithm makes use of a cost function to evaluate different allocation alternatives. We illustrate through an example the usefulness of the algorithm for allocating automatically different protocols within the same application system

No abstract

International audienceThe goal of this chapter is to introduce COSMOS, a methodology and an environment for the specification and synthesis of mixed systems composed of hardware (HW) and software (SW) starting from system level specifications. The application domain aimed at is communicating heterogeneous systems. The description model used permits an efficient manipulation of complex communication protocol. The resulting target is a mixed architecture that can be either a circuit, a card or a network of distributed processors. The current version of the COSMOS project provides a model for the representation of systems as well as basic primitives for synthesis at the system level. It allows a semi-automatic synthesis starting from system level specifications on an heterogeneous architecture. The ongoing work consists of a study and realisation of systematic partitioning strategies and efficient methods for the estimation and synthesis of communication. The principal choices of languages, representation models and architectures very much favour the design of telecommunication systems. COSMOS uses the SDL (ITU standard) language for the system specification. The result of partitioning and communication synthesis is an executable model of an heterogeneous architecture described in C (ANSI standard) and VHDL (IEEE standard) languages. The COSMOS environment is built around an intermediate format, called SOLAR, designed to facilitate the migration between systems specifications and hardware descriptions. SOLAR permits representation of high level concepts using the hardware semantics. The model is general containing an extended finite state machine and a powerful communication model

No abstract