Title | ||
---|---|---|
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/ICSTW.2018.00031 | 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
Keywords | Field | DocType |
Timing properties,self-adaptive performance assurance,real-time embedded systems,reinforcement learning | Markov process,Adaptive performance,Computer science,Response time,Markov decision process,Control engineering,Robustness (computer science),Self adaptive,Test case,Reinforcement learning | Conference |
ISSN | ISBN | Citations |
2159-4848 | 978-1-5386-6353-0 | 1 |
PageRank | References | Authors |
0.37 | 6 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mahshid Helali Moghadam | 1 | 6 | 4.25 |
Mehrdad Saadatmand | 2 | 43 | 13.11 |
Markus Borg | 3 | 260 | 29.79 |
Markus Bohlin | 4 | 77 | 14.24 |
Björn Lisper | 5 | 570 | 45.29 |