https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Efficiently bounding deadline miss probabilities of Markov chain real-time tasks
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7431-5529
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation. Max Planck Inst Software Syst MPI SWS, Paul Ehrlich Str,Bldg G 26, D-67663 Kaiserslautern, Germany..ORCID iD: 0000-0002-3210-3819
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-1364-8127
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-6132-7945
2024 (English)In: Real-time systems, ISSN 0922-6443, E-ISSN 1573-1383Article in journal (Refereed) Published
Abstract [en]

In real-time systems analysis, probabilistic models, particularly Markov chains, have proven effective for tasks with dependent executions. This paper improves upon an approach utilizing Gaussian emission distributions within a Markov task execution model that analyzes bounds on deadline miss probabilities for tasks in a reservation-based server. Our method distinctly addresses the issue of runtime complexity, prevalent in existing methods, by employing a state merging technique. This not only maintains computational efficiency but also retains the accuracy of the deadline-miss probability estimations to a significant degree. The efficacy of this approach is demonstrated through the timing behavior analysis of a Kalman filter controlling a Furuta pendulum, comparing the derived deadline miss probability bounds against various benchmarks, including real-time Linux server metrics. Our results confirm that the proposed method effectively upper-bounds the actual deadline miss probabilities, showcasing a significant improvement in computational efficiency without significantly sacrificing accuracy.

Place, publisher, year, edition, pages
SPRINGER , 2024.
Keywords [en]
Real-time systems, Hidden Markov model, Probabilistic schedulability analysis, Deadline miss probability
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-69419DOI: 10.1007/s11241-024-09431-7ISI: 001329808000001Scopus ID: 2-s2.0-85206369031OAI: oai:DiVA.org:mdh-69419DiVA, id: diva2:1920401
Available from: 2024-12-11 Created: 2024-12-11 Last updated: 2024-12-11Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Friebe, AnnaMarkovic, FilipPapadopoulos, AlessandroNolte, Thomas

Search in DiVA

By author/editor
Friebe, AnnaMarkovic, FilipPapadopoulos, AlessandroNolte, Thomas
By organisation
Embedded SystemsInnovation and Product Realisation
In the same journal
Real-time systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 12 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf