139 search results - page 2 / 28 » Modeling and Validating Distributed Embedded Real-Time Syste... |
EUROMICRO
2011
IEEE
12 years 5 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...
ECBS
2011
IEEE
12 years 5 months 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 ...
RTAS
2000
IEEE
13 years 9 months ago
2000
IEEE
UML
2004
Springer
13 years 10 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
DATE
2004
IEEE
13 years 9 months 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...