Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16561-0_21 | ISoLA |
Keywords | Field | DocType |
single cpu hardware,schedulability analysis,fixed priority preemptive scheduler,herschel-planck case study,modeling framework,addition voluntary task suspension,satellite system,uppaal real-time model-checker,classical response time analysis,case study,industrial case study,resource sharing,real time,preemptive scheduling,verification,model checking | Model checking,Computer science,Satellite system,Response time,Shared resource,Planck,Distributed computing | Conference |
Volume | ISSN | ISBN |
6416 | 0302-9743 | 3-642-16560-5 |
Citations | PageRank | References |
26 | 0.91 | 8 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marius Mikučionis | 1 | 799 | 33.52 |
Kim Guldstrand Larsen | 2 | 4434 | 346.88 |
Jacob Illum Rasmussen | 3 | 151 | 8.00 |
Brian Nielsen | 4 | 564 | 26.34 |
Arne Skou | 5 | 1279 | 102.75 |
Steen Ulrik Palm | 6 | 26 | 1.24 |
Jan Storbank Pedersen | 7 | 34 | 3.45 |
Poul Hougaard | 8 | 26 | 0.91 |