Exam-like questions, part II
INFOMRE course, 2018/2019 edition
The following exercises do not represent a complete exam; however, they are taken from
previous exams, and are therefore representative of the kind of questions that can be asked.
, Q1 [10 pts]. Consider the first table below that shows environmental and shared phenomena
concerning the autopilot software of an autonomous car. Examine the ten statements in the
second table, and determine whether they represent system requirements (SysR), software
requirements for the autopilot (SofR), domain properties (DomP), assumptions (Asm), or
definitions (Defn).
Grading: +1 point per correct answer, -0.2 per wrong answer, 0 when no answer is given.
Environmental phenomena Shared phenomena
Car ahead closer than 50m driverAttentionLoss ≥ 90%
Car ahead closer than 20m obstacleDistance < 50m
Driving on a highway autopilotSwitch = on
Wet road surfaceWaterSensed = true
Driver falls asleep obstacleDistance < 20m
Car driving with autopilot emergencyBreak = on
Car is emergency breaking attentionSound = on
Driver attention warning given measuredSpeed > 90km/h
Statement SysR SofR DomP Asm Defn
When the car ahead is closer than 50m, it is also
x
true that the car ahead is closer than 20m
When the car is emergency breaking, the driver
x
attention warning shall be given
obstacleDistance is the distance that the car
x
ultrasonic sensor returns
When driverAttentionLoss ≥ 90%, then
x
autopilotSwitch = on shall become true
The car is driving with autopilot if and only if
x
autopilotSwitch = on
obstacleDistance < 50m if and only if the car ahead
x
is closer than 50m
When measuredSpeed > 90km/h, obstacleDistance
< 50m, and it is not the case that
x
driverAttentionLoss ≥ 90%, then attentionSound =
on shall become true
When the car is driving on a highway and the car is
driving with autopilot, it shall not be the case that x
the car ahead is closer than 50m
The car is driving on a highway if and only if
x
measuredSpeed > 90km/h
When obstacleDistance < 20m, if measuredSpeed >
90km/h, then emergencyBreak = on shall become x
true
Note: part of this question was used in this year’s midterm
INFOMRE course, 2018/2019 edition
The following exercises do not represent a complete exam; however, they are taken from
previous exams, and are therefore representative of the kind of questions that can be asked.
, Q1 [10 pts]. Consider the first table below that shows environmental and shared phenomena
concerning the autopilot software of an autonomous car. Examine the ten statements in the
second table, and determine whether they represent system requirements (SysR), software
requirements for the autopilot (SofR), domain properties (DomP), assumptions (Asm), or
definitions (Defn).
Grading: +1 point per correct answer, -0.2 per wrong answer, 0 when no answer is given.
Environmental phenomena Shared phenomena
Car ahead closer than 50m driverAttentionLoss ≥ 90%
Car ahead closer than 20m obstacleDistance < 50m
Driving on a highway autopilotSwitch = on
Wet road surfaceWaterSensed = true
Driver falls asleep obstacleDistance < 20m
Car driving with autopilot emergencyBreak = on
Car is emergency breaking attentionSound = on
Driver attention warning given measuredSpeed > 90km/h
Statement SysR SofR DomP Asm Defn
When the car ahead is closer than 50m, it is also
x
true that the car ahead is closer than 20m
When the car is emergency breaking, the driver
x
attention warning shall be given
obstacleDistance is the distance that the car
x
ultrasonic sensor returns
When driverAttentionLoss ≥ 90%, then
x
autopilotSwitch = on shall become true
The car is driving with autopilot if and only if
x
autopilotSwitch = on
obstacleDistance < 50m if and only if the car ahead
x
is closer than 50m
When measuredSpeed > 90km/h, obstacleDistance
< 50m, and it is not the case that
x
driverAttentionLoss ≥ 90%, then attentionSound =
on shall become true
When the car is driving on a highway and the car is
driving with autopilot, it shall not be the case that x
the car ahead is closer than 50m
The car is driving on a highway if and only if
x
measuredSpeed > 90km/h
When obstacleDistance < 20m, if measuredSpeed >
90km/h, then emergencyBreak = on shall become x
true
Note: part of this question was used in this year’s midterm
