用自取证改进飞行关键系统的确认、验证、坠毁调查和事件重建
Towards Improving Validation, Verification, Crash Investigations, and Event Reconstruction of Flight-Critical Systems with Self-Forensics
摘要：
本文介绍了一种新的自我取证的概念，以补充标准的自主自我CHOP属性的自我管理系统，在Forensic Lucid语言中指定。我们认为，自我取证，与取证采取的网络犯罪域，是适用于“自我解剖”的目的验证的自主软件和硬件系统的飞行关键系统的自动化事件和异常分析和事件重建的工程团队在各种事件的情况下，在设计和测试以及实际的飞行数据。
英文摘要：
This paper introduces a novel concept of self-forensics to complement the standard autonomic self-CHOP properties of the self-managed systems, to be specified in the Forensic Lucid language. We argue that self-forensics, with the forensics taken out of the cybercrime domain, is applicable to "self-dissection" for the purpose of verification of autonomous software and hardware systems of flight-critical systems for automated incident and anomaly analysis and event reconstruction by the engineering teams in a variety of incident scenarios during design and testing as well as actual flight data.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
