Modelling Motorway Toll Charging

Else update..............................................................................D

End do

Produce table.................................................................E

Produce summary......................................................F

Global Variables

Owner_Record:records used to store each users details in

Temp_Record:Car_Owner_details single record for transferring

counter:Integer counter for number of different users

Char:Character used to read in character

T_Distance:Float used to store total seconds

Position:integer used to indicate record position in array

O_Distance:Float used to transfer single user distance

Peak,Offpeak:Integer calculates peak and off peak users

T_Seconds:Integer stores time user was on motorway

Refinement of Top Level Design

A:

Procedure R_Record

I:Integer;

read(Char);

Temp.Junction:=Char;

WHILE Char <> ' ' do

Read(Char);

END

WHILE Char= ' ' DO

Read(Char);

END

IF Char <> ' ' THEN

I:=1;

Temp.Reg(I):=Char;

Read(Char);

WHILE Char <>' ' DO

I:=I+1;

Temp.Reg(I):=Char;

Read(Char);

END

WHILE Char=' ' DO

Read(Char);

END

IF Char <> ' ' THEN Temp.Status:=Char;

END IF

Read(temp.hour,minute,second)

B:

PROCEDURE Search

Wanted:Reg_Array;

Wanted:=Temp.Reg;

Owner_Record(0).Reg:= Wanted; -- record in sentinal value is set to wanted

Position:=counter;

WHILE Owner_record(Position).reg /= Wanted DO

Position:=Position-1;

END

IF Position =0 THEN

Counter:=Counter+1;

Create_New;

ELSE

Update;

END IF;

C:

PROCEDURE Create_New

Owner_Record(counter):=Temp;

D:

PROCEDURE Update

IF Temp.Status ='J' THEN

Owner_Record(position).junction:=Temp.junction;

Owner_Record(position).Hour:=Temp.Hour;

Owner_Record(position).minute:=Temp.minute;

Owner_Record(position).second:=Temp.second;

ELSE

D_Distance;

Time(Total_Seconds=>T_seconds);

Increment_Values(Time=>T_Seconds);

END IF;

D1

PROCEDURE D_Distance

X,Y:Character;

Temp,Arrive,Leave,leave1:Integer;

TYPE Distance IS ARRAY(1..7) OF Float;

Miles:CONSTANT Distance:=(1=>8.5, 2=>6.9, 3=>8.3, 4=>6.0, 5=>5.5, 6=>3.2, 7=>11.6); -- array constant used to set values to permenant distances

O_Distance:=0.0;

X:=Owner_Record(position).Junction;

Y:=Temp.Junction;

Use case to assign arrive and leave value from 1to 7

iF Arrive>leave THEN

Temp:=leave;

leave:=arrive;

arrive:=Temp;

END IF;

Leave1:=Leave-1;

FOR index in Arrive..Leave1 DO

O_Distance:=O_Distance+miles(index);

END

D2

PROCEDURE Time (Total_Seconds:out Integer)

Join : Integer:=0;

Leave : Integer:=0;

SecsInDay : CONSTANT Integer := 24 * 60 * 60; -- calculates the total seconds in a day

BEGIN

Total_Seconds:=0;

Join := (Owner_Record(Position).hour * 3600) + (Owner_Record(Position).minute * 60) + Owner_Record(Position).second;

Leave :=(temp.hour * 3600) + (temp.minute * 60) + temp.second;

IF Owner_Record(Position).hour < Temp.hour THEN

Total_seconds := Leave - Join;

ELSIF Owner_Record(Position).hour = Temp.hour THEN

IF Owner_Record(Position).minute < Temp.minute THEN

Total_seconds := Leave - Join;

ELSIF Owner_Record(Position).minute = Temp.minute THEN

IF Owner_Record(Position).second < Temp.second THEN

Total_seconds := Leave - Join;

ELSE

Total_seconds := Leave + SecsInDay - Join;

END IF;

ELSE

