The proceedings contain 25 papers. The topics discussed include: a real-time scratchpad-centric OS for multi-core embedded systems;analysis and implementation of global preemptive fixed-priority scheduling with dynami...
ISBN:
(纸本)9781467386395
The proceedings contain 25 papers. The topics discussed include: a real-time scratchpad-centric OS for multi-core embedded systems;analysis and implementation of global preemptive fixed-priority scheduling with dynamic cache allocation;buffer space allocation for real-time priority-aware networks;combining offsets with precedence constraints to improve temporal analysis of cyclic real-time streaming applications;complete, high-assurance determination of loop bounds and infeasible paths for WCET analysis;criticality- and requirement-aware bus arbitration for multi-core mixed criticality systems;applications of the CPAL language to model, simulate and program cyber-physical systems;demonstration of the FMTV 2016 timing verification challenge;and response-time analysis for task chains in communicating threads with pyCPA.
The proceedings contain 35 papers. The topics discussed include: work in progress: predictable execution of isolated real-time tasks on multicore systems using the let paradigm;elastic scheduling for harmonic task sys...
ISBN:
(纸本)9798350358414
The proceedings contain 35 papers. The topics discussed include: work in progress: predictable execution of isolated real-time tasks on multicore systems using the let paradigm;elastic scheduling for harmonic task systems;trusted timing services with timeGuard;integrating sporadic events in time-triggered systems via affine envelope approximations;optimal synthesis of fault-tolerant IDK cascades for real-time classification;USB interrupt differentiated service for bandwidth and delay-constrained input/output;safe and secure? on the timing analysability of cryptographic implementations;extending network calculus to deal with min-plus service curves in multiple flow scenarios;and real-time scheduling for 802.1Qbv time-sensitive networking (TSN): a systematic review and experimental study.
The proceedings contain 33 papers. The topics discussed include: average task execution time minimization under (m, k) soft error constraint;continuous-emission Markov models for real-timeapplications: bounding deadl...
ISBN:
(纸本)9798350321760
The proceedings contain 33 papers. The topics discussed include: average task execution time minimization under (m, k) soft error constraint;continuous-emission Markov models for real-timeapplications: bounding deadline miss probabilities;minimizing probabilistic end-to-end latencies of autonomous driving systems;shedding light on static partitioning hypervisors for arm-based mixed-criticality systems;compositional mixed-criticality systems with multiple executions and resource-budgets model;a general and scalable method for optimizing real-time systems with continuous variables;schedulability analysis of non-preemptive sporadic gang tasks on hardware accelerators;scheduling periodic segmented self-suspending tasks without timing anomalies;precise response time analysis for multiple DAG tasks with intra-task priority assignment;and real-time scheduling of autonomous driving system with guaranteed timing correctness.
The proceedings contain 30 papers. The topics discussed include: guaranteeing safety despite physical errors in cyber-physical systems;deadline-miss-adaptive controller implementation for real-time control systems;a m...
ISBN:
(纸本)9781665499989
The proceedings contain 30 papers. The topics discussed include: guaranteeing safety despite physical errors in cyber-physical systems;deadline-miss-adaptive controller implementation for real-time control systems;a mixed-criticality approach to fault tolerance: integrating schedulability and failure requirements;compiler-directed high-performance intermittent computation with power failure immunity;jumpstart: fast critical service resumption for a partitioning hypervisor in embedded systems;the thundering herd: amplifying kernel interference to attack response times;response time analysis for hybrid task sets under fixed priority scheduling;partial-order reduction for schedule-abstraction-based response-time analyses of non-preemptive tasks;memory utilization-based dynamic bandwidth regulation for temporal isolation in multi-cores;self-cueing real-time attention scheduling in criticality-aware visual machine perception;and analysis-runtime co-design for adaptive mixed criticality scheduling.
The proceedings contain 60 papers. The topics discussed include: SylixOS: a secure and compatible rtos with constant scheduling on SMP;work in progress: heart disease detection methodology using e-stethoscope;a hardwa...
ISBN:
(纸本)9781665403863
The proceedings contain 60 papers. The topics discussed include: SylixOS: a secure and compatible rtos with constant scheduling on SMP;work in progress: heart disease detection methodology using e-stethoscope;a hardware platform for exploring predictable cache coherence protocols for real-time multicores;simultaneous multithreading in mixed-criticality real-time systems;practical principle of least privilege for secure embedded systems;AutoToolCSU: CAN signal unpacking tool for automotive software;brief industry paper: catching IoT malware in the wild using HoneyIoT;towards a real-time wireless powered communication network: design, implementation and evaluation;and brief industry paper: digital twin for dependable multi-core real-time systems — requirements and open challenges.
The proceedings contain 28 papers. The topics discussed include: modeling contention interference in crossbar-based systems via sequence-aware pairing (SeAP);enforcing deadlines for skeleton-based parallel programming...
ISBN:
(纸本)9781728154992
The proceedings contain 28 papers. The topics discussed include: modeling contention interference in crossbar-based systems via sequence-aware pairing (SeAP);enforcing deadlines for skeleton-based parallel programming;BRU: bandwidth regulation unit for real-time multicore processors;the potential of programmable logic in the middle: cache bleaching;scheduling computational and energy harvesting tasks in deadline-aware intermittent systems;bounded-time recovery for distributed real-time systems;a novel flow control mechanism to avoid multi-point progressive blocking in hard real-time priority-preemptive NoCs;and SubFlow: a dynamic induced-subgraph strategy toward real-time DNN inference and training.
The proceedings contain 30 papers. The topics discussed include: deterministic futexes: addressing WCET and bounded interference concerns;Doorpler : a radar-based system for real-time, low power zone occupancy sensing...
ISBN:
(纸本)9781728106786
The proceedings contain 30 papers. The topics discussed include: deterministic futexes: addressing WCET and bounded interference concerns;Doorpler : a radar-based system for real-time, low power zone occupancy sensing;characterizing dominant program behavior using the execution-time variance of the call structure;a novel side-channel in real-time schedulers;multiprocessor synchronization of periodic real-time tasks using dependency graphs;re-thinking CNN frameworks for time-sensitive autonomous-driving applications: addressing an industrial challenge;proving real-time capability of generic operating systems by system-aware timing analysis;fractional GPUs: software-based compute and memory bandwidth reservation for GPUs;and bundled scheduling of parallel real-time tasks.
Ensuring deadlines of hard real-timeapplications in server-based deployments is a challenging problem, particularly if the workload arrives following an arbitrary arrival curve. This work extends the '(M, /K)-fir...
详细信息
Probabilistic approaches have gained attention over the past decade, providing a modeling framework that enables less pessimistic analysis of real-time systems. Among the different proposed approaches, Markov chains h...
详细信息
ISBN:
(纸本)9798350321760
Probabilistic approaches have gained attention over the past decade, providing a modeling framework that enables less pessimistic analysis of real-time systems. Among the different proposed approaches, Markov chains have been shown effective for analyzing real-time systems, particularly in estimating the pending workload distribution and deadline miss probability. However, the state-of-the-art mainly considered discrete emission distributions without investigating the benefits of continuous ones. In this paper, we propose a method for analyzing the workload probability distribution and bounding the deadline miss probability for a task executing in a reservation-based server, where execution times are described by a Markov model with Gaussian emission distributions. The evaluation is performed for the timing behavior of a Kalman filter for Furuta pendulum control. Deadline miss probability bounds are derived with a workload accumulation scheme. The bounds are compared to 1) measured deadline miss ratios of tasks running under the Linux Constant Bandwidth Server with SCHED DEADLINE, 2) estimates derived from a Markov Model with discrete-emission distributions (PROSIT), 3) simulation-based estimates, and 4) an estimate assuming independent execution times. The results suggest that the proposed method successfully upper bounds actual deadline miss probabilities. Compared to the discrete-emission counterpart, the computation time is independent of the range of the execution times under analysis, and resampling is not required.
real-time Ethernet has become a popular solution for handling critical communication in embedded systems, partly thanks to the availability of safe worst-case traversal time analysis. These analyses scale well, but pr...
详细信息
暂无评论