369 search results - page 3 / 74 » A Component Model Family for Vehicular Embedded Systems |
CSE
2009
IEEE
13 years 8 months ago
2009
IEEE
Software component techniques are widely used to enhance productivity and reduce the cost of software systems development. This paper proposes optimization of component connections...
EUROMICRO
2009
IEEE
13 years 11 months ago
2009
IEEE
One of the challenges in development of embedded systems is to cope with hardware and software components simultaneously. Often is their integration cumbersome due to their incomp...
CBSE
2006
Springer
13 years 8 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
EUROMICRO
2004
IEEE
13 years 8 months ago
2004
IEEE
We compare existing component technologies for embedded systems with respect to industrial requirements. The requirements are collected from the vehicular industry, but our findin...
IEEECIT
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...