Home > Architecture > Logical Architecture > Processes >

1.2.5.6–Detect Vehicles in Parking Lot (Pspec*)

This process shall detect, count, and optionally classify vehicles at designated locations within a parking facility, including entries and exits, transition points between parking areas (e.g., ramps between garage levels), or in individual parking spaces. The process shall provide sensor status back to the parking operator.

This Pspec is associated with the Parking Management Subsystem*.

This Pspec is associated with the following Equipment Packages*:

• Parking Management

Data Flows*:

• From_Vehicle_Characteristics--In
• parking_lot_vehicle_detection_data--Out
• parking_sensor_status--Out

ENCLOSING DFD

User Service Requirements*:

1.1.0 , 1.1.2 , 1.1.2.1 , 1.1.2.1.6 , 1.5.0 , 1.5.2 , 1.5.2.2 , 1.5.2.2(c)