Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System
RISE - Research Institutes of Sweden, ICT, SICS.
RISE - Research Institutes of Sweden, ICT, SICS.ORCID iD: 0000-0002-1512-0844
RISE - Research Institutes of Sweden, ICT, SICS.ORCID iD: 0000-0001-7879-4371
RISE - Research Institutes of Sweden, ICT, SICS.ORCID iD: 0000-0003-1597-6738
Show others and affiliations
2018 (English)Conference paper, Published paper (Refereed)
Abstract [en]

Providing an adaptive runtime assurance technique to meet the performance requirements of a real-time system without the need for a precise model could be a challenge. Adaptive performance assurance based on monitoring the status of timing properties can bring more robustness to the underlying platform. At the same time, the results or the achieved policy of this adaptive procedure could be used as feedback to update the initial model, and consequently for producing proper test cases. Reinforcement-learning has been considered as a promising adaptive technique for assuring the satisfaction of the performance properties of software-intensive systems in recent years. In this work-in-progress paper, we propose an adaptive runtime timing assurance procedure based on reinforcement learning to satisfy the performance requirements in terms of response time. The timing control problem is formulated as a Markov Decision Process and the details of applying the proposed learning-based timing assurance technique are described.

Place, publisher, year, edition, pages
2018. p. 77-80
Keywords [en]
Real-time embedded systems, Reinforcement learning, Self-adaptive performance assurance, Timing properties
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:ri:diva-34194DOI: 10.1109/ICSTW.2018.00031Scopus ID: 2-s2.0-85050958526ISBN: 9781538663523 (print)OAI: oai:DiVA.org:ri-34194DiVA, id: diva2:1232992
Conference
2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Systems
Available from: 2018-07-13 Created: 2018-07-13 Last updated: 2019-03-28Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Saadatmand, MehrdadBorg, MarkusBohlin, Markus

Search in DiVA

By author/editor
Saadatmand, MehrdadBorg, MarkusBohlin, Markus
By organisation
SICS
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
v. 2.35.7