Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
125 views110 votes15 years 7 months ago HICSS 2007»
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...
224 views125 votes15 years 8 months ago ECBS 2010»
—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...
—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 ...
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...
231 views113 votes15 years 1 months ago ENTCS 2006»
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
177 views126 votes15 years 6 months ago CBSE 2005»
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
197 views127 votes15 years 6 months ago ISORC 2005»
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...
271 views144 votes14 years 1 months ago ECBS 2011»
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...