LJMU

6060COMP Real-Time Systems Dr S. Ravindran (Ravi) A Lift Control System

Stuart Hagan

11

Contents
Clear statement of assumptions made ...................................................................................... 2 Correct data context diagram .................................................................................................... 3 Correct control context diagram................................................................................................ 4 Correct diagram DFD 0 ............................................................................................................... 5 Correct diagram CFD 0 ............................................................................................................... 6 Precise and concise process specifications ................................................................................ 6 Correct control specification.................................................................................................... 11 Correct and consistent enhanced diagram DFD 0 ................................................................... 12 Correct and consistent diagram AFD 0 .................................................................................... 13 Correct and consistent traceability matrix .............................................................................. 14

Clear statement of assumptions made

1. Passenger issues up summons request. 2. Passenger issues down summons request. 3. Elevator reaches summoned floor. 4. Elevator not available for summons request. 5. Elevator becomes available for summons request. 6. Passenger issues destination request. 7. Elevator reaches requested destination. 8. Elevator arrives at floor. 9. Elevator departs floor. 10. Elevator fails to move (goes out of service). 11. Elevator returns to normal service. 12. Elevator becomes overloaded. 13. Elevator load becomes normal.

Correct data context diagram

The Context Data Diagram shows the processes from a data point only this is shown with just the dotted lines connecting the main process to the individual interactor where the it is only data effecting the lift process xxxx

Correct control context diagram

The Context Control Diagram shows the processes from a Control point only this is shown with just the solid lines connecting the main process to the individual interactor where the it is only the control section effecting the lift process

Correct diagram DFD 0

xxxx

Correct diagram CFD 0

sxxxx

Precise and concise process specifications

1.1.2 Input

Input-summons-request occurs
output

Input-summons-request is stored Summons-request-entered is produced

1.1.3

Input

There is an elevator-number in elevator-statuses that matches elevator-numberassigned in summons-request

Also

There is a corresponding current-floor in elevator-statuses that matches floornumber in summons-requests

Output

Corresponding entry in summons-request is null

1.1.4
Input

None
Output

Summons-requests are displayed

1.2.3
7

Input There is an elevator-number in elevator-statuses that matches elevator-number in destination-requests Also There is a corresponding current-floor in elevator-statuses that matches floornumber in destination-requests Output Corresponding entry in destination-requests is null

1.2.4

Inputs
None

Output
Destination-requests are displayed

2.1.2

Input
There is an elevator-number in elevator-statuses that matches elevator-number in destinationschedules

Also
There is a corresponding current-floor in elevator-statuses that matches destination-floor in destination-schedules. Corresponding destination-pending = off in destination-schedules

Output
Corresponding entry in destination-requests is null

2.1.3

Input
Local term match is a matching elevator-number in destination-schedules and elevator-number in elevator-statusPrecondition 1 match exists

Also
There exists in destination-schedules a destination-floor > current-floor in elevator-status

Output
Destination-up is produced

also
Match exists

and
There exists in destination-schedules a destination-floor < current-floor in elevator-status

Also
Destination-down is produced

2.2.2

Input
Floor occurs

Output
Arrival-indication is cleared for previous floor

and
Arrival-indication is produced for corresponding floor

and
9

At-floor is produced

and
Current-floor is updated in elevator-statuses

2.2.3 Input

current-floor is read from elevator-statuses 10 seconds elapse and current-floor is unchanged

10

Correct control specification

11

Correct and consistent enhanced diagram DFD 0

12

Correct and consistent diagram AFD 0

xxx

13

Correct and consistent traceability matrix

xxxxx

14