Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612258
Priscilla Dantas, Taniro Rodrigues, T. Batista, Flávia Coimbra Delicato, Paulo F. Pires, Wei Li, Albert Y. Zomaya
Wireless sensor and actuator network systems (WSAN) are built on a broad range of sensor platforms and low level programming languages. Such systems are potentially useful for a myriad of applications, from different domains. Thus, developers need to deal with details of different platforms and programming abstractions of sensor operational systems, and they also need to have specific knowledge on the distinct domains. In this context, we propose LWiSSy, a domain specific language (DSL) to model WSAN systems whose main goals are to allow (i) domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and (ii) network experts to program sensor nodes to meet application needs without having specific knowledge on the application domain. We describe how to develop WSAN systems using LWiSSy and analyze the impact of its usage through an experiment.
{"title":"LWiSSy: A domain specific language to model wireless sensor and actuators network systems","authors":"Priscilla Dantas, Taniro Rodrigues, T. Batista, Flávia Coimbra Delicato, Paulo F. Pires, Wei Li, Albert Y. Zomaya","doi":"10.1109/SESENA.2013.6612258","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612258","url":null,"abstract":"Wireless sensor and actuator network systems (WSAN) are built on a broad range of sensor platforms and low level programming languages. Such systems are potentially useful for a myriad of applications, from different domains. Thus, developers need to deal with details of different platforms and programming abstractions of sensor operational systems, and they also need to have specific knowledge on the distinct domains. In this context, we propose LWiSSy, a domain specific language (DSL) to model WSAN systems whose main goals are to allow (i) domain experts to directly contribute in the development of WSANs without having knowledge on low level sensor platforms, and (ii) network experts to program sensor nodes to meet application needs without having specific knowledge on the application domain. We describe how to develop WSAN systems using LWiSSy and analyze the impact of its usage through an experiment.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"16 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":"126317902","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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612265
Taniro Rodrigues, T. Batista, Flávia Coimbra Delicato, Paulo F. Pires, Albert Y. Zomaya
The research on Wireless Sensor and Actuator Networks (WSAN) has evolved with applications in several domains. However, WSAN application development is hampered by the need of programming in low-level abstractions provided by sensor operation systems and the need of having specific knowledge about both the application domain and the sensor platform. The high coupling between application code and sensor platforms, combined with a lack of methodology to support the application development cycle, results in platform-dependent projects that are difficult to maintain, modify, and reuse. To cope with this issue, we propose an MDA approach for developing WSAN applications. Our proposal allows Domain Experts to directly contribute during development using their application-level knowledge; at the same time it allows Network Experts to program WSAN nodes using their network-level knowledge while meeting application functional and non-functional requirements, closing the gap between the two expertise levels.
{"title":"Model-driven approach for building efficient Wireless Sensor and Actuator Network applications","authors":"Taniro Rodrigues, T. Batista, Flávia Coimbra Delicato, Paulo F. Pires, Albert Y. Zomaya","doi":"10.1109/SESENA.2013.6612265","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612265","url":null,"abstract":"The research on Wireless Sensor and Actuator Networks (WSAN) has evolved with applications in several domains. However, WSAN application development is hampered by the need of programming in low-level abstractions provided by sensor operation systems and the need of having specific knowledge about both the application domain and the sensor platform. The high coupling between application code and sensor platforms, combined with a lack of methodology to support the application development cycle, results in platform-dependent projects that are difficult to maintain, modify, and reuse. To cope with this issue, we propose an MDA approach for developing WSAN applications. Our proposal allows Domain Experts to directly contribute during development using their application-level knowledge; at the same time it allows Network Experts to program WSAN nodes using their network-level knowledge while meeting application functional and non-functional requirements, closing the gap between the two expertise levels.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"485 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133322480","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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612264
K. Piotrowski, Steffen Peter
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.
{"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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612261
Adisak Intana, M. Poppleton, G. Merrett
Reliable verification and validation techniques are essential to the development of wireless sensor networks (WSNs) in safety-critical domains. This paper proposes a hybrid verification and validation approach integrating formal methods and simulation to increase the quality of WSN development. Simulation, like model checking, can demonstrate the presence of faults but not guarantee their absence. Some classes of faults such as safety property breaches and certain liveness breaches can be proved absent by the use of formal models and theorem provers. Our case study work which combines simulation with formal modelling and verification in Event-B demonstrates this in an environmental application from the SensorScope project. MintRoute, together with S-MAC protocol, is simulated with connectivity failure scenarios using the MiXiM simulation tool. The work indicates the iterative interworking between the formal and simulation methods that we seek.
{"title":"Adding value to WSN simulation through formal modelling and analysis","authors":"Adisak Intana, M. Poppleton, G. Merrett","doi":"10.1109/SESENA.2013.6612261","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612261","url":null,"abstract":"Reliable verification and validation techniques are essential to the development of wireless sensor networks (WSNs) in safety-critical domains. This paper proposes a hybrid verification and validation approach integrating formal methods and simulation to increase the quality of WSN development. Simulation, like model checking, can demonstrate the presence of faults but not guarantee their absence. Some classes of faults such as safety property breaches and certain liveness breaches can be proved absent by the use of formal models and theorem provers. Our case study work which combines simulation with formal modelling and verification in Event-B demonstrates this in an environmental application from the SensorScope project. MintRoute, together with S-MAC protocol, is simulated with connectivity failure scenarios using the MiXiM simulation tool. The work indicates the iterative interworking between the formal and simulation methods that we seek.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"64 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":"114418379","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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612263
S. Fischer, M. Leucker
The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.
{"title":"Runtime verification and reflection for wireless sensor networks","authors":"S. Fischer, M. Leucker","doi":"10.1109/SESENA.2013.6612263","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612263","url":null,"abstract":"The paper proposes to re-visit a light-weight verification technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"25 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":"132881275","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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612259
Amirhosein Taherkordi, F. Eliassen, E. Johnsen
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.
{"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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612262
B. Mazumder, J. Hallstrom
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.
{"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}
Pub Date : 2013-05-21DOI: 10.1109/SESENA.2013.6612260
I. L. Marques, Mauro Teófilo, N. Rosa
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.
{"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}
Pub Date : 2013-05-01DOI: 10.1109/SESENA.2013.6612257
Laurynas Riliskis, Evgeny Osipov
We have developed a simulation framework for testing and validation of WSN applications which closely resembles processes happening inside real equipment including hardware and software induced delays. The core of the framework consists of a virtualized operating system and an emulated hardware platform integrated with a general purpose network simulator ns-3. Besides an ability of experimenting with the real code base as in the real deployments our framework allows testing the boundary effects of different hardware components on the performance of distributed applications and protocols. All in all the presented framework allows to substantially shorten the development cycle of WSN applications.
{"title":"Symphony: Simulation, emulation, and virtualization framework for accurate WSN experimentation","authors":"Laurynas Riliskis, Evgeny Osipov","doi":"10.1109/SESENA.2013.6612257","DOIUrl":"https://doi.org/10.1109/SESENA.2013.6612257","url":null,"abstract":"We have developed a simulation framework for testing and validation of WSN applications which closely resembles processes happening inside real equipment including hardware and software induced delays. The core of the framework consists of a virtualized operating system and an emulated hardware platform integrated with a general purpose network simulator ns-3. Besides an ability of experimenting with the real code base as in the real deployments our framework allows testing the boundary effects of different hardware components on the performance of distributed applications and protocols. All in all the presented framework allows to substantially shorten the development cycle of WSN applications.","PeriodicalId":339924,"journal":{"name":"2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127953923","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：