NDLI: Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

Please wait, while we are loading the content...

Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems

A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata

The Boot Process in Real-time Manycore Processors

Supporting Global Resource Sharing in RUN-scheduled Multiprocessor Systems

Guaranteed Service Independent of the Task Placement in NoCs with Torus Topology

Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

Soft Real-Time Semi-Partitioned Scheduling with Restricted Migrations on Uniform Heterogeneous Multiprocessors

The Priority Division Arbiter for low WCET and high Resource Utilization in Multi-core Architectures

WCET Measurement-based and Extreme Value Theory Characterisation of CUDA Kernels

Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

A Stretching Algorithm for Parallel Real-time DAG Tasks on Multiprocessor Systems

SMT-based Task- and Network-level Static Schedule Generation for Time-Triggered Networked Systems

A Compiler Optimization to Increase the Efficiency of WCET Analysis

Schedulability Analysis for the Abort-and-Restart (AR) Model

Predictability and Utilisation Trade-off in the Dynamic Management of Multiple Video Stream Decoding on Network-on-Chip based Homogeneous Embedded Multi-cores

WCET Preserving Hardware Prefetch for Many-Core Real-Time Systems

Limited-Preemption Scheduling on Multiprocessors

Measurement based WCET Analysis for Multi-core Architectures

Static Probabilistic Timing Analysis of Random Replacement Caches using Lossy Compression

SPRINT: Extending RUN to Schedule Sporadic Tasks

Minimizing a real-time task set through Task Clustering

Complete modelling of AVB in Network Calculus Framework

Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation

Adding Precedence Relations to the Response-Time Analysis of EDF Distributed Real-Time Systems

Antinomy between schedulability and quality of control using a feedback scheduler

Lossy Compression for Worst-Case Execution Time Analysis of PLRU Caches

Optimizing Preemption-Overhead Accounting in Multiprocessor Real-Time Systems

Real-time Ethernet Residual Bus Simulation: A Model-Based Testing Approach for the Next-Generation In-Car Network

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

On the Optimality of RM and EDF for Non-Preemptive Real-Time Harmonic Tasks

A Forward end-to-end delays Analysis for packet switched networks

Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems

Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

Content Provider	ACM Digital Library
Author	Lipari, Giuseppe Melani, Alessandra Santinelli, Luca Carnevali, Laura
Abstract	Quantitative evaluation of real-time systems demands for analysis frameworks that go beyond worst-case assumptions, since some parameters could be better characterized by a random variable than by a deterministic value. On the one hand, this opens notable issues on the safe estimation of probabilistic parameters starting from real measurements. On the other hand, this also requires modeling formalisms and solution techniques that can encompass stochastic temporal parameters with a non-Markovian distribution, thus breaking the limits of Markovian approaches. We propose a framework for modeling and evaluating periodic real-time tasks that may have a probabilistic Worst Case Execution Time (pWCET) and are scheduled by a fixed-priority non-preemptive policy. The methodology leverages the Extreme Value Theory (EVT) for the derivation of the pWCET of tasks by means of Erlang distributions. Evaluation is performed through regenerative transient analysis based on the method of stochastic state classes, supporting the derivation of quantitative measures on the time by which a deadline is missed. The approach is experimented on a case study including tasks with a pWCET derived from benchmarks and real system execution.
Starting Page	299
Ending Page	308
Page Count	10
File Format	PDF
ISBN	9781450327275
DOI	10.1145/2659787.2659823
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-10-08
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Non-markovian stochastic analysis Real-time systems Extreme value theory (evt) Probabilistic worst case execution time (pwcet) Probabilistic schedulability analysis
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in