Aspect-oriented design of sensor networks

R. R. Brooks, Michelle Zhu, Jacob Lamb, S. S. Iyengar

Research output: Contribution to journalArticleResearchpeer-review

9 Citations (Scopus)

Abstract

The rapid technology development in wireless communication and embedded micro-sensing devices has made the distributed sensor networks (DSN) an area of national importance. Wireless sensor networks are an important military technology with civil and scientific applications. More importantly, the design and analysis of sensor networks can be quite complicated, since each node must simultaneously interact with many other nodes to achieve multiple goals. In this paper, we show how this problem can be made tractable by designing separate protocols for each aspect of a node's behavior. We model this discrete event system by Petri Nets and then formulate three aspect hierarchies: sensing, communications, and command. Within each aspect hierarchy, a node is dynamically assigned roles. To combine the hierarchies, control specifications are derived that enforce consistency across the aspects. Controllers are created using three discrete event methodologies to show how computationally independent aspect-oriented designs can be integrated to form a unified distributed system. The controller methodologies used are: (i) Petri Nets, (ii) finite state automata (FSA) using the Ramadge and Wonham approach, and (iii) vector addition control using the Wonham and Li approach. Finally, we contrast the controller design methodologies by presenting the advantages and disadvantages for each method. In conclusion, for our Petri Nets modeled DSN system with n places and m transitions, constructing Petri Nets controller is computationally efficient but with controller execution time complexity of O(n × m2). On the other hand, FSA controller provides prompt response with time complexity of O(n × m) at the cost of manual offline state space search and encoding. Thus this method is only applicable to medium and small size system.

Original languageEnglish
Pages (from-to)853-865
Number of pages13
JournalJournal of Parallel and Distributed Computing
Volume64
Issue number7
DOIs
StatePublished - 1 Jan 2004

Fingerprint

Sensor networks
Sensor Networks
Petri Nets
Petri nets
Controller
Controllers
Finite State Automata
Distributed Sensor
Distributed Networks
Vertex of a graph
Time Complexity
Finite automata
Sensing
Vector addition
Methodology
Discrete Event Systems
Discrete Event
Wireless Communication
Controller Design
Communication

Keywords

  • Aspect oriented design
  • Discrete event control
  • Distributed sensor networks
  • Petri Nets
  • Surveillance

Cite this

Brooks, R. R. ; Zhu, Michelle ; Lamb, Jacob ; Iyengar, S. S. / Aspect-oriented design of sensor networks. In: Journal of Parallel and Distributed Computing. 2004 ; Vol. 64, No. 7. pp. 853-865.
@article{f70d9da4613541b8875fe2ed0ebc80ae,
title = "Aspect-oriented design of sensor networks",
abstract = "The rapid technology development in wireless communication and embedded micro-sensing devices has made the distributed sensor networks (DSN) an area of national importance. Wireless sensor networks are an important military technology with civil and scientific applications. More importantly, the design and analysis of sensor networks can be quite complicated, since each node must simultaneously interact with many other nodes to achieve multiple goals. In this paper, we show how this problem can be made tractable by designing separate protocols for each aspect of a node's behavior. We model this discrete event system by Petri Nets and then formulate three aspect hierarchies: sensing, communications, and command. Within each aspect hierarchy, a node is dynamically assigned roles. To combine the hierarchies, control specifications are derived that enforce consistency across the aspects. Controllers are created using three discrete event methodologies to show how computationally independent aspect-oriented designs can be integrated to form a unified distributed system. The controller methodologies used are: (i) Petri Nets, (ii) finite state automata (FSA) using the Ramadge and Wonham approach, and (iii) vector addition control using the Wonham and Li approach. Finally, we contrast the controller design methodologies by presenting the advantages and disadvantages for each method. In conclusion, for our Petri Nets modeled DSN system with n places and m transitions, constructing Petri Nets controller is computationally efficient but with controller execution time complexity of O(n × m2). On the other hand, FSA controller provides prompt response with time complexity of O(n × m) at the cost of manual offline state space search and encoding. Thus this method is only applicable to medium and small size system.",
keywords = "Aspect oriented design, Discrete event control, Distributed sensor networks, Petri Nets, Surveillance",
author = "Brooks, {R. R.} and Michelle Zhu and Jacob Lamb and Iyengar, {S. S.}",
year = "2004",
month = "1",
day = "1",
doi = "10.1016/j.jpdc.2003.12.003",
language = "English",
volume = "64",
pages = "853--865",
journal = "Journal of Parallel and Distributed Computing",
issn = "0743-7315",
publisher = "Academic Press Inc.",
number = "7",

}

