Embedded Real-time/Hybrid Systems

In this effort we are interested in reliable construction of embedded real-time/hybrid systems. The research includes developing domain specific languages for reliably constructing embedded real-time/hybrid systems, constraint based verification of these systems, and automation of software-hardware design decisions based on constraint solving. At present, we are developing a provably correct compiler for the specification language of SCR (software cost reduction), developed at the Naval Research Labs.