2017 IEEE Real-Time Systems Symposium (RTSS)

5-8 Dec. 2017

Filter Results

Displaying Results 1 - 25 of 55
  • [Title page i]

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

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

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

    Publication Year: 2017, Page(s):5 - 10
    Request permission for commercial reuse | PDF file iconPDF (119 KB)
    Freely Available from IEEE
  • Message from the Chairs

    Publication Year: 2017, Page(s):11 - 12
    Request permission for commercial reuse | PDF file iconPDF (94 KB) | HTML iconHTML
    Freely Available from IEEE
  • Conference Organizers

    Publication Year: 2017, Page(s):13 - 14
    Request permission for commercial reuse | PDF file iconPDF (122 KB)
    Freely Available from IEEE
  • Program Committee

    Publication Year: 2017, Page(s):15 - 16
    Request permission for commercial reuse | PDF file iconPDF (141 KB)
    Freely Available from IEEE
  • Reviewers

    Publication Year: 2017, Page(s):17 - 18
    Request permission for commercial reuse | PDF file iconPDF (82 KB)
    Freely Available from IEEE
  • Abstract PRET Machines

    Publication Year: 2017, Page(s):1 - 11
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (186 KB) | HTML iconHTML

    Prior work has shown that it is possible to design microarchitectures called PRET machines that deliver precise and repeatable timing of software execution without sacrificing performance. That prior work provides specific designs for PRET microarchitectures and compares them against conventional designs. This paper defines a class of microarchitectures called abstract PRET machines (APMs) that ca... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Exact and Sustainable Analysis of Non-preemptive Scheduling

    Publication Year: 2017, Page(s):12 - 23
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2476 KB) | HTML iconHTML

    This paper provides an exact and sustainable schedulability test for a set of non-preemptive jobs scheduled with a fixed-job-priority (FJP) policy upon a uniprocessor. Both classic work-conserving and recent non-work-conserving schedulers are supported. Jobs may exhibit both release jitter and execution time variation. Both best- and worst-case response time bounds are derived. No prior response-t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sustainability in Mixed-Criticality Scheduling

    Publication Year: 2017, Page(s):24 - 33
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (223 KB) | HTML iconHTML

    Sustainability is a formalization of the requirement for scheduling algorithms and schedulability tests that a system deemed to be correctly schedulable should remain so if its run-time behavior is better than anticipated. The notion of sustainability is extended to mixed-criticality systems, and sustainability properties are determined for a variety of widely-studied uniprocessor and multi-proces... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Regular Composite Resource Partition in Open Systems

    Publication Year: 2017, Page(s):34 - 44
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (331 KB) | HTML iconHTML

    In open systems, no global scheduler has knowledge of the complete resource requirements from all the applications. Each application has its own task group and can generate tasks on demand at run time. Regularity-based Resource Partition (RRP) model is an effective strategy to hierarchically allocate resource in such environments. However, when applying the RRP model to multi-resource environments... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Network Scheduling for Secure Cyber-Physical Systems

    Publication Year: 2017, Page(s):45 - 55
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (627 KB) | HTML iconHTML

    Existing design techniques for providing security guarantees against network-based attacks in cyber-physical systems (CPS) are based on continuous use of standard cryptographic tools to ensure data integrity. This creates an apparent conflict with common resource limitations in these systems, given that, for instance, lengthy message authentication codes (MAC) introduce significant overheads. We p... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Temporal Capabilities: Access Control for Time

    Publication Year: 2017, Page(s):56 - 67
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (314 KB) | HTML iconHTML

    Embedded systems are increasingly required to handle code of various qualities that must often be isolated, yet predictably share resources. This has motivated the isolation of, for example, mission-critical code from best-effort features using isolation structures such as virtualization. Such systems usually focus on limiting interference between subsystems, which complicates the increasingly com... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems

    Publication Year: 2017, Page(s):68 - 79
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (417 KB) | HTML iconHTML

    The current simulation tools used in the automotive industry do not correctly model timing behaviors of cyber-systems such as varying execution times and preemptions. Thus, they cannot correctly predict the real control performance. Motivated by this limitation, this paper proposes functionally and temporally correct simulation for the cyber-side of an automotive system. The key idea is to keep th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors

    Publication Year: 2017, Page(s):80 - 91
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (975 KB) | HTML iconHTML

    Federated scheduling is a promising approach to schedule parallel real-time tasks on multi-cores, where each heavy task exclusively executes on a number of dedicated processors, while light tasks are treated as sequential sporadic tasks and share the remaining processors. However, federated scheduling suffers resource waste since a heavy task with processing capacity requirement x+epsilon (where x... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

    Publication Year: 2017, Page(s):92 - 103
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (364 KB) | HTML iconHTML

    OpenMP is a promising framework for developing parallel real-time software on multi-cores. Although similar to the DAG task model, OpenMP task systems are significantly more difficult to analyze due to constraints posed by the OpenMP specification. An important feature in OpenMP is tied tasks, which must execute on the same thread during the whole life cycle. Although tied tasks enjoy benefits in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed

    Publication Year: 2017, Page(s):104 - 115
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (560 KB) | HTML iconHTML

    The push towards fielding autonomous-driving capabilities in vehicles is happening at breakneck speed. Semi-autonomous features are becoming increasingly common, and fully autonomous vehicles are optimistically forecast to be widely available in just a few years. Today, graphics processing units (GPUs) are seen as a key technology in this push towards greater autonomy. However, realizing full auto... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Virtual Deadline Based Optimization Algorithm for Priority Assignment in Fixed-Priority Scheduling

    Publication Year: 2017, Page(s):116 - 127
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (497 KB) | HTML iconHTML

    This paper considers the problem of design optimization for real-time systems scheduled with fixed priority, where task priority assignment is part of the decision variables, and the timing constraints and/or objective function linearly depend on the exact value of task response times (such as end-to-end deadline constraints). The complexity of response time analysis techniques makes it difficult ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Analysis Techniques for Supporting Hard Real-Time Sporadic Gang Task Systems

    Publication Year: 2017, Page(s):128 - 138
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (315 KB) | HTML iconHTML

    This paper studies the problem of scheduling hard real-time sporadic gang task systems under global earliest-deadline-first, where a gang application's threads need to be concurrently scheduled on distinct processors. A novel approach combining new lag-based reasoning and executing/non-executing gang interval analysis technique is introduced, which is able to characterize the parallelisminduced id... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard

    Publication Year: 2017, Page(s):139 - 146
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (217 KB) | HTML iconHTML

    We study the computational complexity of the FP-schedulability problem for sporadic or synchronous periodic tasks on a preemptive uniprocessor. We show that this problem is (weakly) NP-hard, even when restricted to either (i) task sets with implicit deadlines and rate-monotonic priority ordering, or (ii) task sets with constrained deadlines, deadline-monotonic priority ordering and utilization bou... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Awakening Power of Physical Layer: High Precision Time Synchronization for Industrial Ethernet

    Publication Year: 2017, Page(s):147 - 156
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (612 KB) | HTML iconHTML

    High-precision time synchronization is critical for nowadays industrial Ethernet systems. Most existing time synchronization mechanisms are implemented based on packet communication. This interaction pattern, however, greatly limits their synchronizing frequency. In order to achieve microsecond-level synchronization precision, expensive high-quality oscillator is necessary for maintaining low cloc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aerial Video Stream over Multi-hop Using Adaptive TDMA Slots

    Publication Year: 2017, Page(s):157 - 166
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1388 KB) | HTML iconHTML

    Unmanned Aerial Vehicles (UAVs) are rapidly becoming an important tool for applications like surveillance, target tracking and facility monitoring. In many of these contexts, one or more UAVs need to reach an area of interest (AOI) while streaming live video to a ground station (GS) where one or more operators inspect the AOI and carry out fine control of UAVs position. In remote areas, intermedia... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Offset Assignment to Signals for Improving Frame Packing in CAN-FD

    Publication Year: 2017, Page(s):167 - 177
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (289 KB) | HTML iconHTML

    Controller Area Network (CAN) is a widely used protocol that allows communication among Electronic Control Units (ECUs) in automotive electronics. It was extended to CAN-FD (CAN with Flexible Data-rate) to meet the increasing demand for bandwidth utilization caused by the growing number of features in modern automobiles. The signal-to-frame packing problem has been studied in literature for both C... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched Ethernet

    Publication Year: 2017, Page(s):178 - 187
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (888 KB) | HTML iconHTML

    Real-time switched Ethernet communication is of increasing importance in many cyber-physical and embedded systems application areas such as automotive electronics, avionics, and industrial control. The IEEE 802.1 Time-Sensitive Networking (TSN) task group develops standards for real-time Ethernet, for example a time-triggered traffic class (IEEE 802.1Qbv-2015). New application areas, such as activ... View full abstract»

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