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 ...
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...