A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System

Arif Ali AP, Jasine Babu, Deepa Sara John

Safety-critical systems use redundant input units to improve their reliability and fault tolerance. A voting logic is then used to select a reliable input from the redundant source…