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 ...
140 views117 votes15 years 5 months ago ASIAN 2006»
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
106 views106 votes15 years 7 months ago ISORC 2007»
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
179 views140 votes15 years 6 months ago RTCSA 2003»
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
113 views114 votes15 years 3 months ago ECOOP 2006»
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...