2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)最新文献

LWiSSy: A domain specific language to model wireless sensor and actuators network systems LWiSSy:用于对无线传感器和执行器网络系统进行建模的领域特定语言

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612258

Priscilla Dantas, Taniro Rodrigues, T. Batista, Flávia Coimbra Delicato, Paulo F. Pires, Wei Li, Albert Y. Zomaya

引用次数: 14

Model-driven approach for building efficient Wireless Sensor and Actuator Network applications 构建高效无线传感器和执行器网络应用的模型驱动方法

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612265

Taniro Rodrigues, T. Batista, Flávia Coimbra Delicato, Paulo F. Pires, Albert Y. Zomaya

引用次数: 18

Sens4U: Wireless sensor network applications for environment monitoring made easy Sens4U:无线传感器网络环境监测应用变得简单

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612264

K. Piotrowski, Steffen Peter

{"title":"Sens4U: Wireless sensor network applications for environment monitoring made easy","authors":"K. Piotrowski, Steffen Peter","doi":"10.1109/SESENA.2013.6612264","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612264","url":null,"abstract":"The development of wireless sensor network (WSN) or cyber physical systems (CPS) applications is a complex and error prone task. This is due to the huge number of possible combinations of protocols and other software modules, to choose from. Additionally, testing of the chosen configuration and the individual software modules is not a trivial task, especially in case where they are all implemented from scratch. The aim of the Sens4U methodology we present in this paper is to simplify and possibly automate the process of building a WSN application and to simplify its testing. The main idea of our approach is to exploit the modularity of the available libraries in order to speed-up application development done by non-WSN-experts and to solve the real-life problems. The proposed abstraction is very powerful-the modules provide specific functionalities via defined interfaces and can be connected using these according to the application requirements, to create the desired and minimum target configuration. The modularity improves the testability and reuse of components and thus, their reliability and, as a result, the reliability of the target configurations. Further, the Sens4U approach goes beyond pure software generation and supports creating software and hardware configurations. We are currently focusing on environment monitoring scenarios in order to analyze this problem area in the semi-automatic computer aided application logic generalization process. This paper presents the general concept as well as the tool chain that supports the application development done by non-WSN-experts.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116037179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5

Adding value to WSN simulation through formal modelling and analysis 通过形式化建模和分析为WSN仿真增加价值

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612261

Adisak Intana, M. Poppleton, G. Merrett

引用次数: 5

Runtime verification and reflection for wireless sensor networks 无线传感器网络的运行时验证与反射

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612263

S. Fischer, M. Leucker

引用次数: 1

Behavioural design of sensor network applications using activity-driven states 使用活动驱动状态的传感器网络应用的行为设计

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612259

Amirhosein Taherkordi, F. Eliassen, E. Johnsen

{"title":"Behavioural design of sensor network applications using activity-driven states","authors":"Amirhosein Taherkordi, F. Eliassen, E. Johnsen","doi":"10.1109/SESENA.2013.6612259","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612259","url":null,"abstract":"The challenge of designing and programming Wireless Sensor Network (WSN) applications has gained increasing attention in recent years. While most existing programming models for WSNs share the same goal of improving software modularity, there exists a gap between the structural software design patterns offered by them and the high-level description of system components. The gap has appeared due to the lack of a software design solution that can model the unique behavioural and dynamic aspects of WSN software, e.g., activities, states, timed operations, and event-driven control flow. In this paper, we present a behavioural design solution for sensor networks based on the principles of finite automata, abstracting the complicated dynamic aspects of WSN software systems through the concept of activity-driven states. This promises a design model which effectively fills the above gap and provides the programmer with concrete design elements that can be directly mapped to the constructs of target programming languages. Moreover, it allows more accurate verification and validation of software systems for WSNs by precisely formulating their behavioural elements.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121243550","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

VSPIN: A framework for developing incremental sensor network reprogramming strategies 开发增量传感器网络重编程策略的框架

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612262

B. Mazumder, J. Hallstrom

{"title":"VSPIN: A framework for developing incremental sensor network reprogramming strategies","authors":"B. Mazumder, J. Hallstrom","doi":"10.1109/SESENA.2013.6612262","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612262","url":null,"abstract":"We present VSPIN, a framework for developing incremental code update mechanisms to support efficient reprogramming of wireless sensor networks. The presentation emphasizes the supporting framework rather than the reprogramming mechanisms themselves. Concretely, VSPIN provides a modular testing platform on a host desktop system to plug-in and evaluate various incremental code update algorithms. The framework supports Avrdude, among the most popular programming tools for AVR microcontrollers. VSPIN consists of a virtual serial port device driver which executes in Linux kernel space, a user space component, and a corresponding boot loader which executes on the sensing (microcontroller) core. The framework is tailored for AVR microcontrollers, which support in-system reprogramming of on-chip flash memory through a serial interface (SPI or UART). On the host side, VSPIN can function with wireless communication devices (802.11b/g/n or 802.15.4), or wired communication devices which expose a serial device interface on the Linux platform (RS-232 or USB). We describe the overall architecture and detail the individual components of VSPIN. The development of VSPIN is the first such attempt to facilitate ease of development, testing, and use of incremental code update algorithms for efficient network reprogramming.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133084274","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Durin: A development environment for Wireless Sensor Network Durin:无线传感器网络的开发环境

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-21 DOI: 10.1109/SESENA.2013.6612260

I. L. Marques, Mauro Teófilo, N. Rosa

{"title":"Durin: A development environment for Wireless Sensor Network","authors":"I. L. Marques, Mauro Teófilo, N. Rosa","doi":"10.1109/SESENA.2013.6612260","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612260","url":null,"abstract":"The applications for Wireless Sensor Networks (WSN) have simple functional requirements, which basically consist of reading the sensors, and sending the read data to the application. However, when non-functional requirements are taken into account, developers of applications for WSN have to deal with such requirements as: restrictions on the consumption of energy, dynamic applications update due to poor performance or unexpected behavior, dynamism in network topology, scalability, robustness, QoS, heterogeneous hardware sensors and limited bandwidth. All these constraints turn the creation of an application into no trivial task. With that in mind, the purpose of this paper is to present a development environment for WSN to improve developer productivity. The Durin development environment is composed of: TinyReef, a designed virtual machine (VM) for WSN; a compiler for cited VM instructions; and a Remote Application Manager. The main contribution of Durin is to provide an environment to support the development, maintenance and deployment of applications for WSN, enabling remote application updates of sensor node hardware.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131824797","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Symphony: Simulation, emulation, and virtualization framework for accurate WSN experimentation Symphony:用于精确WSN实验的仿真、仿真和虚拟化框架

2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA) Pub Date : 2013-05-01 DOI: 10.1109/SESENA.2013.6612257

Laurynas Riliskis, Evgeny Osipov

引用次数: 12