2015 CPS PI MTG Videos, Posters, and Abstracts

file

Visible to the public Compositional System Modeling with Interfaces (COSMOI)

Submitted by tripakis on Fri, 12/18/2015 - 4:52pm. Contributors:

Abstract:

Design of cyber-physical systems today relies on executable models. Designers develop models, simulate them, nd defects, and improve their designs before the system is built, thus greatly reducing the design costs.

file

Visible to the public EAGER: Detecting and Addressing Adverse Dependencies Across Human-in-the-Loop In-Home Medical Apps

Submitted by John Stankovic on Fri, 12/18/2015 - 4:38pm

Abstract:

Millions of mobile applications (apps) are being developed in domains such as energy, health, security, and entertainment. The US FDA expects that there will be 500 million smart phone users downloading healthcare related apps by the end of 2015. Many of these apps will perform interventions to control human physiological parameters such as blood pressure and heart rate.