Name
Title | ||
|---|---|---|
Probabilistic Schedulability Analysis for Fault Tolerant Tasks under Stochastic Error Occurrences |
Abstract | ||
|---|---|---|
In dependable real-time systems, provision of schedulability guarantees for task sets under realistic fault and error assumptions is an essential requirement, though complex and tricky to achieve. An important factor to be considered in this context is the random nature of occurrences of faults and errors, which, if addressed in the traditional schedulability analysis by assuming a rigid worst case occurrence scenario, may lead to inaccurate results. In this paper we first propose a stochastic fault and error model which has the capability of modeling error bursts in lieu of the commonly used simplistic error assumptions in processor scheduling. We then present a novel schedulability analysis that accounts for a range of worst case scenarios generated by stochastic error burst occurrences on the response times of tasks scheduled under the fixed priority scheduling (FPS) policy. Finally, we describe a methodology for the calculation of probabilistic schedulability guarantees as a weighted sum of the conditional probabilities of schedulability under specified error burst characteristics. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/CSCS.2013.49 | CSCS '13 Proceedings of the 2013 19th International Conference on Control Systems and Computer Science |
Keywords | Field | DocType |
error model,error assumption,probabilistic schedulability analysis,traditional schedulability analysis,fault tolerant tasks,simplistic error assumption,novel schedulability analysis,stochastic error burst occurrence,stochastic error occurrences,schedulability guarantee,error burst,specified error burst characteristic,probabilistic schedulability guarantee,stochastic processes,fault tolerance,probabilistic logic,probability,real time systems,dependability,upper bound | Dependability,Burst error,Conditional probability,Computer science,Fault tolerance,Probabilistic logic,Priority scheduling,Processor scheduling,Distributed computing | Conference |
ISSN | ISBN | Citations |
2379-0474 | 978-1-4673-6140-8 | 0 |
PageRank | References | Authors |
0.34 | 14 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hüseyin Aysan | 1 | 40 | 5.56 |
| Radu Dobrin | 2 | 169 | 22.41 |
| Sasikumar Punnekkat | 3 | 414 | 50.49 |