P2846 - Formal Model for Safety Considerations in Automated Vehicle Decision Making
Project Details
This standard defines a formal rules-based mathematical model for automated vehicle decision making using discrete mathematics and logic. The model applies to the planning and decision-making functions of an SAE Level 3-5 automated vehicle. The model is formally verifiable, technology neutral, and parameterized to allow for regional customization by governments as desired. The standard applies to specified driving scenarios and cases, which do not eliminate all hazards but balance safety with practicability. For example, some scenarios include highway driving and potentially full urban driving. The standard also describes a test methodology and tools necessary to perform verification of an automated vehicle to assess conformance with the standard. The proposed standard does not address the host vehicle navigation system implementing the logic or anything relating to perception, object detection, recognition, verification and/or classification, free space detection, etc.
Standards Committee
Co-Standards Committee
PAR Approval
PARs
Working Group Details
Working Group
Standards Committee
Society
IEEE Program Manager