一种面向控制系统输入选择的构造正确容错投票器
计算机科学中的逻辑
2025-09-29 v1
摘要
安全关键系统使用冗余输入单元来提高其可靠性和容错性。然后使用投票逻辑从冗余源中选择可靠的输入。故障检测与隔离规则有助于选择可参与投票的输入单元。本工作涉及用于航空电子系统中控制应用的 -模块化冗余测量系统的通用投票单元的正式需求表述、设计、验证与综合。该工作遵循构造正确的方法，使用Rocq定理证明器。
引用
@article{arxiv.2509.22236,
title = {A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System},
author = {Arif Ali AP and Jasine Babu and Deepa Sara John},
journal= {arXiv preprint arXiv:2509.22236},
year = {2025}
}