丁尼奥斯

可视化嵌入式网络系统的运行时行为:TinyOS的工具箱。TinyOS是开发轻量级嵌入式网络应用的有效平台。但该平台的精益编程模型和高效的操作是要付出代价的:TinyOS应用程序是出了名的难以构建、调试和维护的。开发困难很大程度上源于基于事件和延迟执行的编程模型。简言之,该模型在原始操作的执行顺序中引入了非确定性——由于嵌入式网络系统固有的分布式和反应性,这一问题更加严重。一个给定系统的可能执行序列的结果集通常很大,可能会淹没开发人员对程序行为进行推理的独立能力。在这篇文章中,我们提出了一个Tinyos2.0的可视化工具包来帮助理解程序。其目标是帮助开发人员推理被测系统的计算林以及每次运行期间选择的特定分支。工具箱支持包含本地和分布式运行时行为的理解活动。组成部分包括(i)全功能静态分析和仪器库,(ii)基于选择的探针插入系统,(iii)轻量级事件记录服务,(iv)轨迹提取和重建工具,以及(v)三个可视化前端。我们使用标准和定制的系统实例演示了工具箱的实用性,并对工具箱的资源使用和性能特点进行了分析