Schedulability analysis of real-time systems with stochastic task execution times
2002 (English)Licentiate thesis, monograph (Other academic)
Systems controlled by embedded computers become indispensable in our lives and can be found in avionics, automotive industry, home appliances, medicine, telecommunication industry, mecatronics, space industry, etc. Fast, accurate and flexible performance estimation tools giving feedback to the designer in every design phase are a vital part of a design process capable to produce high quality designs of such embedded systems.
In the past decade, the limitations of models considering fixed task execution times have been acknowledged for large application classes within soft real-time systems. A more realistic model considers the tasks having varying execution times with given probability distributions. No restriction has been imposed in this thesis on the particular type of these functions. Considering such a model, with specified task execution time probability distribution functions, an important performance indicator of the system is the expected deadline miss ratio of tasks or task graphs.
This thesis proposes two approaches for obtaining this indicator in an analytic way. The first is an exact one while the second approach provides an approximate solution trading accuracy for analysis speed. While the first approach can efficiently be applied to monoprocessor systems, it can handle only very small multi-processor applications because of complexity reasons. The second approach, however, can successfully handle realistic multiprocessor applications. Experiments show the efficiency of the proposed techniques.
Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2002. , 110 p.
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 985
Datorsystem, Embedded systems, Real-time systems, Stochastic execution times, Performance analysis
IdentifiersURN: urn:nbn:se:liu:diva-5730ISBN: 91-7373-477-2OAI: oai:DiVA.org:liu-5730DiVA: diva2:21486
2002-12-18, 00:00 (English)
Eles, PetruPeng, Zebo
Report code: LiU-Tek-Lic-2002:58.2003-01-302003-01-302009-05-27