Name
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. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1109/RTCSA.2000.896402 | Cheju Island |
Keywords | Field | DocType |
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 | Virtual machine,Software deployment,Scheduling (computing),Computer science,Network topology,Real-time computing,Processor scheduling,Software quality,Scrutiny,Formal verification,Distributed computing | Conference |
ISSN | ISBN | Citations |
1530-1427 | 0-7695-0930-4 | 1 |
PageRank | References | Authors |
0.62 | 4 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mikael Lindgren | 1 | 16 | 2.82 |
| Hansson, H. | 2 | 1 | 0.96 |
| Norstrom, C. | 3 | 1 | 0.62 |
| Punnekkat, S. | 4 | 4 | 1.40 |