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
Opaque Analysis for Resource Sharing in Compositional Real-Time Systems
Technische Universiteit Eindhoven, the Netherlands.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0002-1687-930X
Technische Universiteit Eindhoven, the Netherlands.ORCID iD: 0000-0001-6234-5117
Technische Universiteit Eindhoven, the Netherlands.
Show others and affiliations
2011 (English)In: 4th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS'11), 2011Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we propose opaque analysis methods to integrate dependent real-time components into hierarchical fixed-priority scheduled systems. To arbitrate mutually exclusive resource access between components, we consider two existing protocols: HSRP - comprising overrun with and without payback - and SIRAP. An opaque analysis allows to postpone the choice of a synchronization protocol until component integration time. First, we identify the sources of pessimism in the existing analysis techniques and we conclude that both protocols assume different models in their local analysis. In particular, the compo- sitional analysis for overrun with payback (OWP) is not opaque and is pessimistic. The latter makes OWP expensive compared to its counter part without a payback mechanism (ONP). This paper presents an opaque and less pessimistic OWP analysis. Secondly, SIRAP requires more timing information to perform a task-level schedulability analysis. In many practical situations, however, detailed timing characteristics of tasks are hard to obtain. We introduce an opaque analysis for SIRAP using the analysis of ONP to reduce the required timing information during the local analysis. We show that the analysis for ONP cannot deem systems schedulable which are infeasible with SIRAP. The SIRAP analysis may therefore reduce the required system resources of a component by sacrificing the choice for an arbitrary synchronization protocol at system integration time.

Place, publisher, year, edition, pages
2011.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-13609OAI: oai:DiVA.org:mdh-13609DiVA, id: diva2:466152
Available from: 2011-12-15 Created: 2011-12-15 Last updated: 2015-07-31Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Behnam, MorisJ. Bril, ReinderNolte, Thomas

Search in DiVA

By author/editor
van den Heuvel, MartijnBehnam, MorisJ. Bril, ReinderLukkien, JohanNolte, Thomas
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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