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:
- Project number: CNS-1446365
- 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.
- Inference of formal specifications from models of CPSs. The aims of this work are to show how invariants and other temporal properties of system behavior can be inferred from model executions, and from models themselves.
- On-the-fly model checking for hybrid systems. This work focuses on the efficient proof-search-based strategies for inferring that hybrid systems satisfy properties given in a very expressive temporal logic, the timed modal mu-calculus.
- Theories of composition for non-discrete systems. This work is devoted to formalizing notions of composition for system models whose behavior includes discrete, and non-discrete aspects, using ideas from process algebra.
Other work has developed theories of information-flow, a cybersecurity concern, for hybrid systems, and a formalized operational semantics for UML activity diagrams.
- Rance Cleaveland, PI
- Sam Huang, PhD student
- Christoph Schulze, PhD student
- Nolan Crane, undergraduate researcher
- Zamira Daw, postdoc
- John Mangino, undergraduate researcher
- Danny Schofield, undergraduate researcher