Abstract | ||
---|---|---|
This paper presents the reliability evaluation of task execution during safe software processing. The standard method of duplication in a safety-critical application can also be applied for tasks in a software system. But in addition to this, there is also the possibility for coded task processing to increase the reliability and availability of software. The presented analysis covers the reliability analysis of a single, a duplicated and a coded task by the technique of continuous time Markov processes. Markov processes are often used for the reliability evaluation of safety-critical systems. We introduce a method to describe the execution time of tasks by means of enhanced Markov models and their solution by numerical methods. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/DSD.2012.110 | Digital System Design |
Keywords | Field | DocType |
software system,markov process,task execution,execution time,reliability analysis,enhanced markov model,task processing,reliability evaluation,safe software processing,continuous time,erlang distribution,task analysis,numerical analysis,error probability,markov processes | Erlang distribution,Markov process,Task analysis,Computer science,Markov model,Real-time computing,Software system,Software reliability testing,Software,Software construction,Reliability engineering | Conference |
ISBN | Citations | PageRank |
978-1-4673-2498-4 | 2 | 0.41 |
References | Authors | |
4 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Raab | 1 | 2 | 0.74 |
Stefan Krämer | 2 | 3 | 1.79 |
Jürgen Mottok | 3 | 5 | 2.59 |
Stanislav Racek | 4 | 14 | 4.98 |