S2aVES (Specification, Synthesis and Verification of Embedded Systems) is investigating technologies for specifying synchronization, distribution, and timing requirements of concurrent embedded software, for synthesizing efficient low-level implementations from those specifications and for verifying requirements of those implementations.

Variable Rate Weed Detection System:

NSF-RET (National Science Foundation-Research Experience For Teachers) program is a three year continuing award from National Science Foundation  to support Research Experience for Teachers on real-time embedded system design and implementation.

Cadena (An Integrated Development, Analysis and Verification Environment for Component-based Systems) is to build a platform for real-world experimentation with technologies for high-assurance distributed systems using CORBA Component Model.