|
|
| |
PicoRadio
Rong Chen, Ph.D. 2004
My research interests are formal design
methodologies applied to sensor networks. The overall system requirements
are first formally captured by UML Platform, a specialized UML profile for
platform-based design; then linked to Metropolis framework, where
different architecture implementation choices are explored and optimized
according to a pre-defined cost function; finally the C code and RTL code
will be synthesized for functional blocks mapped into software and
hardware respectively. |
 |
|
|
|
|