Sciweavers

WORDS
2003
IEEE
13 years 9 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
WORDS
2003
IEEE
13 years 9 months ago
Extending UML towards a Useful OO-Language for Modeling Dependability Features
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
M. Dal Cin
WORDS
2003
IEEE
13 years 9 months ago
Middleware Support for Multicast-based Data Dissemination: A Working Reality
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...
Panos K. Chrysanthis, Vincenzo Liberatore, Kirk Pr...
WORDS
2003
IEEE
13 years 9 months ago
Input-Dependency Analysis for Hard Real-Time Software
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...
Jan Gustafsson, Björn Lisper, Raimund Kirner,...
WORDS
2003
IEEE
13 years 9 months ago
An Adaptive Fault-Tolerant Component Model
This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
Joni da Silva Fraga, Frank Siqueira, Fábio ...
WORDS
2003
IEEE
13 years 9 months ago
Scalable Online Feasibility Tests for Admission Control in a Java Real-Time System
In the Komodo project a real-time Java system based on a multithreaded Java microcontroller has been developed. A main scheduling policy realized by hardware in the microcontroller...
Uwe Brinkschulte
WORDS
2003
IEEE
13 years 9 months ago
Application QoS-Based Time-Critical Automated Resource Management in Battle Management Systems
This paper summarizes some of our unclassified work on concepts and techniques for performing automated runtime time-critical resource management (especially scheduling) in large ...
E. Douglas Jensen
WORDS
2003
IEEE
13 years 9 months ago
Towards Composable Distributed Real-time and Embedded Software
Krishnakumar Balasubramanian, Nanbor Wang, Douglas...
WORDS
2003
IEEE
13 years 9 months ago
Practical Aspects of IP Take-Over Mechanisms
Transparent replication has been viewed as the holy grail of fault-tolerant computing. We discuss issues arising when using atomic broadcast to replicate services that are accesse...
Christof Fetzer, Neeraj Suri
WORDS
2003
IEEE
13 years 9 months ago
Security and Middleware
The security features of current middleware platforms, like Enterprise Java Beans and CORBA, are either simple and limited or complex and difficult to use. In both cases are the ...
Anders Andersen, Gordon S. Blair, Per Harald Myrva...