233 search results - page 29 / 47 » A Middleware for Model-Based Embedded Systems |
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
As chip complexity grows, design productivity boost is expected from reuse of large parts and blocks of previous designs with the design effort largely invested into the new parts...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
SEUS
2009
IEEE
14 years 2 months ago
2009
IEEE
Publish-subscribe-query information broker middleware offers great promise to users of pervasive computing systems requiring access to information. However, users of publish-subscr...
DAIS
2006
13 years 9 months ago
2006
Dynamic resource management is a crucial part of the infrastructure for emerging mission-critical distributed real-time embedded system. Because of this, the resource manager must ...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...