Skip to Main content Skip to Navigation
Conference papers

Rialto 2.0: A Language for Heterogeneous Computations

Johan Lilius 1 Andreas Dahlin 1 Lionel Morel 2
2 AMAZONES - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download
Contributor : Lionel Morel <>
Submitted on : Monday, September 27, 2010 - 11:31:43 AM
Last modification on : Wednesday, July 8, 2020 - 12:42:42 PM
Long-term archiving on: : Friday, December 2, 2016 - 9:38:17 AM


Files produced by the author(s)



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⟩



Record views


Files downloads