167 views162 votes15 years 5 months ago CBSE 2006»
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...
127 views119 votes15 years 7 months ago RTAS 2005»
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
103 views117 votes15 years 8 months ago RTCSA 2006»
From a real-time perspective, the Garbage Collector (GC) introduces unpredictable pauses that are not tolerated by real-time tasks. Real-time collectors eliminate this problem but...
110 views115 votes15 years 7 months ago ECRTS 2003»
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
124 views132 votes15 years 7 months ago ISORC 2005»
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
158 views141 votes15 years 7 months ago CBSE 2004»
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
162 views106 votes15 years 7 months ago NIME 2004»
Auracle is a “group instrument,” controlled by the voice, for real-time, interactive, distributed music making over the Internet. It is implemented in the JavaTM programming l...
154 views111 votes15 years 3 months ago SNPD 2008»
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...