DocumentCode
2790082
Title
Deriving reliability estimates of distributed real-time systems by simulation
Author
Lindgren, Markus ; Hansson, Hans ; Norström, Christer ; Punnekkat, Sasikumar
Author_Institution
Real-Time Res. Centre, Malardalen Univ., Sweden
fYear
2000
fDate
2000
Firstpage
279
Lastpage
286
Abstract
Industrial deployment of academic real-time techniques still struggles to gain momentum due to the non-familiarity of industry with schedulability analysis, as well as the lack of appropriate commercial tools. Moreover, it is imperative that academia realises the extent of the pessimism for the proposed techniques, which often makes them less attractive to systems developers. The possible trade-offs in timing guarantees vs. reliability is one such key area which needs closer study and scrutiny. There is a need for less stringent guarantees in order to avoid costly overdesigns of systems. We present a framework and simulation based methodology for reliability analysis of distributed real-time systems. We have developed a tool which is quite versatile and can accommodate varied task models, network topologies and scheduling paradigms. The tool is illustrated by a comprehensive case-study. Since our method is based on simulation, which is a standard practice in many industrial projects, we believe it will be more comprehensible and acceptable to industry
Keywords
distributed programming; formal verification; processor scheduling; real-time systems; software reliability; virtual machines; distributed real-time systems; network topologies; reliability analysis; reliability estimates; schedulability; scheduling paradigms; simulation based methodology; task models; timing guarantees; Analytical models; Control systems; Electrical equipment industry; Error analysis; Job shop scheduling; Operating systems; Processor scheduling; Real time systems; Timing; Topology;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on
Conference_Location
Cheju Island
ISSN
1530-1427
Print_ISBN
0-7695-0930-4
Type
conf
DOI
10.1109/RTCSA.2000.896402
Filename
896402
Link To Document