• 自 2002 年 7 月以来广泛使用,是 TinyOS 1.0 版本的基础
  • 全程序分析 - 平均减少 25% 的代码大小(16% 内联,9% 死代码消除)
  • 当前 NesC 开发
  • 抽象组件
  • 编译时“实例”,每个实例有状态,并可以访问其他实例的状态
  • 原子部分和数据竞争分析
  • 平均 TinyOS 应用程序:35 个模块,17 个任务,75 个事件
  • 发现 156 个竞争:103 个真实 (!),大约每 1000 行代码有 6 个,53 个误报
  • 更灵活的任务调度机制