Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 오현옥 | - |
dc.date.accessioned | 2018-03-22T01:42:40Z | - |
dc.date.available | 2018-03-22T01:42:40Z | - |
dc.date.issued | 2012-12 | - |
dc.identifier.citation | Real-Time Systems Symposium, Dec 2012, P.363-372 | en_US |
dc.identifier.issn | 1052-8725 | - |
dc.identifier.uri | http://ieeexplore.ieee.org/abstract/document/6424818/ | - |
dc.identifier.uri | http://hdl.handle.net/20.500.11754/50269 | - |
dc.description.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. | en_US |
dc.description.sponsorship | This work was jointly supported by the MKE(The Ministry of Knowledge Economy), Korea, under the ITRC(Information Technology Research Center) support program supervised by the NIPA(National IT Industry Promotion Agency) (NIPA-2012-H0301-12-1011) and Hyundai automotive Co. The ICT at Seoul National University provides research facilities for this study. This work is aslo supported by IT R&D program MKE/KEIT (No.10041608, Embedded system Software for New-memory based Smart Device) and Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education, Science and Technology(2012-0003866). | en_US |
dc.language.iso | en | en_US |
dc.publisher | IEEE | en_US |
dc.subject | Processor scheduling | en_US |
dc.subject | Time factors | en_US |
dc.subject | Program processors | en_US |
dc.subject | Real-time systems | en_US |
dc.subject | Time complexity | en_US |
dc.subject | Embedded systems | en_US |
dc.subject | Estimation | en_US |
dc.title | An ILP-based Worst-case Performance Analysis Technique for Distributed Real-time Embedded Systems | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1109/RTSS.2012.86 | - |
dc.contributor.googleauthor | Kim, Jinwoo | - |
dc.contributor.googleauthor | Oh, Hyunok | - |
dc.contributor.googleauthor | Ha, Hyojin | - |
dc.contributor.googleauthor | Kang, ShinHaeng | - |
dc.contributor.googleauthor | Choi, Junchul | - |
dc.contributor.googleauthor | Ha, Soonhoi | - |
dc.sector.campus | S | - |
dc.sector.daehak | COLLEGE OF ENGINEERING[S] | - |
dc.sector.department | DEPARTMENT OF INFORMATION SYSTEMS | - |
dc.identifier.pid | hoh | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.