https://www.mdu.se/

mdu.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
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
Analytical Approximations in Probabilistic Analysis of Real-Time Systems
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.ORCID iD: 0000-0002-3210-3819
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-6132-7945
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-1364-8127
2022 (English)In: REAL-TIME SYSTEMS SYMPOSIUM/IEEE Computer Society, ISSN 1052-8725, Vol. 2022-December, p. 158-171Article in journal (Refereed) Published
Abstract [en]

Probabilistic timing and schedulability analysis of real-time systems is constrained by the problem of often intractable exact computations. The intractability problem is present whenever there is a large number of entities to be analysed, e.g., jobs, tasks, etc. In the last few years, the analytical approximations for deadline-miss probability emerged as an important solution in the above problem domain. In this paper, we explore analytical solutions for two major problems that are present in the probabilistic analysis of real-time systems. First, for a safe approximation of the entire probability distributions (e.g., of the accumulated execution workloads) we show how the Berry-Esseen theorem can be used. Second, we propose an approximation built on the Berry-Esseen theorem for efficient computation of the quantile functions of probability execution distributions. We also show the asymptotic bounds on the execution distribution of the fixed-priority preemptive tasks. In the evaluation, we investigate the complexity and accuracy of the proposed methods as the number of analysed jobs and tasks increases. The methods are compared with the circular convolution approach. We also investigate the memory footprint comparison between the proposed Berry-Esseen-based solutions and the circular convolution.. The contributions and results presented in this paper complement the state-of-the-art in accurate and efficient probabilistic analysis of real-time systems.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2022. Vol. 2022-December, p. 158-171
Keywords [en]
Convolution; Fruits; Interactive computer systems; Probability distributions; Timing circuits, Analytical bounds; Berry-esseen theorem; Probabilistic analysis; Probabilistic schedulability analyse; Probabilistic timing analyse; Probabilistics; Real - Time system; Schedulability analysis; Timing Analysis, Real time systems
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-61648DOI: 10.1109/RTSS55097.2022.00023ISI: 000907799600013Scopus ID: 2-s2.0-85146113778OAI: oai:DiVA.org:mdh-61648DiVA, id: diva2:1730899
Available from: 2023-01-25 Created: 2023-01-25 Last updated: 2023-02-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Markovic, FilipNolte, ThomasPapadopoulos, Alessandro

Search in DiVA

By author/editor
Markovic, FilipNolte, ThomasPapadopoulos, Alessandro
By organisation
Innovation and Product RealisationEmbedded Systems
In the same journal
REAL-TIME SYSTEMS SYMPOSIUM/IEEE Computer Society
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 42 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