On the partial translation of Lustre programs into the AltaRica language and vice versa - Archive ouverte HAL
Preprints, Working Papers, ... Year : 2006

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.
Fichier principal
Vignette du fichier
RR-1415-06.pdf (218.34 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00349898 , version 1

Cite

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
273 View
123 Download

Share

More