Projekter pr. år
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.
Originalsprog | Engelsk |
---|---|
Titel | Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career |
Redaktører | Susanne Graf, Paul Petterson, Bernhard Steffen |
Antal sider | 22 |
Forlag | Springer |
Publikationsdato | 23 okt. 2024 |
Sider | 98-119 |
ISBN (Trykt) | 978-3-031-73750-3 |
ISBN (Elektronisk) | 978-3-031-73751-0 |
DOI | |
Status | Udgivet - 23 okt. 2024 |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 15230 |
ISSN | 0302-9743 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Performance Analysis of Stochastic Digraph Real-Time Task Model'. Sammen danner de et unikt fingeraftryk.Projekter
- 1 Igangværende
-
S4OS: SCALABLE ANALYSIS OF SAFE, SMALL AND SECURE STRATEGIES FOR CYBER-PHYSICAL SYSTEMS
Larsen, K. G. (PI (principal investigator))
01/01/2021 → 31/12/2027
Projekter: Projekt › Forskning