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

We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment ANDES enables designers to systematically develop a model for the system, refine it iteratively by tuning the system parameters based on existing analysis techniques, and resolve key design decisions according to the required system performance. We also present a real-time communication schedulability analysis for sensor networks based on exact characterization which utilizes information regarding network topology and workload characteristics to analyze the schedulability of a set of periodic streams with real-time constraints. We further demonstrate the use of ANDES for the designers through detailed case studies where we design wireless sensor network applications (for target detection and environmental monitoring) using ANDES and validate the results through simulations. Currently, ANDES supports communication schedulability analysis, target tracking analysis and real-time capacity analysis which work on system models with differing levels of detail. ANDES has been developed by extending the AADL/OSATE framework which has been used extensively for real-time and embedded systems. Based on key insights gained from the development of this analysis tool, we address issues in AADL for its use in the field of wireless sensor networks. We have developed a plug-in for ANDES, called ModelGeneration, which bridges the gap between the semantics needed for sensor networks and the syntax supported by AADL. This makes it easy for sensor network designers to build system models that are intuitive to them. Furthermore, ANDES is extensible and new analysis techniques can be easily incorporated into the toolset.

[1]  John A. Stankovic,et al.  Analysis approaches for predicting performance of wireless sensor networks , 2006 .

[2]  A. Parker,et al.  Tinker: a tool for designing data-centric sensor networks , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[3]  Matthew B. Dwyer,et al.  Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[4]  H. El-Rewini,et al.  SensDep: a design tool for the deployment of heterogeneous sensing devices , 2006, Second IEEE Workshop on Dependability and Security in Sensor Networks and Systems.

[5]  John A. Stankovic,et al.  ALARM-NET: Wireless Sensor Networks for Assisted-Living and Residential Monitoring , 2006 .

[6]  Tarek F. Abdelzaher,et al.  Analysis of Target Detection Performance for Wireless Sensor Networks , 2005, DCOSS.

[7]  O. Brevet,et al.  Worldsens: From Lab to Sensor Network Application Development and Deployment , 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.

[8]  Gang Zhou,et al.  Achieving Long-Term Surveillance in VigilNet , 2006, INFOCOM.

[9]  Tian He,et al.  Differentiated surveillance for sensor networks , 2003, SenSys '03.

[10]  Brian Henderson-Sellers,et al.  UML – the Good, the Bad or the Ugly? Perspectives from a panel of experts , 2005, Software & Systems Modeling.

[11]  S. Vestal,et al.  MetaH support for real-time multi-processor avionics , 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

[12]  John A. Stankovic.  VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems , 2001, EMSOFT.

[13]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[14]  Gang Zhou,et al.  Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[15]  Deborah Estrin,et al.  EmStar: A Software Environment for Developing and Deploying Wireless Sensor Networks , 2004, USENIX ATC, General Track.

[16]  Jörgen Hansson,et al.  ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks , 2007, RTSS 2007.

[17]  Tarek F. Abdelzaher,et al.  On real-time capacity limits of multihop wireless sensor networks , 2004, 25th IEEE International Real-Time Systems Symposium.