167 views157 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 views111 votes15 years 6 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 views111 votes15 years 7 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 views110 votes15 years 6 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...
144 views86 votes14 years 11 months ago CORR 2010»
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 views127 votes15 years 6 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 views128 votes15 years 6 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 views103 votes15 years 6 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 views103 votes15 years 2 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...