Computer Science – Computers and Society
Scientific paper
2009-05-15
Computer Science
Computers and Society
10 pages; preliminary version for CMRSC
Scientific paper
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.
Mokhov Serguei A.
No associations
LandOfFree
The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Role of Self-Forensics in Vehicle Crash Investigations and Event Reconstruction will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-523531