Causality Analysis and Blame Assignment


When adverse events—that is, cases where the patient was harmed during the application of medical devices—happen, it is necessary to identify the cause of the events so that the same kind of adverse events are adequately mitigated and will not happen over and over again. To facilate such a causality analysis, a preliminary design of a time-space efficient recording scheme resembling the aircraft black box is provided by the FDA. Working with component based systems, we aim to provide an analysis frame which helps identify root causes by taking into consideration global properties and violations of local contracts of components on observed traces with the LDR recording.

Other Members:

  • Shaohui Wang
  • Anaheed Ayoub
  • Radoslav Ivanov


Current Members
Oleg Sokolsky's Profile Photo
Oleg Sokolsky
Insup Lee profile photo
Insup Lee