Synopsis

page

Visible to the public Review of HotSoS 2015

Submitted by Anonymous on Wed, 06/17/2015 - 1:05pm

Review of the 2015 Symposium and Bootcamp on the Science of Science of Security

Overview & Plenary Presentations | Research Paper Sessions | Tutorials

forum

Visible to the public USDOT Connected Vehicle Pilot Deployments: Synopsis Posted

Submitted by davidk on Mon, 12/22/2014 - 4:58pm

USDOT posted a synopsis on the Connected Vehicle Pilot Deployments at https://www.fbo.gov/index?s=opportunity&mode=form&id=9ddd7050054d7d66d4cb486bea180f6d&tab=core&_cview=0. The USDOT connected vehicle research program is a multimodal initiative that aims to enable safe, interoperable networked wireless communications among vehicles, the infrastructure, and travelers' personal communications devices.

page

Visible to the public OUR CONTRIBUTIONS

Submitted by Liz Wai Ping Ng on Wed, 02/06/2013 - 4:47pm

  • Model-Driven Safety Analysis of Closed-Loop Medical Systems: We studied the safety of a medical device system for the physiologic closed-loop control of drug infusion. The main contribution is the verification approach for the safety properties of closed-loop medical device systems. We demonstrated, using a case study, that the approach can be applied to a system of clinical importance.