Schedulability Analysis Using Uppaal: Herschel-Planck Case Study

Autor:	Jan Storbank Pedersen, Arne Skou, Kim Guldstrand Larsen, Poul Hougaard, Brian Nielsen, Marius Mikučionis, Steen Ulrik Palm, Jacob Illum Rasmussen
Rok vydání:	2010
Předmět:	Model checking symbols.namesake Task (computing) Computer science Distributed computing symbols Planck Shared resource
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642165603 ISoLA (2)
DOI:	10.1007/978-3-642-16561-0_21
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2789e33289963fe950ecac5fe0dae792 https://doi.org/10.1007/978-3-642-16561-0_21 Zobrazit plný text záznamu