Synchronous Paradigm in Embedded Systems
Citation:
EURASIP Journal on Embedded Systems
2007
2007:032903
Synchronous Paradigm in Embedded Systems
-
-
Formal Methods for Scheduling of Latency-Insensitive Designs
Latency-insensitive design (LID) theory was invented to deal with SoC timing closure issues, by allowing arbitrary fixed integer latencies on long global wires. Latencies are coped with using a resynchronization
Citation: EURASIP Journal on Embedded Systems 2007 2007:039161 -
Removing Cycles in Esterel Programs
Esterel belongs to the family of synchronous programming languages, which are affected by cyclic signal dependencies. This prohibits a static scheduling, limiting the choice of available compilation techniques...
Citation: EURASIP Journal on Embedded Systems 2007 2007:048979 -
A Domain-Specific Language for Multitask Systems, Applying Discrete Controller Synthesis
We propose a simple programming language, called Nemo, specific to the domain of multitask real-time control systems, such as in robotic, automotive, or avionics systems. It can be used to specify a set of res...
Citation: EURASIP Journal on Embedded Systems 2007 2007:084192 -
Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation
The design of safety critical embedded systems has become a complex task, which requires both appropriate language features and efficient validation techniques. In this work, we propose the introduction of arr...
Citation: EURASIP Journal on Embedded Systems 2007 2007:059130 -
Code Generation in the Columbia Esterel Compiler
The synchronous language Esterel provides deterministic concurrency by adopting a semantics in which threads march in step with a global clock and communicate in a very disciplined way. Its expressive power co...
Citation: EURASIP Journal on Embedded Systems 2007 2007:052651