151 search results - page 5 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
HICSS
2007
IEEE
14 years 3 days ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
ECBS
2010
IEEE
14 years 19 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