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.
(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