.png){kind=icon}
返回
A Specification-Driven Approach to Embedded FDIR Code Generation
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-00942-5_14.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
故障检测、隔离与恢复（FDIR）组件对于管理故障以及在安全关键应用中确保安全性和可靠性至关重要。本文提出了一种基于规格的嵌入式FDIR代码自动生成方法。我们的方法利用故障条件和恢复程序的正式规格来合成故障检测和恢复机制，减少手动编码和人为错误的可能性。所提出的工具链将高层规格转换为平台特定的嵌入式代码，同时可以使用模型检测来验证和确认FDIR逻辑。我们详细介绍了底层架构、规格语言和代码生成过程，突出了该方法的可扩展性和灵活性。通过能源领域的案例研究，我们展示了该工具处理复杂故障场景的能力，提高了开发效率并增强了系统可靠性。
Keyword:
FAULT-DETECTION
DIAGNOSIS
期刊
F
IF:
0
论文数:
15
被引数:
0
.png){kind=icon}
查看更多内容