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

合作研究：NeTS-NOSS：用于控制和配置传感器网络的基于状态的规范

• 批准号: 0520222
• 负责人: Anish Arora
• 金额: $ 34.5万
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-09-01 至 2008-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0520222&HistoricalAwards=false
• 关键词: Collaborative; Research; NeTS; NOSS; State

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.

一种称为DESAL（动态嵌入式传感器传感器语言）及其支持工具的规范语言构成了该建议的核心活动。 该语言是根据传感器网络的需求和机会量身定制的。 语言模型主要系统变量并根据变量状态定义操作，该变量是通过传感器网络分布的。 淡淡的规格是条件模式规则，并且适合形式的构图和改进技术。 DeSal的行动规范是基于状态的，而不是基于事件的，以简化应用程序设计并启用更强大的实现选择。 该语言可实现高水平的定时规范，除了基本的时钟传感任务外，还可以通过协调的致动促进传感器网络控制。DESAL编译器支持面向组件的应用程序模型。 分布式应用程序由通过共享变量抽象进行通信的组件组成，这些摘要由动态绑定服务实现。 用户还可以注释组件以支持资源利用约束，并提供编译器和运行时支持以监视和维护所需的利用率。 传感器网络中的管理问题包括重新配置，分段新版本的应用程序软件的部署以及调整参数以支持动态设置中的系统功能。 然后将DISAL中的管理和调整协议（然后被编译到网络应用程序中）是开发传感器网络中自我管理模式的一步。