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
Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, 2010, 〈10.1007/978-3-642-15234-4_3〉
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00521339
Contributor : Lionel Morel <>
Submitted on : Monday, September 27, 2010 - 11:31:43 AM
Last modification on : Friday, December 22, 2017 - 11:22:11 AM
Document(s) archivé(s) le : Friday, December 2, 2016 - 9:38:17 AM

File

dahlin-lilius-morel-DIPES2010....
Files produced by the author(s)

Identifiers

Citation

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, 2010, 〈10.1007/978-3-642-15234-4_3〉. 〈hal-00521339〉

Share

Metrics

Record views

301

Files downloads

146