Total_Seconds := Leave + SecsInDay - Join;

END IF;

ELSE

Total_seconds := Leave + SecsInDay - Join;

END IF;

D3

PROCEDURE Increment_Values(Time:IN Integer)

Charge:Float:=0.0;

Fine:Float;

Speed:Float:=0.0;

Record(Position).Trips_In_Wk :=Record(Position).Trips_In_Wk +1;

IF Record(position).hour >= 7 AND Record(Position).Hour <9 THEN

Charge:=(0.08*O_Distance);

Record(Position).Tolls_due:=Record(Position).Tolls_due + charge;

Peak:=Peak+1;

ELSif

Record(position).hour >= 16 AND Record(Position).Hour <18 then

Charge:=(0.08*O_Distance);

Record(Position).Tolls_due:=Record(Position).Tolls_due + charge;

Peak:=Peak+1;

ELSe

Charge:=(0.04*O_Distance);

Record(Position).Tolls_due:=Record(Position).Tolls_due + charge;

Offpeak:=Offpeak+1;

END IF;

Speed:=((O_Distance)/(float(Time))*3600.0); -- calculates the average speed user was going on the journey

IF Speed>70.0 THEN -- condition to give speeding fines if over limit

IF Speed >72.0 AND Speed <85.0 THEN Fine:=20.0;

Record(Position).Serious:=Record(Position).Serious+1;

ELSIF Speed >85.0 then

Fine:=100.0;

Record(Position).Dangerous:=Record(Position).Dangerous+1;

END if;

END if;

Record(Position).Total_Owner:=Float(Record(Position).Total_Owner) + Charge+Fine;

E:

PROCEDURE Produce_Table

Put(" Registration Trips in tolls speeding violations total");

New_Line;

Put(" number in wk due serious dangerous due");

New_Line;

New_Line;

FOR Index IN 1..Counter DO

Put(Item=>Record(index).Reg);

Put(Record(index).Trips_In_Wk,Width=>15);

Put(Item=>Record(index).Tolls_Due,Fore=>10,Aft=>2);

Put(Item=>Record(index).Serious,Width=>7);

Put(Item=>Record(index).Dangerous,Width=>13);

Put(Item=>Record(index).Total_Owner,Fore=>10,Aft=>2);

NEW_Line;

END

F:

PROCEDURE Produce_Summary

Total_Revenue:Float:=0.0;

FOR Index IN 1..Counter DO

Total_Revenue:=Total_Revenue+Record(Index).Total_Owner; -- do totals all the money due from each person

END

New_Line;

Put("total revenue for week is ");

Put(Item=>Total_revenue);

New_Line;

Put("total cars ");

Put(Counter);

New_Line;

Put("total peak journeys are ");

Put(Peak);

New_Line;

Put("total offpeak journeys are ");

put(Offpeak);

Data Structures

subTYPE reg_array IS string (1..7)

reg_array is a type I defined to hold the users registration number.

This could be anything up to seven characters. Because when reading the file it only reads a character at a time the whole registration could not be read as one string. Reading in character-by-character an array of string is used to store this.

type car_owner_details is

RECORD

Junction:character;

reg:Reg_Array:=" ";

Status:character;

Hour:Integer:=0;

Minute:Integer:=0;

Second:Integer:=0;

Trips_In_wk:Integer:=0

Tolls_due:float:=0.0;

Serious:Integer:=0;

Dangerous:Integer:=0;

Total_owner:float:=0.0;

end record

Car_owner_details is a record containing 11 fields that make up the data needed for each different user. By defining my own record type I can choose what to store in the fields and of what type.

type records is array (0..1000) of records

To be able to hold a 1000 different users details 1000 records are needed. This is why an array of car_own_details is needed. To do this I defined type records, which is an array of 1000 of the record type (owner_record).

Temp_record and Owner_records are types defined by me to act as variables of the entire record structure. In other words they allow me to pass around all the fields in car_owner_details.