Reliability Modelling of Disk Subsystems with Probabilistic Model Checking

Published as Storage Systems Research Center Technical Report UCSC-SSRC-09-05.

Publication date:
May 2009

Authors:
Kanchi Gopinath
Jon Elerath
Darrell D. E. Long

Projects:
Reliable Storage

Available media

Full paper text: PDF

Bibtex entry

@techreport{gopinath-ssrctr09,
  author       = {Kanchi Gopinath and Jon Elerath and Darrell D. E. Long},
  title        = {Reliability Modelling of Disk Subsystems with Probabilistic Model Checking},
  institution  = {University of California, Santa Cruz},
  number       = {UCSC-SSRC-09-05},
  month        = may,
  year         = {2009},
}