On the partial translation of Lustre programs into the AltaRica language and vice versa

Abstract : Lustre (1984) and AltaRica (2000) are two languages used to describe critical systems. The first one is a data-flow programming language; and its main purpose is the writing of formally verified programs implemented on embedded hardware. The second language has been designed mainly for the modelling and the analysis of non-specific systems. These languages are supported by different toolboxes and software workbenches which motivates the development of translators between the two languages. In this report we describe a way to translate Lustre models into AltaRica ones (and vice versa). With some restrictions on the input model, the translation produces a model whose semantics is very closed to the original. This work has been granted by the CERT-ONERA in the context of the ISAAC European Project.
Type de document :
Pré-publication, Document de travail
RR-1415-06. 2006
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00349898
Contributeur : Gérald Point <>
Soumis le : lundi 5 janvier 2009 - 12:00:58
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16
Document(s) archivé(s) le : samedi 26 novembre 2016 - 04:26:55

Fichiers

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

Identifiants

  • HAL Id : hal-00349898, version 1

Collections

Citation

Gérald Point, Alain Griffault. On the partial translation of Lustre programs into the AltaRica language and vice versa. RR-1415-06. 2006. 〈hal-00349898〉

Partager

Métriques

Consultations de la notice

314

Téléchargements de fichiers

155