42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems

Abstract : Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchronous, deterministic or not, detailed w.r.t. time or not, detailed w.r.t. data or not, etc. A lot of approaches, following Ptolemy, propose to define several ``Models of Computation and Communication'' (MoCCs) to deal with heterogeneity, and a framework in which they can be combined hierarchically. This paper presents the very first design of a component model for embedded systems called 42. We aim at expressing fine-grain timing aspects and several types of concurrency as MoCCs, but we require that all the MoCCs be ``programmed'' in terms of more basic primitives. 42 is meant to be an abstract description level, intended to be translated into an existing language (e.g., Lustre) for execution and property validation purposes.
Document type :
Conference papers
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00294153
Contributor : Florence Maraninchi <>
Submitted on : Tuesday, July 8, 2008 - 3:37:56 PM
Last modification on : Friday, July 6, 2018 - 10:08:02 AM
Long-term archiving on : Friday, May 28, 2010 - 11:16:59 PM

File

MaraninchiBouhadiba.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Florence Maraninchi, Tayeb Bouhadiba. 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems. 6th international conference on Generative programming and component engineering, Oct 2007, Salzburg, Austria. pp.53 - 62, ⟨10.1145/1289971.1289981⟩. ⟨hal-00294153⟩

Share

Metrics

Record views

650

Files downloads

94