Voting Framework for Distributed Real-Time Ethernet based Dependable and Safe Systems

04/30/2020
by   Hans Dermot Doran, et al.
0

In many industrial sectors such as factory automation and process control sensor redundancy is required to ensure reliable and highly-available operation. Measured values from N-redundant sensors are typically subjected to some voting scheme to determine a value which is used in further processing. In this paper we present a voting framework which allows the sensors and the voting scheme to be configured at systemconfiguration time. The voting scheme is designed as a Real Time Ethernet profile. We describe the structure of the voting system and the design and verification of the framework. We argue the applicability of this sub-system based on a successful prototype implementation.

READ FULL TEXT
research
05/22/2020

VoteAgain: A scalable coercion-resistant voting system

The strongest threat model for voting systems considers coercion resista...
research
11/16/2021

RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail

Postal voting is growing rapidly in the U.S., with 43 ballots by mail in...
research
09/15/2020

Knapsack Voting for Participatory Budgeting

We address the question of aggregating the preferences of voters in the ...
research
07/24/2020

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal

The design and implementation of an e-voting system is a challenging tas...
research
03/14/2017

Weighted Voting Via No-Regret Learning

Voting systems typically treat all voters equally. We argue that perhaps...
research
08/24/2019

An Attack on the the Encryption Scheme of the Moscow Internet Voting System

The next Moscow City Duma elections will be held on September 8th with a...
research
05/06/2021

A Recursive Measure of Voting Power that Satisfies Reasonable Postulates

We design a recursive measure of voting power based upon partial voting ...

Please sign up or login with your details

Forgot password? Click here to reset