Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture

Details Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture

2010-06-17

arxiv.org/abs/1006.3452v1

Computer Science

Distributed, Parallel, and Cluster Computing

DSN 2007 Workshop on Architecting Dependable Systems, Edinburgh, Scotland. pp. 178-183

Scientific paper

We describe an approach to modelling a Byzantine tolerant distributed algorithm as a family of related finite state machines, generated from a single meta-model. Various artefacts are generated from each state machine, including diagrams and source-level protocol implementations. The approach allows a state machine formulation to be applied to problems for which it would not otherwise be suitable, increasing confidence in correctness.

Affiliated with

Also associated with

No associations

Rating

Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Generating a Family of Byzantine Tolerant Protocol Implementations Using a Meta-Model Architecture will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-551904