Towards the Safe Programming of Wireless Sensor Networks

Towards the Safe Programming of Wireless Sensor Networks
复制标题

迈向无线传感器网络的安全编程

DOI：
10.4204/eptcs.17.5
复制
发表时间：
2010
期刊：
--
影响因子：
--
通讯作者：
J. Barros
J. Barros
中科院分区：
--
文献类型：
--
作者：
F. Martins;Luís M. B. Lopes;J. Barros

文献摘要

被引文献

相似文献

传感器网络的部署、编程和调试是相当具有挑战性的。当前用于这些平台的编程语言在其规范和底层实现之间存在显著的语义差距。这一事实排除了（类型）安全应用程序的开发，这可能会简化编程和调试部署的网络的任务。在本文中，我们定义了一个核心演算编程传感器网络，并建议使用它作为一种汇编语言开发类型安全，高级编程语言。
Sensor networks are rather challenging to deploy, program, and debug. Current programming languages for these platforms suffer from a significant semanti c gap between their specifications and underlying implementations. This fact precludes the development of (type-)safe applications, which would potentially simplify the task of programming and debugging deployed networks. In this paper we define a core calculus for programming sensor networks and propose to use it as an assembly language for developing type-safe, high-level programming languages.