Model-driven High-level Programming of Embedded Systems: Selected papers from SLA++P'07 and SLA++P'08
-
Citation: EURASIP Journal on Embedded Systems 2009 2008:376920
-
Embedded Systems Programming: Accessing Databases from Esterel
A current limitation in embedded controller design and programming is the lack of database support in development tools such as Esterel Studio. This article proposes a way of integrating databases and Esterel ...
Citation: EURASIP Journal on Embedded Systems 2009 2008:961036 -
SoC Design Approach Using Convertibility Verification
Compositional design of systems on chip from preverified components helps to achieve shorter design cycles and time to market. However, the design process is affected by the issue of protocol mismatches, where...
Citation: EURASIP Journal on Embedded Systems 2008 2008:296206 -
Formal Analysis Tools for the Synchronous Aspect Language Larissa
We present two tools for the formal analysis of the aspect language Larissa, which extends the simple synchronous language Argos. The first tool concerns the combination of design-by-contract with Larissa aspe...
Citation: EURASIP Journal on Embedded Systems 2008 2008:310147 -
Compilation and Worst-Case Reaction Time Analysis for Multithreaded Esterel Processing
The recently proposed reactive processing architectures are characterized by instruction set architectures (ISAs) that directly support reactive control fow including concurrency and preemption. These architectur...
Citation: EURASIP Journal on Embedded Systems 2008 2008:594129 -
Lutin: A Language for Specifying and Executing Reactive Scenarios
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infinite sequence of input/output re...
Citation: EURASIP Journal on Embedded Systems 2008 2008:753821