Répartition modulaire de programmes synchrones

Gwenaël Delaval 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : We address the problem of safe design of distributed embedded systems. We show that with the increasing complexity and integration of embedded systems, the functional structure of the system can conflict with the structure of its architecture. The usual approach of design by refinement of this architecture can then jeopardize the functional modularity of the system. We propose a method allowing the design of a distributed system as a unique program, which functional structure is independent of the system's architecture. This method is based on the extension of a synchronous dataflow programming language with primitives for program distribution. These primitives allow on one hand to describe the architecture as a graph defining existing computing resources and communication links between them, and on the other hand to specify by mean of annotations the localization of some values and computations of the program. We define the formal semantics of this extended language. The purpose of this semantics is to provide to the programmer a formal meaning to the annotations added to his program. A type and effect system is provided to ensure, at compilation time, the consistency of these annotations. A type inference mechanism allow the inference, from the annotations of the programmer, of the non-annotated values and computations. We finally define, from this type system, an automatic distribution method, allowing the computation, from an annotated program, of one program fragment for each computing resource of the architecture. The soundness of the type system with respect to the semantics has been proven, as well as the semantical equivalence of the composition of the fragments obtained via the automatic distribution method with the initial program. This method has been implemented in the compiler of the Lucid Synchrone language, and experimented with an example of software-defined radio.
Complete list of metadatas

Cited literature [68 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00750832
Contributor : Gwenaël Delaval <>
Submitted on : Monday, November 12, 2012 - 3:01:20 PM
Last modification on : Friday, October 25, 2019 - 2:01:30 AM
Long-term archiving on : Wednesday, February 13, 2013 - 3:45:28 AM

Identifiers

  • HAL Id : tel-00750832, version 1

Collections

INRIA | UGA | LIG

Citation

Gwenaël Delaval. Répartition modulaire de programmes synchrones. Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français. ⟨tel-00750832⟩

Share

Metrics

Record views

420

Files downloads

579