Description

We will discuss the following two papers at the July 25 meeting:

1. Safety-Critical Computing
2. Formal Safety Analysis of the Control Program for a Radiation Therapy Machine

Please read both papers. To prepare yourself for the class discussion, please also prepare a very brief report with one or two sentences for each of these three items:

• a brief description of the content of the reading
• something in the reading that you found notable or memorable: it could be a fact or an opinion that the author expressed.
• a response to the reading: an observation, opinion, or question of your own

Guidelines

The report is due (on paper) at the beginning of class on July 25. It will be graded (5 points for turning in answers to all the questions, 0 points if you don't turn in anything). You might want to bring two copies -- one to turn in and another to keep with you during the discussion.

Questions & Clarifications

As always, please contact us with questions, and we'll post clarifications here.