本文介绍了一种检测安全关键固件中架构漂移的新方法，特别是针对符合ISO 26262标准的系统。该方法利用硬件辅助执行跟踪，将运行时行为建模为固件组件之间的消息交换。然后将这些运行时模型与设计时序列图进行比较，以识别差异。使用受限LLM生成人类可读的差异报告，以辅助专家审查并减少手动分析工作量。在工业固件环境中进行的评估表明，与专家参考结果高度一致，并且从业人员对生成报告的实用性给予了积极反馈。 AI
影响 这项研究通过提供更好的工具来检测设计不一致性，有可能提高关键固件的可靠性和安全性。
排序理由 这是一篇详细介绍固件分析新方法的学术论文。[lever_c_demoted from research: ic=1 ai=0.7]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
