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

USDOT posted a synopsis on the Connected Vehicle Pilot Deployments at 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.


Visible to the public OUR CONTRIBUTIONS

  • 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.