Sciweavers

3256 search results - page 63 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
TII
2008
77views more  TII 2008»
15 years 3 months ago
The One-Shot Task Model for Robust Real-Time Embedded Control Systems
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
Camilo Lozoya, Manel Velasco, Pau Martí
SEUS
2007
IEEE
15 years 9 months ago
A Framework for Hardware-in-the-Loop Testing of an Integrated Architecture
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
Martin Schlager, Roman Obermaisser, Wilfried Elmen...
DAC
2005
ACM
16 years 4 months ago
Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs
We propose two novel integration techniques -- bypass and bookkeeping -- in the memory controller to address the cache coherence compatibility issue of a non-shared bus heterogene...
Taeweon Suh, Daehyun Kim, Hsien-Hsin S. Lee
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 6 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
WETICE
2007
IEEE
15 years 9 months ago
An Extensible Co-browsing Environment with Conference Support
1 This paper presents a proposal for integrating CoLab, our co-browsing system, with an audioconference controller. In order to integrate these two applications, we adopted the int...
Christopher Viana Lima, Roberto Willrich, Roberta ...