CyberCardia logo


This project page is for the University of Maryland's (UMD) part of the NSF-funded CyberCardia project. CyberCardia is a Frontier project in the Cyber-Physical Systems program at the NSF.

The over-all CyberCardia project is led by Stony Brook University and includes several other partners, including UMD. Full information can be found at the central CyberCardia web-site.

Rance Cleaveland is the Principal Investigator for the UMD effort. He is also co-director of the entire CyberCardia project. The official title and grant number for UMD's CyberCardia sub-project is:

  1. Project number: CNS-1446365
  2. Project title: "CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems"

The CyberCardia research at UMD focuses on foundational aspects of verification and modeling of cyber-physical systems (CPSs). The main thrusts of the research program include the following.

Other work has developed theories of information-flow, a cybersecurity concern, for hybrid systems, and a formalized operational semantics for UML activity diagrams.

Project personnel:

Project alumni: