On the partial translation of Lustre programs into the AltaRica language and vice versa - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2006

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

Résumé

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.
Fichier principal
Vignette du fichier
RR-1415-06.pdf (218.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00349898 , version 1 (05-01-2009)

Identifiants

  • HAL Id : hal-00349898 , version 1

Citer

Gérald Point, Alain Griffault. On the partial translation of Lustre programs into the AltaRica language and vice versa. 2006. ⟨hal-00349898⟩

Collections

CNRS TDS-MACS
281 Consultations
128 Téléchargements

Partager

More