ABSTRACT
Many embedded systems have soft real-time constraints and it is useful to have an estimate for the worst-case response time of each task. Formal analysis provides safe upper bounds but they are too pessimistic for complex architectures. Simulators can be used to establish a lower bound for the worst-case response time, but classic simulators apply arrival patterns originally conceived for uniprocessor and fail to achieve a good estimate. In this paper we present the concept of an adversary simulator that generates arrival patterns to stress the system. We implemented a simple and fast heuristic that allows the adversary simulator to obtain lower bounds that are considerably tighter than those of classic simulators. We designed the heuristic specifically for fixed-priority scheduling with Deadline Monotonic and Deadline minus Computation Time Monotonic priority ordering.
- B. Andersson and J. Jonsson. Preemptive multiprocessor scheduling anomalies. In Proceedings of the 16th International Parallel and Distributed Processing Symposium, IPDPS 02, pages 271-, Washington, DC, USA, 2002. IEEE Computer Society. Google ScholarDigital Library
- T. P. Baker and M. Cirinei. Brute-force determination of multiprocessor schedulability for sets of sporadic hard-deadline tasks. In Proc. of the 11th international conference on Principles of distributed systems, OPODIS'07, pages 62--75. Springer-Verlag, 2007. Google ScholarDigital Library
- S. Baruah, G. Koren, D. Mao, B. Mishra, A. Raghunathan, L. Rosier, D. Shasha, and F. Wang. On the competitiveness of on-line real-time task scheduling. In Proceedings of Real-Time Systems Symposium, pages 106--115, December 1991.Google ScholarCross Ref
- E. Bini and G. C. Buttazzo. Measuring the performance of schedulability tests. Real-Time Systems, 30: 129--154, 2005. Google ScholarDigital Library
- R. I. Davis and A. Burns. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In Proceedings of the 2009 30th IEEE Real-Time Systems Symposium, RTSS '09, pages 398--409, Washington, DC, USA, 2009. IEEE Computer Society. Google ScholarDigital Library
- R. I. Davis and A. Burns. Fpzl schedulability analysis. In Proceedings of the 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS '11, pages 245--256, Washington, DC, USA, 2011. IEEE Computer Society. Google ScholarDigital Library
- D. K. G. Thaker, P. Lardieri and M. Price. Empirical quantification of pessimism in state-of-the-art scheduling theory techniques for periodic and sporadic dre tasks. In Proc. of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 490--499, 2004. Google ScholarDigital Library
- R. Ha and J. Liu. Validating timing constraints in multiprocessor and distributed real-time systems. In Proc. of the 14th International Conference on Dist. Comp. Systems, pages 162--171, jun 1994.Google Scholar
- C. R. Reeves, editor. Modern heuristic techniques for combinatorial problems. John Wiley & Sons, Inc., New York, NY, USA, 1993. Google ScholarDigital Library
- S. Samii, S. Rafiliu, P. Eles, and Z. Peng. A simulation methodology for worst-case response time estimation of distributed real-time systems. In Design, Automation and Test in Europe, 2008. DATE '08, pages 556--561, march 2008. Google ScholarDigital Library
Index Terms
- On using adversary simulators to obtain tight lower bounds for response times
Recommendations
A Necessary Test for Fixed-Priority Real-Time Multiprocessor Systems based on Lazy-adversary Simulation
SIMULTECH 2014: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and ApplicationsMany embedded systems have real-time requirements which are sometimes hard and must be guaranteed at design time, although most embedded systems have soft deadlines in the sense that they can be missed without any catastrophe being caused by that. ...
Improved response-time bounds in fixed priority scheduling with arbitrary deadlines
We consider fixed priority sporadic tasks with arbitrary deadlines to be executed upon a uni-processor platform. Efficient schedulability tests for this task model are required for both online task admission in dynamic systems and interactive design of ...
Nonutilization bounds and feasible regions for arbitrary fixed-priority policies
Prior research on schedulability bounds focused primarily on bounding utilization/ as a means to meet deadline constraints. Nontrivial bounds were found for a handful of scheduling policies in which utilization is directly related to the ability of the ...
Comments