Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

Sergiy Bogomolov; Christian Herrera; Wilfried Steiner

doi:10.29007/hq8s

Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

Sergiy Bogomolov, Christian Herrera, Wilfried Steiner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet network can be verified, and optimization techniques for verification purposes can be applied. Our benchmark, which assumes non-faulty components, aims to be a basis for verifying configurations which include faulty components, information consistency mechanisms, and for verifying other clock synchronization algorithms

Original language	English
Title of host publication	Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms
Editors	G Frehse and M Althoff
Place of Publication	USA
Publisher	EasyChair Publications
Pages	1-6
Edition	Peer Reviewed
DOIs	https://doi.org/10.29007/hq8s
Publication status	Published - 2016
Event	3rd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2016) - Vienna, Austria, Australia Duration: 1 Jan 2016 → … http://www.easychair.org/publications/publication_ethics

Conference

Conference	3rd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2016)
Country/Territory	Australia
Period	1/01/16 → …
Other	April 12 2016
Internet address	http://www.easychair.org/publications/publication_ethics

Access to Document

10.29007/hq8s

Cite this

@inproceedings{692a5847f93a40f88018012debb099bc,

title = "Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms",

abstract = "In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet network can be verified, and optimization techniques for verification purposes can be applied. Our benchmark, which assumes non-faulty components, aims to be a basis for verifying configurations which include faulty components, information consistency mechanisms, and for verifying other clock synchronization algorithms",

author = "Sergiy Bogomolov and Christian Herrera and Wilfried Steiner",

year = "2016",

doi = "10.29007/hq8s",

language = "English",

pages = "1--6",

editor = "{G Frehse and M Althoff}",

booktitle = "Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms",

publisher = "EasyChair Publications",

edition = "Peer Reviewed",

note = "3rd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2016) ; Conference date: 01-01-2016",

url = "http://www.easychair.org/publications/publication_ethics",

}

Bogomolov, S, Herrera, C & Steiner, W 2016, Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms. in GFAMA (ed.), Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms. Peer Reviewed edn, EasyChair Publications, USA, pp. 1-6, 3rd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2016), Australia, 1/01/16. https://doi.org/10.29007/hq8s

Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms. / Bogomolov, Sergiy; Herrera, Christian; Steiner, Wilfried.
Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms. ed. / G Frehse and M Althoff. Peer Reviewed. ed. USA: EasyChair Publications, 2016. p. 1-6.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

AU - Bogomolov, Sergiy

AU - Herrera, Christian

AU - Steiner, Wilfried

PY - 2016

Y1 - 2016

N2 - In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet network can be verified, and optimization techniques for verification purposes can be applied. Our benchmark, which assumes non-faulty components, aims to be a basis for verifying configurations which include faulty components, information consistency mechanisms, and for verifying other clock synchronization algorithms

AB - In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet network can be verified, and optimization techniques for verification purposes can be applied. Our benchmark, which assumes non-faulty components, aims to be a basis for verifying configurations which include faulty components, information consistency mechanisms, and for verifying other clock synchronization algorithms

U2 - 10.29007/hq8s

DO - 10.29007/hq8s

M3 - Conference contribution

SP - 1

EP - 6

BT - Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

A2 - null, G Frehse and M Althoff

PB - EasyChair Publications

CY - USA

T2 - 3rd International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2016)

Y2 - 1 January 2016

ER -

Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

Abstract

Conference

Access to Document

Fingerprint

Cite this