Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Are Markov Models Effective for Storage Reliability Modelling?   Continuous Time Markov Chains (CTMC) have been used extensively to model
reliability of storage systems. While the exponentially distributed sojourn
time of Markov models is widely known to be unrealistic (and it is necessary to
consider Weibull-type models for components such as disks), recent work has
also highlighted some additional infirmities with the CTMC model, such as the
ability to handle repair times. Due to the memoryless property of these models,
any failure or repair of one component resets the "clock" to zero with any
partial repair or aging in some other subsystem forgotten. It has therefore
been argued that simulation is the only accurate technique available for
modelling the reliability of a storage system with multiple components.
  We show how both the above problematic aspects can be handled when we
consider a careful set of approximations in a detailed model of the system. A
detailed model has many states, and the transitions between them and the
current state captures the "memory" of the various components. We model a
non-exponential distribution using a sum of exponential distributions, along
with the use of a CTMC solver in a probabilistic model checking tool that has
support for reducing large state spaces. Furthermore, it is possible to get
results close to what is obtained through simulation and at much lower cost.

36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
12
The categories of this paper are: nucl-th
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
37
The categories of this paper are: supr-con
28
The categories of this paper are: alg-geom