Group 1
Group 1
Group 1
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
a. IDC - ACC!{sendDistanceSignal}s<br />
b. AutoIDS- CCS!{changeDesiredSpeed}<br />
c. SS!{sendCurrentSpeedSignal }<br />
d. AutoIDS- CCS!{increaceSpeed, decreaseSpeed}<br />
e. Radar!{distanceMeasurement}<br />
f. {sendIincreaseSpeedSignal}<br />
g. {changeDesiredSpeed}<br />
h. {sendCurrentSpeedSignal }<br />
i. {increaceSpeedCommand, decreaseSpeedCommand}<br />
j. {increaceSpeed, decreaseSpeed}<br />
k. {distanceMeasurementSignal}<br />
l. {distanceMeasurement}<br />
3.3.3. Problem diagram 3: Overridden Control ACC<br />
a: CAN_Bus!{ sendBrakeSignal }<br />
b: DCA! { manualAccel }<br />
c: DCA! { manualBrake }<br />
d: BrakePedal!{sendBrakeSignal}<br />
e: Accel Pedal!{sendAccelSignal}<br />
f: Driver!{pressBrake}<br />
g: Driver!{pressAccel}<br />
h: {pressAccel, pressBrake}<br />
i: {manualAccel}<br />
j: {manualBrake}<br />
Subproblem Relationship<br />
::= || < manual_driving><br />
::= ACC State <br />
::= Increase and Decrease ACC<br />
< manual_driving> ::= Overraidden ACC <br />
Page 11