Docsity
Docsity
Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity

Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan

Guidelines and tips
Guidelines and tips
Sell on Docsity
Sell on Docsity
Docsity AI
Docsity AI
Log inSign up

Prepare for your exams

Study with the several resources on Docsity

Find documents

Prepare for your exams with the study notes shared by other students like you on Docsity

Search for your university

Find the specific documents for your university's exams

Docsity AINEW

Summarize your documents, ask them questions, convert them into quizzes and concept maps

Explore questions

Clear up your doubts by reading the answers to questions asked by your fellow students

Earn points to download

Earn points by helping other students or get them with a premium plan

Share documents
download point icon20 Points

For each uploaded document

Answer questions
download point icon5 Points

For each given answer (max 1 per day)

All the ways to get free points
Get points immediately

Choose a premium plan with all the points you need

Study Opportunities

Choose your next study program

Get in touch with the best universities in the world. Search through thousands of universities and official partners

Community

Ask the community

Ask the community for help and clear up your study doubts

Free resources

Our save-the-student-ebooks!

Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors

Mid-Semester Examination for CS551/CS651: Dependable Computing - ABS System - Prof. John K, Exams of Computer Science

University of Virginia (UVA)Computer Science
Prof. John Knight

A mid-semester examination for the dependable computing course, specifically focusing on the anti-lock braking system (abs) of an automobile. A system description, instructions for the examination, and a series of questions for both graduate and undergraduate students. Questions cover topics such as identifying hazards, hardware faults, design faults, dependability requirements, and fault tolerance. The examination consists of five sections, each with a specific number of points.

Typology: Exams

Pre 2010

Uploaded on 07/29/2009

koofers-user-dus
koofers-user-dus 🇺🇸

10 documents

1 / 6

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
. This is a closed book, closed notes examination.
. Write your answers on the examination paper in ink or legible pencil.
.If your answer cannot be read or understood, or if your answer is vague or confused, it will be
marked wrong.
. In any question, make any assumptions that you need to but document your assumptions.
. The number in parentheses after each question is the number of points allocated to that ques-
tion.
NAME (Print Legibly. All Capitals):
PLEDGE (Write Out In Full And Sign):
Graduate Students (CS651) Sections A and B
Undergraduate Students (CS551) Section A
CS 551/CS651
DEPENDABLE COMPUTING
MID-SEMESTER EXAMINATION
FALL 2002
Time Limit - 75 Minutes
pf3
pf4
pf5

Partial preview of the text

Download Mid-Semester Examination for CS551/CS651: Dependable Computing - ABS System - Prof. John K and more Exams Computer Science in PDF only on Docsity!

. This is a closed book, closed notes examination. . Write your answers on the examination paper in ink or legible pencil. . If your answer cannot be read or understood , or if your answer is vague or confused, it will be marked wrong. . In any question, make any assumptions that you need to but document your assumptions. . The number in parentheses after each question is the number of points allocated to that ques- tion.

NAME ( Print Legibly. All Capitals ):

PLEDGE ( Write Out In Full And Sign ):

Graduate Students (CS651) Sections A and B

Undergraduate Students (CS551) Section A

CS 551/CS

DEPENDABLE C OMPUTING

MID-S EMESTER EXAMINATION

FALL 2002

Time Limit - 75 Minutes

The following system description is used in some of the questions in this examination:

A simple anti-lock braking system (ABS) for an automobile uses the following design. Each wheel incorporates a sensor to detect wheel rotation and an actuator to release the brake on that wheel. A computer is used to monitor wheel rotation and vehicle speed. If the wheel is not rotating but the vehicle is moving, then the wheel is skidding and so the actuator is used to release the brake for a very brief time, typically about 50 milliseconds. The system cycles at a rate of about 10Hz. The system performs numerous self checks on the hardware whenever the brakes are not being used. If a self check fails, the system is disabled (but normal mechanical braking remains operational) and a light is illuminated to inform the driver of the system’s non- operational status. It is not considered dangerous for the system to fail provided the failure does not occur during braking and provided the driver’s warning light is illuminated and remains so. The following figure illustrates the system design:

Wheel Rotation Sensor

Vehicle Speed Sensor

Computer

Brake Release Actuator

Driver’s Warning Light

Vehicle Wiring

Page score

  1. Which of the attributes of dependability is most important in defining the dependability requirements for the ABS system? (10)
  2. Document a typical/reasonable set of dependability requirements for the ABS system. (20)

Page score

  1. What is the special characteristic that makes a fault a Heisenbug? (10)
  2. Sketch the bathtub curve , including labels for the axes, and explain what it describes. (10)
  3. Write a set expression that defines the set S of even numbers that are less than 100. (10)
  4. Write a predicate involving a variable P that is true if P is an even number less than 100 and false otherwise. (10)