Abstract
To determine schedulability of priority-driven periodic tasksets on multi-processor systems, it is necessary to rely on utilization bound tests that are safe but pessimistic, since there is no known method for exact schedulability analysis for multi-processor systems analogous to the response time analysis algorithm for single-processor systems. In this paper, we use model-checking to provide a technique for exact multiprocessor scheduability analysis by modeling the real-time multi-tasking system with Timed Automata (TA), and transforming the schedulability analysis problem into the reachability checking problem of the TA model.
This work is partially supported by National Basic Research Program of China (973 Program) under Grant No.2006CB303000 and the Cultivation Fund of the Key Scientific and Technical Innovation Project, Ministry of Education of China, under Grant No.706016.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Liu, C., Layland, J.W.: Scheduling Algorithms for Multi-Programming in a Hard Real-Time Environment. Journal of the ACM 20, 46–61 (1973)
Lehoczky, J.P., Sha, L., Ding, Y.: The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior. In: IEEE Real-Time Systems Symposium (RTSS) (1989)
Carpenter, J., Funk, S., Holman, P., Srinivasan, A., Anderson, J., Baruah, S.: A Categorization of Real-Time Multiprocessor Scheduling Problems and Algorithms, Handbook of Scheduling: Algorithms, Models and Performance Analysis, Chapman and Hall/CRC (2004)
Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems. In: FORMATS. International Workshop on Formal Modeling and Analysis of Timed Systems (2003)
Goossens, J., Funk, S., Baruah, S.K.: Priority-Driven Scheduling of Periodic Task Systems on Multiprocessors. Real-Time Systems 25 (2003)
Baker, T.P.: Multiprocessor EDF and Deadline Monotonic Schedulability Analysis. In: IEEE Real-Time Systems Symposium (RTSS), pp. 120–129 (2003)
Baker, T.P.: An Analysis of EDF Schedulability on a Multiprocessor. IEEE Trans. Parallel Distrib. Syst. 16, 760–768 (2005)
Bertogna, M., Cirinei, M., Lipari, G.: Improved Schedulability Analysis of EDF on Multiprocessor Platforms. In: Euromicro Conference on Real-Time Systems (ECRTS), pp. 209–218 (2005)
Andersson, B., Baruah, S.K., Jonsson, J.: Static-Priority Scheduling on Multiprocessors. In: IEEE Real-Time Systems Symposium, pp. 193–202 (2001)
Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2), 301–317 (2006)
Kwak, H.-H., Lee, I., Philippou, A., Choi, J.-Y., Sokolsky, O.: Symbolic Schedulability Analysis of Real-Time Systems. In: IEEE Real-Time Systems Symposium (RTSS) (1998)
The UPPAAL Model-Checker, http://www.uppaal.com
Cassez, F., Larsen, K.G.: The Impressive Power of Stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138–152. Springer, Heidelberg (2000)
Danne, K., Platzner, M.: An EDF Schedulability Test for Periodic Tasks on Reconfigurable Hardware Devices. In: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded (LCTES) (2006)
Guan, N., Gu, Z., Deng, Q., Liu, W., Yu, G.: Improved Schedulability Analysis of EDF Scheduling on Runtime Partially Reconfigurable Hardware Devices. In: WDPRTS 2007 (2007)
Baker, T.P.: An Analysis of Fixed-Priority Schedulability on a Multiprocessor. Real-Time Systems 32(1-2), 49–71 (2006)
Baruah, S.K., Goossens, J.: Rate-Monotonic Scheduling on Uniform Multiprocessors. IEEE Trans. Computers 52(7), 966–970 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Guan, N., Gu, Z., Deng, Q., Gao, S., Yu, G. (2007). Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking. In: Obermaisser, R., Nah, Y., Puschner, P., Rammig, F.J. (eds) Software Technologies for Embedded and Ubiquitous Systems. SEUS 2007. Lecture Notes in Computer Science, vol 4761. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75664-4_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-75664-4_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75663-7
Online ISBN: 978-3-540-75664-4
eBook Packages: Computer ScienceComputer Science (R0)