F3.1.4.3 Calculate Occupancy for individual Car Park Spaces

Header Image
Project:
F3.1.4.3 Calculate Occupancy for individual Car Park Spaces : Public <<FRAME_Low_Level_Function>> FRAME_Low_Level_Function
Created: 24.10.2019 12:44:28
Modified: 08.09.2021 11:24:30
Project:
Advanced:
This Function shall be capable of providing the following facilities:<br/><br/>(1) The ability to monitor the occupancy of individual car park spaces.<br/>(2)  When it is detected that a new Vehicle has arrived in a space the ability to provide this information to the functionality that calculates the car park occupancy status and the functionality that collects payment for the use of the car park space.<br/>(3) If the functionality that collects payment for the use of the car park space responds with an indication that either no payment has been received, or that there is no time left, that a warning message shall be output to the Vehicle Driver and details of the situation sent to functionality that processes the violation of traffic regulations.<br/>(4) If the functionality that collects payment for the use of the car park space responds with an indication that there is a valid amount of time remaining then the ability to monitor this time and to send a warning message to the Vehicle Driver when that time is about to expire.<br/>(5) If the Vehicle over stays its paid for (or permitted) time, the ability to send details of the situation sent to functionality that processes the violation of traffic regulations.<br/>
  • Associations To
  • Associations From
  • Requirements
  • Advanced
Element Source Role Target Role
«FRAME_Low_Level_Data_Flow» mt_carkpark_space_occuppied
FRAME_Low_Level_Data_Flow «IN»
Name:  
 
Name:  
 
Details:
 
«FRAME_Low_Level_Data_Flow» td-illegal_carpark_space_occupancy
FRAME_Low_Level_Data_Flow «IN»
Name:  
 
Name:  
 
Details:
 
«FRAME_Low_Level_Data_Flow» mt.psle_illegal_carpark_space_occupancy
FRAME_Low_Level_Data_Flow «IN»
Name:  
 
Name:  
 
Details:
 
«FRAME_Low_Level_Data_Flow» mt_vehicle_in_carpark_space
FRAME_Low_Level_Data_Flow «IN»
Name:  
 
Name:  
 
Details:
 
«FRAME_High_Level_Function» F3.1.4 Provide Management of Car Parks
FRAME_High_Level_Function «componentof»
Name:  
 
Name:  
 
Details:
 
Element Source Role Target Role
«FRAME_Low_Level_Data_Flow» mt_carpark_space_occupancy
FRAME_Low_Level_Data_Flow «OUT»
Name:  
 
Name:  
 
Details:
 
«FRAME_Low_Level_Data_Flow» mt_carpark_space_payment_result
FRAME_Low_Level_Data_Flow «OUT»
Name:  
 
Name:  
 
Details:
 
«FRAME_Low_Level_Data_Flow» mt_occupancy_time_for_carpark_space
FRAME_Low_Level_Data_Flow «OUT»
Name:  
 
Name:  
 
Details:
 
Requirement Type Status Difficulty Priority Stability
Functional Functional Proposed Medium Medium Moderate
Details:
(a) continuously monitor the receipt of the car park space occupancy data flow;<br/>(b) when the data flow in (a) shows that a new vehicle has parked in a space, re-start the space occupancy timer from zero and send the vehicle in space data flow to the Payment for Car Park Space Use function, plus the car park space occupied data flow to the Calculate Car Park Occupancy and Status function;<br/>(c) if the payment result data flow is received showing that payment was refused, send the illegal car park space occupancy message to the driver;<br/>(d) if the vehicle remains in the space after the output of the message in (c), and no confirmation of payment is received in the payment result data flow, then send the illegal car park space occupancy data flow to the Provide Support for Law Enforcement functionality;<br/>(e) when the occupancy time for car park space data flow is received, update the maximum time allowed for vehicles to occupy a car park space;<br/>(f) if the count of the time in a space in (b) reaches the value just short of that in (c), send the illegal car park space occupancy message to the driver;<br/>(g) if the count of the time in a space in (b) reaches the value in (c), send the illegal car park space occupancy data flow to the Provide Support for Law Enforcement functionality.<br/>
Property Value
isReadOnly: false
isFinalSpecialization: 0