Abstract
To balance the bias against flexibility in trade for efficiency from the initial design principles of TinyOS as well as its associated language nesC that however has hindered the system development as, for instance, the lack of post-compilation extensibility do, a new inter-component compilation model based on GCC is presented in this thesis with full transparency preserved, which enables the separate compilation and thereby exposes all the program structural knowledge provided by nesC to the entire compilation process and opens new opportunities to perform inter-component code analysis and diagnosis at native or intermediate code level.