ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks

2011

Abstract Developing Wireless Sensor Networks (WSN) applications is not an easy task, since it demands different expertise and knowledge. To address this problem, we propose a model-driven approach to build WSN applications.

System modeling in a large extent is a matter of handling abstract and possibly incomplete information and trying to evaluate different solutions based on the system model. The ease with which a system can be modeled depends on the semantics and syntax of the language used. At present, there is no complete language available for entire system modeling but there are few System-Level Design Language’s (SLDL) that are being used for following system-level design methodology. In this project, we have modeled a wireless sensor network system in SLDL to determine if SLDL can be used for system modeling. This report gives details of the project, results & conclusions arrived during the project as well as the limitations of SLDL for entire system modeling. Contents List of Figures ……………………………………………………………………………………………………. ii

Compact Wireless and Wired Sensing Systems, 2004

Data distribution in embedded real-time sensor networks requires new protocols and programming environments that achieve time-sensitive message delivery and provide useful abstractions to the application programmer. Attainment of these goals requires changes to multiple layers of the communication protocol stack. In this paper, we review a protocol suite developed by the authors for data communication in embedded sensor networks. It takes into account time constraints and exports attribute-based connections that are tightly integrated with properties of the monitored environment. A programming language is described that allows external physical objects to be represented as first class abstractions in the computing system. The language facilitates writing monitoring applications. The system was implemented on a prototypical sensor network based on MICA motes. IEEE the intentional naming system [3] provide addressing and routing based on data interests. A fundamental rethinking of basic protocols is required at the transport layer as well. Individual socket-style connections between nodes are too low-level to be a useful abstraction for the programmer. They must be replaced with higher-level alternatives that are more suitable for the main purpose of sensor networks, namely monitoring the external surroundings in which they are embedded.

PIK - Praxis der Informationsverarbeitung und Kommunikation, 2005

ACM Transactions on Sensor Networks, 2008

Sensor networks have a significant potential in diverse applications some of which are already beginning to be deployed in areas such as environmental monitoring. As the application logic becomes more complex, programming difficulties are becoming a barrier to adoption of these networks. The difficulty in programming sensor networks is not only due to their inherently distributed nature but also the need for mechanisms to address their harsh operating conditions such as unreliable communications, faulty nodes, and extremely constrained resources. Researchers have proposed different programming models to overcome these difficulties with the ultimate goal of making programming easy while making full use of available resources. In this article, we first explore the requirements for programming models for sensor networks. Then we present a taxonomy of the programming models, classified according to the level of abstractions they provide. We present an evaluation of various programming m...

… , 2009. EMS'09. …, 2009

The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, such as industrial automation, fire detection or health monitoring, have strong timeliness constraints. Since field deployments are difficult to monitor and debug, the development of real-time communication protocols for wireless sensor networks necessitates accurate simulation models. This paper presents open source Omnet++ simulation models based on the IEEE 802.15.4 standard. Four evaluation scenarios are used to compare simulation timeliness and packet error rate results with experimental measurements. The small scale of the scenarios allows to isolate the effect of each system component. The comparison validates the models for timeliness estimates in sensor networks and pinpoints the variability of software implementations in embedded systems as a major cause of differences between simulated and measured results.

2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Existing ad hoc system design methods for Wireless Sensor Networks (WSNs) suffer from lack of reusability. In addition, the interactions between the continuous-time physical environments and WSNs have not been well studied. In this paper, we propose a model-based systems design (MBSD) framework for WSNs, which is a systematic methodology applying systems engineering principles to enhance model reusability and collaborations among multiple modeling domains. Firstly, we describe a hierarchy of model libraries to model various behaviors and structures of WSNs, including physical environments, physical platforms, communication and computation components, system services and applications. Based on the MBSD framework, we introduce a system design flow to compose both continuoustime and event-triggered modules to develop applications with support for performance study by simulations. Next, we briefly describe the main modules for physical platforms, the Media Access Control (MAC) layer, wireless channels and physical environments, which are developed using the Systems Modeling Language (SysML), Simulink and Modelica. Finally, we use a building thermal control system as the case study to demonstrate the composability, reusability and flexibility of the proposed MBSD framework.

2007 2nd IEEE Workshop on Networking Technologies for Software Define Radio Networks, 2007

We focus on application of abstract network protocols towards prototyping sensor networks. Such abstract programs exist for several applications, e.g., routing, tracking, dissemination, etc. These programs are often specified in terms of event-driven actions where the program responds to actions in the environment or previous actions taken by the program. Hence, they are easy to specify, verify and manipulate. However, they cannot be applied directly in sensor networks as the computation model in sensor networks (write all with collision) differs from that (read/write or shared memory) used in abstract programs. Towards this end, we propose ProSe, a programming tool that enables the designers to (1) specify protocols in simple, abstract models, (2) reuse existing fault-tolerant/self-stabilizing protocols from the literature, and (3) automatically generate and deploy code. ProSe hides the deficiencies of existing programming platforms that require the designers to explicitly deal with buffer management, stack management, and flow control. As a result, we expect that ProSe will enable rapid prototyping and quick deployment of protocols.

ACM Transactions on Sensor Networks, 2008

Sensor networks have a significant potential in diverse applications some of which are already beginning to be deployed in areas such as environmental monitoring. As the application logic becomes more complex, programming difficulties are becoming a barrier to adoption of these networks. The difficulty in programming sensor networks is not only due to their inherently distributed nature but also the need for mechanisms to address their harsh operating conditions such as unreliable communications, faulty nodes, and extremely constrained resources. Researchers have proposed different programming models to overcome these difficulties with the ultimate goal of making programming easy while making full use of available resources. In this article, we first explore the requirements for programming models for sensor networks. Then we present a taxonomy of the programming models, classified according to the level of abstractions they provide. We present an evaluation of various programming models for their responsiveness to the requirements. Our results point to promising efforts in the area and a discussion of the future directions of research in this area.

Wireless Communications, IEEE, 2004