1784 search results - page 18 / 357 » Formal Models for Embedded System Design |
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
IEEECIT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
14 years 2 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...