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
2nd International Conference on Runtime Verification. 2011.