TinyOS包含经过特殊设计的组件模型，其目标BC4RDA13U-IRK-E4是高效的模块化和易于构造组件型应用软件。对于嵌入式系统来说，为了提高可靠性而又不牺牲性能，建立高效的组件模型是毋庸置疑的。组件模型允许应用程序开发人员方便快捷地将独立组件组合到各层配置文件中，并在面向应用程序的顶层配置文件中完成应用的整体装配。
    TinyOS的组件有4个相互关联的部分：一组命令处理程序句柄、一组事件处理程序句柄、一个经过封装的私有数据帧（data frame）、一组简单的任务。任务、事件和命令处理程序在数据帧的上下文中执行并切换帧的状态。为了易于实现模块化，每个组件声明了自己使用的接口以及其要用触发的事件，这些声明将用于组件的相互连接。图6-1描述了一个支持多跳无线通信组件集合和这些组件之间的关系。
    在该结构中，上层组件对下层组件发命令，下层组件向上层组件发信号触发事件的发生，最底层的组件直接和硬件相关联。

               
    TinyOS中的组件通常可以分为3种类型：硬件抽象组件、合成组件、高层次软件组件。硬件抽象组件将物理硬件映射到TinyOS组件模型。合成硬件组件模拟高级硬件的杼为。高层次软件模块完成控制、路由以及数据传输等。
    因为TinyOS所采用的是基于事件的软件模型对底层硬件的有效扩充和补充，所以TinyOS组件模型使硬件／软件边界能够比较方便地迁移。此外，在TinyOS设计中采用的是固定数据结构大小、存储空间的预分配等技术都有利于硬件化这些软件组件。从软件迁移到硬件对于传感器网络来说特别重要，因为在传感器网络中，为了满足各种需求，需要在集成度、电源管理和系统成本之间进行折中。