2009/05/15 by Serguei A. Mokhov, Mokhov, Serguei A. · 1 citation
Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #Cryptography and Security (cs.CR) #D.2.4 #D.2.5 #D.3.2 #Digital and Cyber Forensics #FOS: Computer and information sciences #Other Computer Science (cs.OH) #Software Testing and Debugging Techniques #cs.AI #cs.CR #cs.CY #cs.OH
paper · pdf · doi:10.48550/arxiv.0905.2449
10 pages; preliminary version for CMRSC
arxiv created 2009/05/15 · openalex publication_date 2009/05/15 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.