Group 1

a: {press accel, release accel}
b: {press break, release brake}
c: {press button plus, press button minus, press button set, press button resume, press
button off}
d: {accel signal}
e: {button signal}
f: {brake signal}
g: {speed value, ACC state}
h: {distance value}
i: {readCANMsg, writeCANMsg}
j: {read CANMsgSpeed}
k: {set speed, release speed}
l; {readMsgforBrake}
m: {grip brake, release brake}
2.4 Changed/added/removed Facts
No Changed/added/removed Facts
2.5 Changed/added/removed Assumptions
No Changed/added/removed Assumptions
2.6 Changed Glossary
CCS: Cruise Control System is a system that automatically controls the rate of
motion of a motor vehicle. The driver sets the speed and the system will take
over the throttle of the car to maintain the same speed.
2.7 Initial Requirements
R1: The driver pressButtonResume then the ACC is activated.
R2: The driver pressButtonOff then the ACC is deactivated.
R3: If driver pressButtonSet then, the car current speed is setSpeed as desired
speed.
R4: If the driver pressButtonPlus then the desired speed will be increased in the
step of 10km/hour.
R5: If the driver pressButtonMinus then the desired speed will be decreased in
the step of 10km/hour
R6: If the ACC is activated and the speed is set and sensor detect there is an
object in front of the car for certain distanceValue then the speed will be
automatically decreased.
R7: If the ACC is activated and sensor detect from distanceValue there is no
object in front of the car then the ACC can accelerate the car to the desired
speed.
R8: If the ACC is activated it can only brake the car with readMessageforBrake
at most 30% of maximum braking power.
R9: If the ACC is activated, ACC can resume to the last default setSpeed after
braking.
R10: The Actuator will setSpeed using signal id 105, but if there is no signal 105
for 100ms then signal 101 will be used.
Page 6