877 search results - page 48 / 176 » Middleware for real-time and embedded systems |
ICEBE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Service-oriented architecture (SOA) provides the flexibility of dynamically composing business processes in enterprise computing. However, they must be enhanced to support real...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CSREAESA
2006
13 years 10 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
DATE
2004
IEEE
14 years 13 days ago
2004
IEEE
Designing cost-sensitive real-time control systems for safetycritical applications requires a careful analysis of the cost/coverage trade-offs of fault-tolerant solutions. This fu...
RTAS
2007
IEEE
14 years 3 months ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...