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
2 ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
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.
Type de document :
Communication dans un congrès
Maria Elena Valcher. 51st IEEE Conference on Decision and Control, Dec 2012, Maui, Hawaii, United States. 2012, 51st IEEE Conference on Decision and Control, Proceedings
Liste complète des métadonnées

https://hal.inria.fr/hal-00766793
Contributeur : Benoît Caillaud <>
Soumis le : mercredi 19 décembre 2012 - 09:23:21
Dernière modification le : mercredi 23 mai 2018 - 17:58:10

Identifiants

  • 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. Maria Elena Valcher. 51st IEEE Conference on Decision and Control, Dec 2012, Maui, Hawaii, United States. 2012, 51st IEEE Conference on Decision and Control, Proceedings. 〈hal-00766793〉

Partager

Métriques

Consultations de la notice

1584