233 search results - page 4 / 47 » Model-based Middleware for Embedded Systems |
179
Voted
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
117
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
143
Voted
ECBS
2011
IEEE
14 years 27 days ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
88
Voted
ICFEM
2007
Springer
15 years 5 months ago
2007
Springer
