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
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller samoyediran4. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $6.95. You're not tied to anything after your purchase.