自我取证在车祸调查和事件重建中的作用
The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction
摘要：
本文进一步介绍和形式化的一个新的概念，自取证的汽车，指定的Forensic Lucid语言。我们认为，自我取证，与取证采取的网络犯罪域，是适用于“自我解剖”的智能车辆和硬件系统的自动事件和异常分析和事件重建的软件有或没有工程团队的援助，在各种取证方案。我们提出了一个正式的设计，要求和规范的自取证使能单元（类似于黑匣子）的车辆，这将有助于调查的事件，也自动推理和验证的理论，以及事件重建的正式模型。我们认为，这样的分析有利于提高乘客及其车辆的安全性，就像航空业对飞机所做的那样。
英文摘要：
This paper further introduces and formalizes a novel concept of self-forensics for automotive vehicles, 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" of intelligent vehicles and hardware systems for automated incident and anomaly analysis and event reconstruction by the software with or without the aid of the engineering teams in a variety of forensic scenarios. We propose a formal design, requirements, and specification of the self-forensic enabled units (similar to blackboxes) in vehicles that will help investigation of incidents and also automated reasoning and verification of theories along with the events reconstruction in a formal model. We argue such an analysis is beneficial to improve the safety of the passengers and their vehicles, like the airline industry does for planes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
