252 search results - page 3 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
ECBS
2010
IEEE
14 years 3 days ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
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 ...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
RTAS
2005
IEEE
13 years 10 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...