Sciweavers

379 search results - page 1 / 76
» Using Software Component Models and Services in Embedded Rea...
Sort
View
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
13 years 11 months ago
Using Software Component Models and Services in Embedded Real-Time Systems
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...
Frank Lüders, Shoaib Ahmad, Faisal Khizer, Gu...
CBSE
2006
Springer
13 years 8 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...
ISORC
2005
IEEE
13 years 10 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
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...
Zonghua Gu, Kang G. Shin
EUROMICRO
2009
IEEE
13 years 8 months ago
Formal Semantics of the ProCom Real-Time Component Model
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlso...
EUROMICRO
2011
IEEE
12 years 4 months ago
Towards Heterogeneous Composition of Distributed Real-Time and Embedded (DRE) Systems Using the CORBA Component Model
—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 ...
James H. Hill