We propose a modeling framework for performing schedulability analysis by using Uppaal real-time model-checker [2]. The framework is inspired by a case study where schedulability analysis of a satellite system is performed. The framework assumes a single CPU hardware where a fixed priority preemptive scheduler is used in a combination with two resource sharing protocols and in addition voluntary task suspension is considered. The contributions include the modeling framework, its application on an industrial case study and a comparison of results with classical response time analysis. © 2010 Springer-Verlag.
CITATION STYLE
Mikučionis, M., Larsen, K. G., Rasmussen, J. I., Nielsen, B., Skou, A., Palm, S. U., … Hougaard, P. (2010). Schedulability analysis using Uppaal: Herschel-Planck case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6416 LNCS, pp. 175–190). https://doi.org/10.1007/978-3-642-16561-0_21
Mendeley helps you to discover research relevant for your work.