An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded Systems
- Authors
- Kim, Jinwoo; Oh, Hyunok; Ha, Hyojin; Kang, Shin-Haeng; Choi, Junchul; Ha, Soonhoi
- Issue Date
- Dec-2012
- Publisher
- IEEE
- Keywords
- worst-case performance estimation; integer linear programming; distributed real-time embedded system; scheduling anomaly
- Citation
- IEEE Real-Time Systems Symposium, pp.1 - 10
- Indexed
- OTHER
- Journal Title
- IEEE Real-Time Systems Symposium
- Start Page
- 1
- End Page
- 10
- URI
- https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/163849
- DOI
- 10.1109/RTSS.2012.86
- ISSN
- 1052-8725
- Abstract
- Finding a tight upper bound of the worst-case response time in a distributed real-time embedded system is a very challenging problem since we have to consider execution time variations of tasks, jitter of input arrivals, scheduling anomaly behavior in a multi-tasking system, all together. In this paper, we translate the problem as an optimization problem and propose a novel solution based on ILP (Integer Linear Programming). In the proposed technique, we formulate a set of ILP formulas in a compositional way for modeling flexibility, but solve the problem holistically to achieve tighter upper bounds. To mitigate the time complexity of the ILP method, we perform static analysis based on a scheduling heuristic to reduce the number of variables and confine the variable ranges. Preliminary experiments with the benchmarks used in the related work and a real-life example show promising results that give tight bounds in an affordable solution time.
- Files in This Item
-
Go to Link
- Appears in
Collections - 서울 공과대학 > 서울 정보시스템학과 > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/163849)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.