By Topic

Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010 16th IEEE

Date 12-15 April 2010

Filter Results

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

    Publication Year: 2010 , Page(s): C1
    Request Permissions | PDF file iconPDF (174 KB)  
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2010 , Page(s): i
    Request Permissions | PDF file iconPDF (10 KB)  
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2010 , Page(s): iii
    Request Permissions | PDF file iconPDF (49 KB)  
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2010 , Page(s): iv
    Request Permissions | PDF file iconPDF (104 KB)  
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2010 , Page(s): v - viii
    Request Permissions | PDF file iconPDF (158 KB)  
    Freely Available from IEEE
  • Message from the Program Chair

    Publication Year: 2010 , Page(s): ix
    Request Permissions | PDF file iconPDF (65 KB) |  | HTML iconHTML  
    Freely Available from IEEE
  • Conference organizers

    Publication Year: 2010 , Page(s): x
    Request Permissions | PDF file iconPDF (80 KB)  
    Freely Available from IEEE
  • Technical Program Committees

    Publication Year: 2010 , Page(s): xi - xii
    Request Permissions | PDF file iconPDF (72 KB)  
    Freely Available from IEEE
  • list-reviewer

    Publication Year: 2010 , Page(s): xiii - xiv
    Request Permissions | PDF file iconPDF (52 KB)  
    Freely Available from IEEE
  • Scheduling Self-Suspending Real-Time Tasks with Rate-Monotonic Priorities

    Publication Year: 2010 , Page(s): 3 - 12
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (960 KB) |  | HTML iconHTML  

    Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NP-hard in the strong sense. We observe that a variation of the problem statement that includes sporadic tasks instead of periodic tasks results in a simple characterization of the critical scheduling instant. This in turn leads to an exact characterization of the critical instant for self-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards the Design of Certifiable Mixed-criticality Systems

    Publication Year: 2010 , Page(s): 13 - 22
    Cited by:  Papers (49)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (359 KB) |  | HTML iconHTML  

    Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different certification authorities. Certification requirements in such "mixed-criticality" systems give rise to some interesting scheduling problems, that cannot be satisfactorily addressed using techniques from conventional schedu... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling Suspendable, Pipelined Tasks with Non-Preemptive Sections in Soft Real-Time Multiprocessor Systems

    Publication Year: 2010 , Page(s): 23 - 32
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1147 KB) |  | HTML iconHTML  

    While most prior work on multiprocessor real-time scheduling focuses on independent tasks, dependencies due to non-preemptive sections, suspensions, and pipeline-based precedence constraints are common in practice. In this paper, such complexities are considered in the context of the global earliest-deadline-first scheduling algorithm. It is shown that any periodic task system with such dependenci... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Defects of the POSIX Sporadic Server and How to Correct Them

    Publication Year: 2010 , Page(s): 35 - 45
    Cited by:  Papers (4)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (394 KB) |  | HTML iconHTML  

    The specification of the sporadic server real-time scheduling policy in the IEEE POSIX standard is defective, and needs to be corrected. Via experiments using a POSIX sporadic server implementation under Linux, as well as simulations, we have shown and confirmed previously unreported defects. We propose and demonstrate a corrected sporadic server formulation that eliminates these defects without c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reservation-Based Interrupt Scheduling

    Publication Year: 2010 , Page(s): 46 - 55
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (355 KB) |  | HTML iconHTML  

    Some real-time kernels (such as a recent real-time version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on real-time applications. However, from the stand-point of real-time analysis, such threads are challenging and cannot be dealt with in the traditional ways. Furthermore, the application of traditional scheduling solutions (such as fixed pri... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Improved Task Management Techniques for Enforcing EDF Scheduling on Recurring Tasks

    Publication Year: 2010 , Page(s): 56 - 65
    Cited by:  Papers (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (593 KB) |  | HTML iconHTML  

    The management of tasks is an essential requirement in most real-time and embedded systems, but invariably leads to unwanted CPU overheads. This paper is concerned with task management in real-time and embedded systems employing the Earliest Deadline First (EDF) scheduling algorithm. Currently, the best known techniques to manage EDF scheduling lead to overheads with complexity O(log n), where n i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems

    Publication Year: 2010 , Page(s): 69 - 78
    Cited by:  Papers (8)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (1671 KB) |  | HTML iconHTML  

    Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality for service (QoS) properties, such as real-timeliness and fault tolerance. This paper makes three contributions to the study of deployment and configuration middleware for DRE systems that satisfy multiple QoS properties.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Embedded Virtual Machines for Robust Wireless Control and Actuation

    Publication Year: 2010 , Page(s): 79 - 88
    Cited by:  Papers (3)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (652 KB) |  | HTML iconHTML  

    Embedded wireless networks have largely focused on open-loop sensing and monitoring. To address actuation in closed-loop wireless control systems there is a strong need to re-think the communication architectures and protocols for reliability, coordination and control. As the links, nodes and topology of wireless systems are inherently unreliable, such time-critical and safety-critical application... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Task Mapping and Bandwidth Reservation for Mixed Hard/Soft Fault-Tolerant Embedded Systems

    Publication Year: 2010 , Page(s): 89 - 98
    Cited by:  Papers (9)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (525 KB) |  | HTML iconHTML  

    In this paper we are interested in mixed hard/soft real-time fault-tolerant applications mapped on distributed heterogeneous architectures. We use the Earliest Deadline First (EDF) scheduling for the hard real-time tasks and the Constant Bandwidth Server (CBS) for the soft tasks. The bandwidth reserved for the servers determines the quality of service (QoS) for soft tasks. CBS enforces temporal is... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Energy-optimal Batching Periods for Asynchronous Multistage Data Processing on Sensor Nodes: Foundations and an mPlatform Case Study

    Publication Year: 2010 , Page(s): 101 - 110
    Cited by:  Patents (1)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (598 KB) |  | HTML iconHTML  

    This paper derives energy-optimal batching periods for asynchronous multistage data processing on sensor nodes in the sense of minimizing energy consumption while meeting end-to-end deadlines. Batching the processing of (sensor) data maximizes processor sleep periods, hence minimizing the wakeup frequency and the corresponding overhead. The algorithm is evaluated on mPlatform, a next-generation he... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Feedback Thermal Control for Real-time Systems

    Publication Year: 2010 , Page(s): 111 - 120
    Cited by:  Papers (12)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (743 KB) |  | HTML iconHTML  

    Thermal control is crucial to real-time systems as excessive processor temperature can cause system failure or unacceptable performance degradation due to hardware throttling. Real-time systems face significant challenges in thermal management as they must avoid processor overheating while still delivering desired real-time performance. Furthermore, many real-time systems must handle a broad range... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DFR-EDF: A Unified Energy Management Framework for Real-Time Systems

    Publication Year: 2010 , Page(s): 121 - 130
    Cited by:  Papers (5)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (406 KB) |  | HTML iconHTML  

    Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) techniques form the basis of numerous energy management schemes proposed for real-time embedded systems. DVS targets reducing the dynamic CPU energy consumption, while DPM attempts to reduce theenergy consumption of idle devices by putting them to low-power states over sufficiently long intervals. It is imperative that the system-wid... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a Reliable Communication System for Grid-Style Traffic Light Networks

    Publication Year: 2010 , Page(s): 133 - 142
    Request Permissions | Click to expandAbstract | PDF file iconPDF (288 KB) |  | HTML iconHTML  

    This paper presents the design and analyzes the performance of a reliable communication scheme for the traffic control system built upon a wireless process control protocol, aiming at enhancing the robustness and timeliness of the safety-critical control applications. By exploiting the slot-based predictable access and the grid topology of urban area road networks, the proposed scheme establishes ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions

    Publication Year: 2010 , Page(s): 143 - 152
    Cited by:  Papers (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (569 KB) |  | HTML iconHTML  

    Providing integrity, efficiency, and performance guarantees is a key challenge in the development of next-generation cyberphysical systems. Rather than mandating complete system verification, the Simplex Architecture provides robust designs by incorporating a supervisory controller that takes corrective action only when the system is in danger of violating a desired invariant property such as safe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using PCM in Next-generation Embedded Space Applications

    Publication Year: 2010 , Page(s): 153 - 162
    Cited by:  Papers (15)  |  Patents (2)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (561 KB) |  | HTML iconHTML  

    Dynamic RAM (DRAM) has been the best technology for main memory for over thirty years. In embedded space applications, radiation hardened DRAM is needed because gamma rays cause transient errors; such rad-hard memories are extremely expensive and power hungry, leading to lower life (or increased battery weight) for satellite and other devices operating in space. Despite these problems, DRAM has be... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound

    Publication Year: 2010 , Page(s): 165 - 174
    Cited by:  Papers (26)
    Request Permissions | Click to expandAbstract | PDF file iconPDF (523 KB) |  | HTML iconHTML  

    Liu and Layland discovered the famous utilization bound for fixed-priority scheduling on single processor systems in the 1970's. Since then, it has been a long standing open problem to find fixed-priority scheduling algorithms with the same bound for multiprocessor systems. In this paper, we present a partitioning-based fixed-priority multiprocessor scheduling algorithm with Liu and Layland's util... View full abstract»

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