Sciweavers

RTCSA
1999
IEEE
14 years 24 days ago
Scheduling a Steel Plant with Timed Automata
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
Ansgar Fehnker
RTCSA
1999
IEEE
14 years 24 days ago
Pipeline Timing Analysis Using a Trace-Driven Simulator
In this paper we present a technique for Worst-Case Execution Time WCET analysis for pipelined processors. Our technique uses a standard simulator instead of special-purpose pipel...
Jakob Engblom, Andreas Ermedahl
RTCSA
1999
IEEE
14 years 24 days ago
A Matlab Toolbox for Real-Time and Control Systems Co-Design
The paper presents a Matlab toolbox for simulation of real-time control systems. The basic idea is to simulate a real-time kernel in parallel with continuous plant dynamics. The t...
Johan Eker, Anton Cervin
RTCSA
1999
IEEE
14 years 24 days ago
An Adaptive Thin-Client Robot Control Architecture
This paper describes an architecture and runtime system to implement distributed control and data processing applications in a thin-client manner, suitable for implementing a thin...
Tim Edmonds, Steve Hodges, Andy Hopper
RTCSA
1999
IEEE
14 years 24 days ago
Scheduling Periodic Task Systems to Minimize Output Jitter
Sanjoy K. Baruah, Giorgio C. Buttazzo, Sergey Gori...
RTCSA
1999
IEEE
14 years 24 days ago
Incorporating Error Recovery into the Imprecise Computation Model
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
Hakan Aydin, Rami G. Melhem, Daniel Mossé
RTCSA
1999
IEEE
14 years 24 days ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
RTCSA
1999
IEEE
14 years 24 days ago
Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
Byung-Kyu Choi, Riccardo Bettati
RTCSA
1999
IEEE
14 years 24 days ago
Scheduling Fault-Tolerant Distributed Hard Real-Time Tasks Independently of the Replication Strategies
Replication is a well-know fault-tolerance technique, and several replication strategies exist (e.g. active, passive, and semi-active replication). To be used in hard real-time sy...
Pascal Chevochot, Isabelle Puaut