FEDL: Formalized Event Description Language for Wireless Sensor Networks

Event detection plays an important role in sensor network applications such as battlefield surveillance and habitat monitoring. However, effective approaches to specify events in a sensor network remain a challenge. Existing techniques such as natural languages or SQL-like languages have a number of limitations. In this paper, we present a formalized event description language (FEDL) developed especially for sensor networks by extending and modifying Petri Nets. As a description language, FEDL is an extension of Petri-Nets with both diagram and symbolic representation support. A FEDL Petri Net integrates features from color, time and stochastic Petri Nets to tackle problems in specification and analysis. As a system analysis tool, FEDL can capture the structural, spatial and temporal properties of a complex event detection system, which can be used to assist system designers to identify inconsistencies and potential problems. In addition, FEDL can perform case-specific analysis that helps in the debugging phase. A case study is presented as an example to illustrate the features and effectiveness of FEDL. Keyword: Wireless sensor networks, Petri Nets, spatial and temporal properties, event specification and analysis

[1]  Alejandro P. Buchmann,et al.  Event composition in time-dependent distributed systems , 1999, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).

[2]  Thomas A. Henzinger,et al.  Hybrid systems III : verification and control , 1996 .

[3]  Peter Csaba Ölveczky,et al.  Specification and Analysis of Real-Time Systems Using Real-Time Maude , 2004, FASE.

[4]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[5]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

[6]  David E. Culler,et al.  System architecture directions for networked sensors , 2000, SIGP.

[7]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[8]  Scarlet Schwiderski-Grosche.  Monitoring the behaviour of distributed systems , 1996 .

[9]  Thomas A. Henzinger,et al.  HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[10]  Satish Kumar,et al.  Next century challenges: scalable coordination in sensor networks , 1999, MobiCom.

[11]  Fulvio Babich,et al.  Formal methods for specification and analysis of communication protocols , 2002, IEEE Communications Surveys & Tutorials.

[12]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[13]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[14]  Yadati Narahari,et al.  Performance modeling of automated manufacturing systems , 1992 .

[15]  Alexandros Labrinidis,et al.  Report from the first workshop on geo sensor networks , 2004, SGMD.

[16]  René David,et al.  Petri nets for modeling of dynamic systems: A survey , 1994, Autom..

[17]  C. Petri.  Kommunikation mit Automaten , 1962 .

[18]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[19]  Hazem El-Gendy,et al.  Transformation of Lotos specifications to Estelle specifications , 1997, Proceedings Second IEEE Symposium on Computer and Communications.

[20]  Insup Lee,et al.  Fair real-time traffic scheduling over a wireless LAN , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

[21]  Philippe Bonnet,et al.  Querying the physical world , 2000, IEEE Wirel. Commun..

[22]  Wei Hong,et al.  The design of an acquisitional query processor for sensor networks , 2003, SIGMOD '03.

[23]  Mark R. Cutkosky,et al.  Using sensor fusion and contextual information to perform event detection during a phase-based manipulation task , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[24]  Sang Hyuk Son,et al.  Event Detection Services Using Data Service Middleware in Distributed Sensor Networks , 2003, Telecommun. Syst..

[25]  Dieter Hogrefe,et al.  SDL : formal object-oriented language for communicating systems , 1997 .

[26]  Gabor Karsai,et al.  Metaprogrammable toolkit for model-integrated computing , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[27]  Alejandro P. Buchmann,et al.  Building an integrated active OODBMS: requirements, architecture, and design decisions , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[28]  Narain H. Gehani,et al.  Event specification in an active object-oriented database , 1992, SIGMOD '92.

[29]  ÖlveczkyPeter Csaba,et al.  Specification of real-time and hybrid systems in rewriting logic , 2001 .

[30]  Deborah Estrin,et al.  Habitat monitoring: application driver for wireless communications technology , 2001, CCRV.

[31]  Chien-Chung Shen,et al.  Querying and tasking in sensor networks , 2000, Defense, Security, and Sensing.

[32]  Rüdiger Valk,et al.  Formal Properties of Place/Transition Nets , 1979, Advanced Course: Net Theory and Applications.

[33]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[34]  Wang Yi,et al.  New Generation of UPPAAL , 1998 .

[35]  Chien-Chung Shen,et al.  Sensor information networking architecture and applications , 2001, IEEE Wirel. Commun..

[36]  Umeshwar Dayal,et al.  Rules Are Objects Too: A Knowledge Model For An Active, Object-Oriented Database System , 1988, OODBS.

[37]  Ramesh Govindan,et al.  The Sensor Network as a Database , 2002 .

[38]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..