TinyOS

TinyOS中的程序使用nesC编写，这种语言是C语言的一个分支，针对无线传感器网络的内存限制进行过特别的优化。相关的辅助工具则主要是由Java和Shell脚本编写的前端。其他相关的库和工具，例如NesC编译器和Atmel AVR二进制工具链则大部分用C编写。

TinyOS程序由基于组件的软件工程建构，它们中一些表现了硬件的抽象概念， 组件用接口互相连接。TinyOS为普通的抽象描述（abstractions）提供了接口和组件，例如数据包通信（packet communication），路由，感知（sensing），行为（actuation）和储存。

TinyOS 2.x版本后引入了完全的非阻塞式行为：它配备了一个单独的堆栈。因此所有的持续超过几百微秒I/O操作都以异步进行并且带有回叫功能（callback）。为了使本地的编译器更加出色地优化交叉调用边界（optimize across call boundaries），TinyOS用nesC的特性，通过事件的方式去连接这些调用。非阻塞式系统可以让TinyOS在单一存储器下保持高度的协同性（concurrency）。它强迫程序将很多个小的事件处理例程合并成一个复合逻辑。为了支持更高的计算量，TinyOS提供了任务（tasks），其比推迟的过程调用和中断处理例程的下半部小。

一个TinyOS组件可以发布一个任务，操作系统可以把它排入列表以待之后执行。任务是没有优先权的并且按照FIFO运行。这个简单的协同模型满足了以I/O为中心的应用，但对于CPU负荷重的应用程序来说是不太好的，因为它会导致向OS多次提出线程间协同处理的请求。这个问题已经导致了几个试图将线程合并进OS内核里的提案。

TinyOS代码与程序代码进行静态连接，然后用GNU工具链生成系统的一整个二进制映像。