The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction

Simple item page
dc.creatorMokhov, Serguei A.
dc.date2009-05-15
dc.date.accessioned2026-07-07T13:15:34Z
dc.date.available2026-07-07T13:15:34Z
dc.descriptionThis 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.
dc.description10 pages; preliminary version for CMRSC
dc.identifierhttps://arxiv.org/abs/0905.2449
dc.identifierhttp://arxiv.org/abs/0905.2449
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/230506
dc.subjectComputers and Society
dc.subjectArtificial Intelligence
dc.subjectCryptography and Security
dc.subjectOther Computer Science
dc.subjectD.2.5; D.2.4; D.3.2
dc.titleThe Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction
dc.typetext

Files

Collections

arXiv