2010 31st IEEE Real-Time Systems Symposium

30 Nov.-3 Dec. 2010

Filter Results

Displaying Results 1 - 25 of 47
  • [Front cover]

    Publication Year: 2010, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (66 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2010, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (85 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2010, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (153 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2010, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (113 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2010, Page(s):v - viii
    Request permission for commercial reuse | PDF file iconPDF (159 KB)
    Freely Available from IEEE
  • Message from the Chairs

    Publication Year: 2010, Page(s): ix
    Request permission for commercial reuse | PDF file iconPDF (96 KB) | HTML iconHTML
    Freely Available from IEEE
  • RTSS 2010 Organizers

    Publication Year: 2010, Page(s): x
    Request permission for commercial reuse | PDF file iconPDF (103 KB)
    Freely Available from IEEE
  • Technical Program Committees

    Publication Year: 2010, Page(s):xi - xii
    Request permission for commercial reuse | PDF file iconPDF (109 KB)
    Freely Available from IEEE
  • Other reviewers

    Publication Year: 2010, Page(s): xiii
    Request permission for commercial reuse | PDF file iconPDF (80 KB)
    Freely Available from IEEE
  • Supporting Soft Real-Time DAG-Based Systems on Multiprocessors with No Utilization Loss

    Publication Year: 2010, Page(s):3 - 13
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (716 KB) | HTML iconHTML

    In work on globally-scheduled real-time multiprocessor systems, analysis is lacking for supporting real-time applications developed using general processing graph models. In this paper, it is shown that bounded deadline tardiness can be ensured for such applications on a multiprocessor with no utilization loss. This result is general: it is applicable to periodic, sporadic, and rate-based directed... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers

    Publication Year: 2010, Page(s):14 - 24
    Cited by:  Papers (63)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (329 KB) | HTML iconHTML

    As multicore platforms become ever larger, overhead-related factors play a greater role in determining which real-time scheduling algorithms are preferable. In this paper, such factors are investigated through an empirical comparison of global, partitioned, and clustered EDF scheduling algorithms on a 24-core Intel system. On this platform, global EDF proved to be a non-viable choice for hard real... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • LLF Schedulability Analysis on Multiprocessor Platforms

    Publication Year: 2010, Page(s):25 - 36
    Cited by:  Papers (13)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (381 KB) | HTML iconHTML

    LLF (Least Laxity First) scheduling, which assigns a higher priority to a task with smaller laxity, has been known as an optimal preemptive scheduling algorithm on a single processor platform. However, its characteristics upon multiprocessor platforms have been little studied until now. Orthogonally, it has remained open how to efficiently schedule general task systems, including constrained deadl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules

    Publication Year: 2010, Page(s):37 - 46
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB) | HTML iconHTML

    We present a new approach to decrease task preemptions and migrations in optimal global real-time schedules on symmetric multiprocessors. Contrary to classical approaches, our method proceeds in two steps, one off-line to place jobs on intervals and one on-line to schedule them dynamically inside each interval. We propose a new linear programming formulation and a local scheduler which exhibits lo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimality Results for Multiprocessor Real-Time Locking

    Publication Year: 2010, Page(s):49 - 60
    Cited by:  Papers (43)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (319 KB) | HTML iconHTML

    When locking protocols are used in real-time systems, bounds on blocking times are required when ensuring timing constraints. While the term “blocking” is well-understood in the context of uniprocessor real-time systems, the same is not true in the multiprocessor case. In this paper, two definitions of blocking are presented that are applicable to suspension-based multiprocessor locking protocols.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bounding the Number of Self-Blocking Occurrences of SIRAP

    Publication Year: 2010, Page(s):61 - 72
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (510 KB) | HTML iconHTML

    This paper presents a new schedulability analysis for hierarchically scheduled real-time systems executing on a single processor using SIRAP, a synchronization protocol for inter subsystem task synchronization. We show that it is possible to bound the number of self-blocking occurrences that should be taken into consideration in the schedulability analysis of subsystems. Correspondingly, we presen... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

    Publication Year: 2010, Page(s):73 - 81
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (179 KB) | HTML iconHTML

    This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties

    Publication Year: 2010, Page(s):85 - 94
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (399 KB) | HTML iconHTML

    The problem of modeling and controlling resources in a system with interaction between hardware and software is considered. A model encompassing both hardware and software dynamics is developed together with an on-line estimation scheme in order reduce dependence on apriori information. A control structure is presented in order to control performance under constrained resource situations and to re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications

    Publication Year: 2010, Page(s):95 - 104
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (301 KB) | HTML iconHTML

    Time-triggered periodic control implementations are over provisioned for many execution scenarios in which the states of the controlled plants are close to equilibrium. To address this inefficient use of computation resources, researchers have proposed self-triggered control approaches in which the control task computes its execution deadline at runtime based on the state and dynamical properties ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Design Flow for Building Automation and Control Systems

    Publication Year: 2010, Page(s):105 - 116
    Cited by:  Papers (7)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1233 KB) | HTML iconHTML

    We propose a system-level design flow for building automation and control (BAC) systems. The input to the design flow is a high level description of the control algorithms given in a model-based environment such as Simulink. The input specification is translated into an intermediate format, and then automatically refined into a distributed implementation. Refinement includes optimal mapping of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fidelity-Aware Utilization Control for Cyber-Physical Surveillance Systems

    Publication Year: 2010, Page(s):117 - 126
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (641 KB) | HTML iconHTML

    Recent years have seen the growing deployments of Cyber-Physical Systems (CPSs) in many mission-critical applications such as security, civil infrastructure, and transportation. These applications often impose stringent requirements on system sensing fidelity and timeliness. However, existing approaches treat these two concerns in isolation and hence are not suitable for CPSs where system fidelity... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Prolonging Sensor Network Lifetime Through Wireless Charging

    Publication Year: 2010, Page(s):129 - 139
    Cited by:  Papers (121)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (416 KB) | HTML iconHTML

    The emerging wireless charging technology is a promising alternative to address the power constraint problem in sensor networks. Comparing to existing approaches, this technology can replenish energy in a more controllable manner and does not require accurate location of or physical alignment to sensor nodes. However, little work has been reported on designing and implementing a wireless charging ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal Schedules for Sensor Network Queries

    Publication Year: 2010, Page(s):140 - 149
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (848 KB) | HTML iconHTML

    We examine optimal strategies for querying a sensor network when energy efficiency and data freshness need to be balanced. We use statistical information about the nature of events monitored by the sensor network to develop good query schedules. For Poisson event arrivals, we develop an optimal scheduling strategy that is actually a periodic querying policy. For hyper exponential distribution of e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-Time Scheduling for WirelessHART Networks

    Publication Year: 2010, Page(s):150 - 159
    Cited by:  Papers (77)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (699 KB) | HTML iconHTML

    WirelessHART is an open wireless sensor-actuator network standard for industrial process monitoring and control that requires real-time data communication between sensor and actuator devices. Salient features of a WirelessHART network include a centralized network management architecture, multi-channel TDMA transmission, redundant routes, and avoidance of spatial reuse of channels for enhanced rel... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Quality Tradeoffs in Object Tracking with Duty-Cycled Sensor Networks

    Publication Year: 2010, Page(s):160 - 169
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (541 KB) | HTML iconHTML

    Extending the lifetime of wireless sensor networks requires energy-conserving operations such as duty-cycling. However, such operations may impact the effectiveness of high fidelity real-time sensing tasks, such as object tracking, which require high accuracy and short response times. In this paper, we quantify the influence of different duty-cycle schemes on the efficiency of bearings-only object... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Non-cyclic Recurring Real-Time Task Model

    Publication Year: 2010, Page(s):173 - 182
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (257 KB) | HTML iconHTML

    Formal models used for representing recurrent real-time processes have traditionally been characterized with a period parameter that specifies the minimum amount of time that may elapse between successive invocations of the process. However a recently proposed model called the non-cyclic GMF model has the distinctive feature that there need be no single period parameter characterizing the recurren... View full abstract»

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