Rialto 2.0: A Language for Heterogeneous Computations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Rialto 2.0: A Language for Heterogeneous Computations

Résumé

Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In this paper we present Rialto, a formal language intended at expressing computations in several MoCCs. The distinguishing features of Rialto and its implementation are 1) A formal semantics: the language is formalized using SOS (structured operational semantics) rules; 2) Encapsulation of models of computation into policies: we thus distinguish between the syntactic elements of the language (parallelism, interrupts) and its semantics; 3) efficient implementation algorithms. Policies are expressed in the language itself, which allows for more expressive power and a sounder semantics.
Fichier principal
Vignette du fichier
dahlin-lilius-morel-DIPES2010.pdf (258.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00521339 , version 1 (27-09-2010)

Identifiants

Citer

Johan Lilius, Andreas Dahlin, Lionel Morel. Rialto 2.0: A Language for Heterogeneous Computations. Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩. ⟨hal-00521339⟩
216 Consultations
114 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More