- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Fault tolerance for distributed explicit-state model...
Open Collections
UBC Theses and Dissertations
UBC Theses and Dissertations
Fault tolerance for distributed explicit-state model checking Ishida, Valerie Lynn
Abstract
PReach, developed at the University of British Columbia and Intel, is a state of the art parallel model checker. However, like many model checkers, it faces reliability problems. A single crash causes the loss of all progress in checking a model. For computations that can take days, restarting from the beginning is a problem. To solve this, we have developed PReachDB, a modified version of PReach. PReachDB maintains the state of the model checking computation even across program crashes by storing key data structures in a database. PReachDB uses the Mnesia distributed database management system for Erlang. PReachDB replicates data to allow the continuation of the computation after a node failure. This project provides a proof-of-concept implementation with performance measurements.
Item Metadata
| Title |
Fault tolerance for distributed explicit-state model checking
|
| Creator | |
| Publisher |
University of British Columbia
|
| Date Issued |
2014
|
| Description |
PReach, developed at the University of British Columbia and Intel, is a state of the art parallel model checker. However, like many model checkers, it faces reliability problems. A single crash causes the loss of all progress in checking a model. For computations that can take days, restarting from the beginning is a problem. To solve this, we have developed PReachDB, a modified version of PReach. PReachDB maintains the state of the model checking computation even across program crashes by storing key data structures in a database. PReachDB uses the Mnesia distributed database management system for Erlang. PReachDB replicates data to allow the continuation of the computation after a node failure. This project provides a proof-of-concept implementation with performance measurements.
|
| Genre | |
| Type | |
| Language |
eng
|
| Date Available |
2014-10-16
|
| Provider |
Vancouver : University of British Columbia Library
|
| Rights |
Attribution-NoDerivs 2.5 Canada
|
| DOI |
10.14288/1.0167008
|
| URI | |
| Degree | |
| Program | |
| Affiliation | |
| Degree Grantor |
University of British Columbia
|
| Graduation Date |
2014-11
|
| Campus | |
| Scholarly Level |
Graduate
|
| Rights URI | |
| Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NoDerivs 2.5 Canada