Skip to Main content Skip to Navigation
Conference papers

Application of Interface Theories to the Separate Compilation of Synchronous Programs

Albert Benveniste 1 Benoit Caillaud 1 Jean-Baptiste Raclet 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We study the problem of separate compilation, i.e., the generation of modular code, for the discrete time part of block-diagrams formalisms such as Simulink, Modelica, or Scade. Code is modular in that it is generated for a given composite block independently from context (i.e., without knowing in which diagrams the block is to be used) and using minimal information about the internals of the block. Just using off-the-shelf C code generation (e.g., as available in Simulink) does not provide modular code. Separate compilation was solved by Lublinerman et al. for the special case of singleclocked diagrams, in which all signals are updated at a same unique clock. For the same case, Pouzet and Raymond proposed algorithms that scale-up properly to real-size applications. The technique of Lublinerman et al. was extended to some classes of multi-clocked and timed diagrams. We study this problem in its full generality and we show that it can be cast to a special class of controller synthesis problems by relying on recently proposed modal interface theories.
Complete list of metadata

https://hal.inria.fr/hal-00766793
Contributor : Benoît Caillaud <>
Submitted on : Wednesday, December 19, 2012 - 9:23:21 AM
Last modification on : Wednesday, June 16, 2021 - 3:35:10 AM

Identifiers

  • HAL Id : hal-00766793, version 1

Citation

Albert Benveniste, Benoit Caillaud, Jean-Baptiste Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs. 51st IEEE Conference on Decision and Control, Jay A. Farrell, Dec 2012, Maui, Hawaii, United States. ⟨hal-00766793⟩

Share

Metrics

Record views

2550