Application of Interface Theories to the Separate Compilation of Synchronous Programs

Albert Benveniste 1 Benoît Caillaud 1 Raclet Jean-Baptiste 2
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : On s'int eresse a la compilation s epar ee c.- a-d., a la g en eration de code modulaire, pour le sous-ensemble discret des formalismes de diagrammes de bloc tels que Simulink, Modelica ou Scade. Un code est modulaire lorsqu'il est g en er e pour un certain bloc sans la connaissance de son contexte (c.- a-d., sans conna^ tre le diagramme dans lequel le bloc est sens e ^etre utilis e) et en utilisant un minimum d'information concernant le fonctionnement interne du bloc. La compilation s epar ee a et e etudi ee par Lublinerman et al. pour le cas particulier des diagrammes mono-horloge, pour lesquels tous les signaux sont mis a jour a partir d'une seule et unique horloge. Dans le m^eme contexte, Pouzet et Raymond ont propos e des algorithmes permettant le passage a l' echelle. L'approche de Lublinerman et al. a et e etendue a certaines classes de diagrammes temporels multi-horloges. Dans ce papier, nous etudions le probl eme en toute g en eralit e et nous montrons qu'il peut ^etre vu comme un probl eme de synth ese de contr^oleur et r esolu en utilisant une th eorie d'interfaces dite \modale".
Type de document :
Rapport
[Research Report] RR-8030, INRIA. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00721049
Contributeur : Albert Benveniste <>
Soumis le : jeudi 26 juillet 2012 - 14:35:15
Dernière modification le : jeudi 11 janvier 2018 - 06:21:34
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 03:43:54

Fichiers

RR-8030.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00721049, version 1

Citation

Albert Benveniste, Benoît Caillaud, Raclet Jean-Baptiste. Application of Interface Theories to the Separate Compilation of Synchronous Programs. [Research Report] RR-8030, INRIA. 2012. 〈hal-00721049〉

Partager

Métriques

Consultations de la notice

923

Téléchargements de fichiers

155