Collaborative Research: NeTS-NOSS: State-Based Specifications for Controlling and Configuring Sensor Networks

一种称为DESAL（动态嵌入式传感器-执行器语言）的规范语言及其支持工具构成了该提案的核心活动。 该语言是针对传感器网络的需求和机会。 该语言对主要系统变量进行建模，并根据分布在传感器网络上的变量的状态定义动作。 DESAL规范是条件模式规则，并且服从于用于组合和细化的形式化技术。DESAL的动作规范是基于状态的，而不是基于事件的，以简化应用程序设计，并支持更健壮的实现选择。 除了基本的时钟传感任务外，该语言还支持高级时序规范，便于传感器网络控制和协调驱动。DESAL编译器支持面向组件的应用模型。 分布式应用程序由通过共享变量抽象进行通信的组件组成，共享变量抽象由动态绑定服务实现。 用户还可以注释组件，以支持资源利用率约束，与编译器和运行时支持，以监视和维护所需的utilizations.Case研究的项目调查使用DESAL调优和管理任务。 传感器网络的管理问题包括重新配置、部署新版本的应用软件以及调整参数以支持动态设置中的系统功能。 DESAL中的网络管理和调整协议，然后编译成网络应用程序，是传感器网络中自我管理模式开发的一个步骤。

A specification language, called DESAL (Dynamic Embedded Sensor-Actuator Language) and its supporting tools form the core activity of this proposal. The language is tailored to the needs and opportunities of sensor networks. The language models primary system variables and defines actions based on the state of variables, which are distributed over a sensor network. DESAL specifications are condition-pattern rules, and amenable to formal techniques for composition and refinement. DESAL's action specification is state-based rather than event-based to simplify application design and enable more robust implementation choices. The language enables high-level timing specifications that facilitate sensor network control with coordinated actuation, in addition to basic clocked sensing tasks.The DESAL compiler supports a component-oriented application model. A distributed application is composed of components communicating by shared variable abstractions, which are implemented by a dynamic binding service. Users can also annotate components to support resource utilization constraints, with compiler and runtime support to monitor and maintain desired utilization.Case studies of the project investigate the use of DESAL for tuning and management tasks. Problems of management in sensor networks include reconfiguring, staging the deployment of new versions of applications software, and adjusting parameters to support system function in dynamic settings. Specifying management and tuning protocols in DESAL, which are then compiled into network applications, is a step in the development of patterns for self-management in sensor networks.