Performance Analysis of Stochastic Digraph Real-Time Task Model

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Abstract

Different models are available when scheduling tasks on real-time systems depending on the need for expressiveness and the properties of the system. The Digraph Real-Time (DRT) Task Model is one of the most expressive models, where the feasibility for hard real-time scheduling is computable in pseudo-polynomial time. We expand the DRT task model to the Stochastic Digraph Real-Time (SDRT) Task Model, which contains the stochastic behavior and not just worst-case values or minimum separations. We present the operational semantics of DRT task systems and expand those to fit SDRT task systems with soft deadlines. We implement these semantics using Uppaal SMC, which we use to simulate a set of SDRT tasks. The simulations are used in performance analysis to obtain metrics such as utilization and the ratio between missed deadlines and the number of released jobs. We show how the increase in size of the task set affects these different metrics of a scheduling system.
OriginalsprogEngelsk
TitelReal Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career
RedaktørerSusanne Graf, Paul Petterson, Bernhard Steffen
Antal sider22
ForlagSpringer
Publikationsdato23 okt. 2024
Sider98-119
ISBN (Trykt)978-3-031-73750-3
ISBN (Elektronisk)978-3-031-73751-0
DOI
StatusUdgivet - 23 okt. 2024
NavnLecture Notes in Computer Science
Vol/bind15230
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Performance Analysis of Stochastic Digraph Real-Time Task Model'. Sammen danner de et unikt fingeraftryk.

Citationsformater