Aspect-oriented design of sensor networks. / Brooks, R. R.; Zhu, Michelle; Lamb, Jacob; Iyengar, S. S.

In: Journal of Parallel and Distributed Computing, Vol. 64, No. 7, 01.01.2004, p. 853-865.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Aspect-oriented design of sensor networks

AU - Brooks, R. R.

AU - Zhu, Michelle

AU - Lamb, Jacob

AU - Iyengar, S. S.

PY - 2004/1/1

Y1 - 2004/1/1

N2 - The rapid technology development in wireless communication and embedded micro-sensing devices has made the distributed sensor networks (DSN) an area of national importance. Wireless sensor networks are an important military technology with civil and scientific applications. More importantly, the design and analysis of sensor networks can be quite complicated, since each node must simultaneously interact with many other nodes to achieve multiple goals. In this paper, we show how this problem can be made tractable by designing separate protocols for each aspect of a node's behavior. We model this discrete event system by Petri Nets and then formulate three aspect hierarchies: sensing, communications, and command. Within each aspect hierarchy, a node is dynamically assigned roles. To combine the hierarchies, control specifications are derived that enforce consistency across the aspects. Controllers are created using three discrete event methodologies to show how computationally independent aspect-oriented designs can be integrated to form a unified distributed system. The controller methodologies used are: (i) Petri Nets, (ii) finite state automata (FSA) using the Ramadge and Wonham approach, and (iii) vector addition control using the Wonham and Li approach. Finally, we contrast the controller design methodologies by presenting the advantages and disadvantages for each method. In conclusion, for our Petri Nets modeled DSN system with n places and m transitions, constructing Petri Nets controller is computationally efficient but with controller execution time complexity of O(n × m2). On the other hand, FSA controller provides prompt response with time complexity of O(n × m) at the cost of manual offline state space search and encoding. Thus this method is only applicable to medium and small size system.

AB - The rapid technology development in wireless communication and embedded micro-sensing devices has made the distributed sensor networks (DSN) an area of national importance. Wireless sensor networks are an important military technology with civil and scientific applications. More importantly, the design and analysis of sensor networks can be quite complicated, since each node must simultaneously interact with many other nodes to achieve multiple goals. In this paper, we show how this problem can be made tractable by designing separate protocols for each aspect of a node's behavior. We model this discrete event system by Petri Nets and then formulate three aspect hierarchies: sensing, communications, and command. Within each aspect hierarchy, a node is dynamically assigned roles. To combine the hierarchies, control specifications are derived that enforce consistency across the aspects. Controllers are created using three discrete event methodologies to show how computationally independent aspect-oriented designs can be integrated to form a unified distributed system. The controller methodologies used are: (i) Petri Nets, (ii) finite state automata (FSA) using the Ramadge and Wonham approach, and (iii) vector addition control using the Wonham and Li approach. Finally, we contrast the controller design methodologies by presenting the advantages and disadvantages for each method. In conclusion, for our Petri Nets modeled DSN system with n places and m transitions, constructing Petri Nets controller is computationally efficient but with controller execution time complexity of O(n × m2). On the other hand, FSA controller provides prompt response with time complexity of O(n × m) at the cost of manual offline state space search and encoding. Thus this method is only applicable to medium and small size system.

KW - Aspect oriented design

KW - Discrete event control

KW - Distributed sensor networks

KW - Petri Nets

KW - Surveillance

UR - http://www.scopus.com/inward/record.url?scp=10844221721&partnerID=8YFLogxK

U2 - 10.1016/j.jpdc.2003.12.003

DO - 10.1016/j.jpdc.2003.12.003

M3 - Article

VL - 64

SP - 853

EP - 865

JO - Journal of Parallel and Distributed Computing

JF - Journal of Parallel and Distributed Computing

SN - 0743-7315

IS - 7

ER -