By Topic

Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)

1-3 Dec. 1999

Filter Results

Displaying Results 1 - 25 of 42
  • Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054)

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (341 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1999, Page(s):371 - 372
    Request permission for commercial reuse | PDF file iconPDF (14 KB)
    Freely Available from IEEE
  • High-level modeling and analysis of TCAS

    Publication Year: 1999, Page(s):115 - 125
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    In this paper we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In particular, we focus our attention on the Traffic Alert and Collision Avoidance System (TCAS); an on-board conflict detection and resolution system which alerts pilots to the presence of nearby aircraft that pose a mid-air colli... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and analysis of soft real-time systems: quantity and quality

    Publication Year: 1999, Page(s):104 - 114
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary probability distributions to express delays of activities. The semantics of this process algebra is given in terms of stochastic automata, a variant of timed automata where clocks are initialised randomly and run b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-time garbage collection in multi-threaded systems on a single processor

    Publication Year: 1999, Page(s):277 - 278
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (20 KB)

    We show the difficulties that arise for the implementation of a real-time garbage collector (GC) in a multi-threaded system. A mechanism for synchronization between threads is proposed for a single processor system. It is shown how this mechanism can be used to maintain exact information on roots, to do incremental or even constant-time root-scanning and to allow pre-emption of GC activity View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Time based Linux for real-time NOWs and MPI/RT

    Publication Year: 1999, Page(s):220 - 221
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    The Real-Time Message Passing Interface (MPI/RT) is a communication layer middleware standard that is aimed at providing guaranteed Quality of Service for data transfers on high performance networks. It poses “middleout” requirements both on applications and on the operating system. In this paper, we consider the “middledown” issues by modifying a POSIX compliant operating ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Cooperative scheduling of multiple resources

    Publication Year: 1999, Page(s):90 - 101
    Cited by:  Papers (13)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    Obtaining simultaneous and timely access to multiple resources is known to be an NP-complete problem. Complete resource decoupling is, therefore, often used for managing end-to-end delays in distributed real-time system where each processor is scheduled independent of the others. This decoupling approach unfortunately fails when multiple resources must be managed within a single node. Resources su... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis of the impacts of overestimation sources on the accuracy of worst case timing analysis

    Publication Year: 1999, Page(s):22 - 31
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    To predict the worst case execution time (WCET) of real-time tasks, we should consider various factors (e.g., caching, pipelining, and infeasible paths) that affect the accuracy of the prediction. However some of them are inherently difficult to analyze statically, and thus may give rise to significant overestimation in WCET prediction. Therefore, for more accurate WCET prediction, we need to iden... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing a general real-time scheduling framework in the RED-Linux real-time kernel

    Publication Year: 1999, Page(s):246 - 255
    Cited by:  Papers (35)  |  Patents (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    Many scheduling paradigms have been studied for real-time applications and real-time communication network. Among them, the most commonly used paradigms include priority-driven, time-driven and share-driven paradigms. In this paper, we present a general scheduling framework which is designed to integrate these paradigms in one framework. The framework is implemented in our real-time extension of t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and implementation of statistical rate monotonic scheduling in KURT Linux

    Publication Year: 1999, Page(s):272 - 276
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (228 KB)

    We present the design and implementation of statistical rate monotonic scheduling (SRMS) on the KURT Linux operating system. We overview the technical issues we had to address to integrate SRMS into KURT Linux and present the API we have developed for scheduling periodic real-time tasks using SRMS View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for provisioning of temporal QoS in core-based multicast routing

    Publication Year: 1999, Page(s):168 - 178
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB)

    We develop and evaluate a set of member join/leave and state update/refresh procedures for QoS provisioning in core-based multicast routing with explicit member join and soft state refresh procedures. Specifically, in our prior work (Hung-Ying Tyan et al., 1999), we devised eligibility tests to verify whether or not a new member can join a multicast tree at adequate QoS while not violating the exi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A theory of rate-based execution

    Publication Year: 1999, Page(s):304 - 314
    Cited by:  Papers (45)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    We present a task model for the real-time execution of event-driven tasks in which no a priori characterization of the actual arrival rates of events is known; only the expected arrival rates of events is known. The model, called rate-bared execution (RBE), is a generalization of Mok's sporadic task model. The RBE model is motivated naturally by distributed multimedia and digital signal processing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IP security impact on system performance in a distributed real-time environment

    Publication Year: 1999, Page(s):218 - 219
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (40 KB)

    Information security in Naval shipboard platforms is becoming increasingly important with the move towards distributed computing, increased automation, and Commercial Off The Shelf (COTS) systems. Additionally, there are hard real-time requirements that must be met in a combat system, which is a critical component of the total shipboard platform. Information security services and real-time service... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal reward-based scheduling of periodic real-time tasks

    Publication Year: 1999, Page(s):79 - 89
    Cited by:  Papers (32)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (220 KB)

    Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and an optional part, with which a nondecreasing reward function is associated. Imprecise Computation and Increased-Reward-with-Increased-Service models fall within the scope of this framework. In this paper we address the rew... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timing anomalies in dynamically scheduled microprocessors

    Publication Year: 1999, Page(s):12 - 21
    Cited by:  Papers (98)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    Previous timing analysis methods have assumed that the worst-case instruction execution time necessarily corresponds to the worst-case behavior. We show that this assumption is wrong in dynamically scheduled processors. A cache miss, for example, can in some cases result in a shorter execution time than a cache hit. Many examples of such timing anomalies are provided. We first provide necessary co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System-level issues for software thread integration: guest triggering and host selection

    Publication Year: 1999, Page(s):234 - 245
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (124 KB)

    Software thread integration provides low-cost concurrency on general-purpose processors by automatically interleaving multiple threads of control into one. This simplifies hardware to software migration and can help embedded system designers meet design constraints. Previous work describes how to efficiently integrate threads. In this paper we demonstrate how to link trigger events with guest thre... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing the temporal behavior of real-time tasks using extended evolutionary algorithms

    Publication Year: 1999, Page(s):270 - 271
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (24 KB)

    For real-time systems, correct system functionality depends on logical as well as on temporal correctness. Static analysis alone is not sufficient to verify the temporal behavior of real-time systems. Since existing test methods are not specialized for the verification of temporal correctness, we have developed a new testing method, namely evolutionary testing. This paper illustrates results of th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Efficient delay computation methods for an ATM network with real-time video traffic

    Publication Year: 1999, Page(s):190 - 199
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (152 KB)

    Consider a real time communication application running on top of an ATM network; we require the connection to provide a transmission guarantee for the real time service. Such transmission guarantee can only be possible if there exists an absolute and deterministic worst case delay bound on all the ATM cells within the real time connection. We present our approach in finding this worst case cell de... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploiting precedence relations in the schedulability analysis of distributed real-time systems

    Publication Year: 1999, Page(s):328 - 339
    Cited by:  Papers (39)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (232 KB)

    In this paper we present improved techniques for the schedulability analysis of tasks with precedence relations in multiprocessor and distributed systems scheduled under a pre-emptive fixed priority scheduler. Recently developed techniques, based on the analysis of tasks with dynamic offsets, take into account the precedence relations between tasks only indirectly, through terms iteratively estima... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On scheduling tasks in reliable real-time control systems

    Publication Year: 1999, Page(s):164 - 165
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    Feedback control is one of the most common applications of real time systems. However, the design of controller frequencies, task scheduling and reliability engineering are often done separately, resulting in suboptimal results. The article provides an overview of an integrated approach to reliable real time controller design by optimizing the system control performance subject to schedulability a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pfair scheduling of fixed and migrating periodic tasks on multiple resources

    Publication Year: 1999, Page(s):294 - 303
    Cited by:  Papers (30)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (160 KB)

    This paper concerns the problem of scheduling sets of preemptable, periodic tasks on multiple resources. We consider a task model that allows arbitrary mixes of fixed and migratable tasks, and prove the existence of an optimal pfair scheduler in this model. Fixed tasks must always be scheduled on a given resource, while migratable tasks can be scheduled on different resources at different times. A... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HoneyWEB: embedded web-based control applications

    Publication Year: 1999, Page(s):214 - 217
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    High performance monitoring and control of real-time environments over the Internet is of importance to many users. The general public, as well as professionals, desires the ability to remotely acquire real-time information at their fingertips. This paper presents a smart network design for real-time data acquisition. A streamlined web server designed specifically for embedded applications produce... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enabling deadline scheduling for Java real-time computing

    Publication Year: 1999, Page(s):152 - 153
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (28 KB)

    We present a scheduling architecture that enables the implementation of deadline based scheduling policies. The architecture is used to give real time capabilities to a custom Java virtual machine. This framework retains a clear separation between generic kernel mechanisms and upper level scheduling classes. A pure earliest deadline first algorithm can be implemented, but enhanced policies such as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • New results on fixed priority aperiodic servers

    Publication Year: 1999, Page(s):68 - 78
    Cited by:  Papers (30)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (172 KB)

    The issue of using the sporadic server (SS) for scheduling aperiodic tasks has received new attention under the POSIX standard as it has been proposed in P1003.1 d, the additional real-time extensions to POSIX. The SS has been traditionally considered a better approach to the deferrable server (DS) due to its supposed higher achievable utilisation. However, SS also has higher implementation comple... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the use of formal techniques for analyzing dependable real-time protocols

    Publication Year: 1999, Page(s):126 - 135
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (292 KB)

    The effective design of composite dependable and real time protocols entails demonstrating their proof of correctness and, in practice, the efficient delivery of services. We focus on these aspects of correctness and efficiency, specifically considering the real time aspects where the need is to ensure satisfaction of stringent timing and operational constraints. We establish the use of mathematic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.