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.