Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

adjusted requirements document

  • Loading branch information...
commit 8ed0d8f63c940fe8b7a2fee33aaf5f42df8dc992 1 parent fd38ff2
authored December 03, 2010
4  requirements/requirements.out
... ...
@@ -1,2 +1,2 @@
1  
-\BOOKMARK [1][-]{section.1}{Environmental Assumptions}{}
2  
-\BOOKMARK [1][-]{section.2}{Functional Requirements}{}
  1
+\BOOKMARK [1][-]{section.1}{Environmental Assumptions}{}% 1
  2
+\BOOKMARK [1][-]{section.2}{Functional Requirements}{}% 2
12  requirements/requirements.tex
@@ -8,7 +8,7 @@
8 8
 
9 9
 \usepackage[dvips]{hyperref}
10 10
 
11  
-\input{eventB.sty}
  11
+\usepackage{eventB}
12 12
 
13 13
 \title{Requirements Document\\ProvenLift}
14 14
 \author{Adrian Friedli\\Alexander Bernauer}
@@ -25,7 +25,7 @@ \section{Environmental Assumptions}
25 25
 \env{There is a controller which executes the system.}
26 26
 \env{There is a sequence of N+1 floor which are indexed from 0 to N. The floor with index 0 is at the bottom and the floor with index N is at the top.}
27 27
 \env{On every floor except the one with index N there is a up-button. On every floor except the one with index 0 there is a down-button.}
28  
-\env{In the elevator there are N+1 so called elevator buttons indexed from 0 to N.}
  28
+\env{In the elevator there are N+1 so called floor buttons indexed from 0 to N.}
29 29
 \env{For every botton there is a light.}
30 30
 
31 31
 All the entities have different possible states.
@@ -52,7 +52,7 @@ \section{Environmental Assumptions}
52 52
 \section{Functional Requirements}
53 53
 This is the basic functionality of the system.
54 54
 \fun{Users signal requests for a floor by pressing the corresponding buttons of that floor. Every request is eventually served as the elevator goes to the corresponding floor and opens the door.}
55  
-\fun{If all requests are served the elevator waits at the current floor for new requests with the door open.}
  55
+\fun{If all requests are served the elevator waits at the current floor for new requests.}
56 56
 
57 57
 Now we describe the schedule which is used by the elevator to serve requests.
58 58
 \fun{There is an elevator schedule which can be either waiting, up or down.}
@@ -65,7 +65,7 @@ \section{Functional Requirements}
65 65
 
66 66
 These requirements handle the user interface.
67 67
 \fun{If a button is pressed the corresponding light goes on.}
68  
-\fun{If the light corresponding to an elevator button is on and the elevator is at the floor which corresponds to the button and the door is open, the light goes off.}
  68
+\fun{If the light corresponding to a floor button is on and the elevator is at the floor which corresponds to the button and the door is open, the light goes off.}
69 69
 \fun{If the light corresponding to a down button is on and the elevator is at the floor which corresponds to the button and the elevator schedule is down and the door is open, the light goes off.}
70 70
 \fun{If the light corresponding to a up button is on and the elevator is at the floor which corresponds to the button and the elevator schedule is up and the door is open, the light goes off.}
71 71
 
@@ -73,8 +73,8 @@ \section{Functional Requirements}
73 73
 \fun{When the cable engine is winding or unwinding then the door engine is closing.}
74 74
 \fun{When the cable engine is winding or unwinding then the door is closed.}
75 75
 \fun{If the elevator is between two floors the cable engine is not stopped.}
76  
-\fun{If the elevator is at the floor with index 0 the cable engine is not unwinding.}
77  
-\fun{If the elevator is at the floor with index N the cable engine is not winding.}
  76
+\fun{If the elevator is at the floor with index 0 the elevator will not move further down.}
  77
+\fun{If the elevator is at the floor with index N the elevator will not move further up.}
78 78
 
79 79
 And of course, nobody want's to reboot the elevator ;-)
80 80
 \fun{Once the system is started it never stops.}

0 notes on commit 8ed0d8f

Please sign in to comment.
Something went wrong with that request. Please try again.