Compilation Modulaire d'un Langage Synchrone

Résumé : Dans cet article, nous étudions la compilation modulaire de programmes synchrones impératifs. Nous nous appuyons sur des méthodes formelles pour compiler et valider les applications spécifiées. Nous avons défini et implémenté un langage dédié (LE) et sa sémantique équationnelle qui permet la compilation modulaire des programmes vers différentes cibles logicielles et matérielles (code C, code Vhdl, synthétiseurs fpga, format d'entr\ée d'outils de vérification, ...). Nous montrons que cette sémantique est correcte et nous introduisons un algorithme pour vérifier la causalité qui respecte notre approche modulaire. En nous appuyant sur cette approche formelle, nous avons réalisé une boite à outils pour compiler et vérifier des applications réactives synchrones.
Type de document :
Article dans une revue
Revue des sciences et technologies de l'information, série Théorie et Science Informatique, 2011, Application des méthodes formelles à l'analyse statique et la compilation, 4 (30), pp.441-471
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00524499
Contributeur : Annie Ressouche <>
Soumis le : vendredi 8 octobre 2010 - 09:11:32
Dernière modification le : lundi 18 juin 2018 - 23:10:04
Document(s) archivé(s) le : lundi 10 janvier 2011 - 11:38:30

Fichier

RessoucheGaffe_TSI_24-03-2010....
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00524499, version 1

Collections

Citation

Annie Ressouche, Daniel Gaffé. Compilation Modulaire d'un Langage Synchrone. Revue des sciences et technologies de l'information, série Théorie et Science Informatique, 2011, Application des méthodes formelles à l'analyse statique et la compilation, 4 (30), pp.441-471. 〈inria-00524499〉

Partager

Métriques

Consultations de la notice

344

Téléchargements de fichiers

230