People/Web Search Calendar Emergency Info A-Z Index UVA Email University of Virginia

Computer Science Colloquia

Thursday, May 1, 2014
Chi Xiao
Advisor: John Knight
Attending Faculty: Worthy Martin

3:00 PM, Rice Hall, Rm. 414

Master's Project Presentation
Safety Case Monitoring System

ABSTRACT

This project proposes a safety case monitoring system that can be applied to any safety critical system for monitoring its specific state items at all times, as defined by the safety case. Personnel concerned with the safety critical system can control the safety case monitoring system at a general level, such as by defining an analysis, adjusting a sensor, performing an action and so forth, without the need to redesign the safety case monitoring system. Similarly, concerned personnel can also apply the safety case monitoring system to another safety critical system at a general level, without the need to rebuild the safety case monitoring system.