3.2.4–Process Sensor Data for Automatic Vehicle Operations (Pspec*)
This process shall be responsible for analyzing the input from the vehicle that provides information about its condition and that it is on an automated vehicle operations lane. The process shall continuously analyze this data and provide output to the process that provides automated control.This Pspec is associated with the Vehicle Subsystem*.
This Pspec is associated with the following Equipment Packages*:

