Show simple item record

Files in this item

Thumbnail
Name:
1006.3452v1
Size:
601.8Kb
Format:
PDF
View/Open

Generating a family of Byzantine tolerant protocol implementations using a meta-model architecture

Item metadata

dc.contributor.authorKirby, Graham
dc.contributor.authorDearle, Alan
dc.contributor.authorNorcross, Stuart
dc.date.accessioned2011-03-30T15:01:02Z
dc.date.available2011-03-30T15:01:02Z
dc.date.issued2007-06-25
dc.identifier5005152
dc.identifierbf38d07e-e839-4030-9e45-1fafb17a928b
dc.identifier.citationKirby , G , Dearle , A & Norcross , S 2007 , Generating a family of Byzantine tolerant protocol implementations using a meta-model architecture . in 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems : DSN 2007 . University of Edinburgh , pp. 178-183 , 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systems , Edinburgh , United Kingdom , 25/06/07 .en
dc.identifier.citationconferenceen
dc.identifier.otherArXiv: http://arxiv.org/abs/1006.3452v1
dc.identifier.otherORCID: /0000-0002-4422-0190/work/28429102
dc.identifier.urihttps://hdl.handle.net/10023/1725
dc.description.abstractWe 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.
dc.format.extent616248
dc.language.isoeng
dc.publisherUniversity of Edinburgh
dc.relation.ispartof37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, Workshop on Architecting Dependable Systemsen
dc.subjectcs.DCen
dc.subjectDistributed, parallel and cluster computingen
dc.subjectQA76 Computer softwareen
dc.subject.lccQA76en
dc.titleGenerating a family of Byzantine tolerant protocol implementations using a meta-model architectureen
dc.typeConference itemen
dc.contributor.sponsorThe Royal Society of Edinburghen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.urlhttp://2007.dsn.org/en
dc.identifier.urlhttp://arxiv.org/abs/1006.3452en
dc.identifier.grantnumberRSE Scottish Executive Fellowshipen


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.