计算机科学 > 计算机科学中的逻辑
[提交于 2025年9月26日
]
标题: 用于控制系统输入选择的构造正确容错表决器
标题: A Correct by Construction Fault Tolerant Voter for Input Selection of a Control System
摘要: 安全关键系统使用冗余输入单元以提高其可靠性和容错能力。 然后使用投票逻辑从冗余源中选择一个可靠的输入。 故障检测和隔离规则有助于选择可以参与投票的输入单元。 这项工作涉及用于航空电子系统控制应用的$N$-模块化冗余测量系统的通用投票单元的形式化需求制定、设计、验证和综合。 这项工作采用按构造正确的方法,使用 Rocq 定理证明器。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.