Reasoning about Sensor Networks

Authored by: Peralta Manuel , Mukhopadhyay Supratik , Bharadwaj Ramesh

Distributed Sensor Networks

Print publication date:  September  2012
Online publication date:  October  2016

Print ISBN: 9781439862827
eBook ISBN: 9780203729540
Adobe ISBN:


 Download Chapter



Sensor networks are embedded networked systems that receive percept streams from the environment and constantly react to them. From a software-based point of view, modifications done to any system Sensor Network Systems (SNS) should be performed under utmost caution as SNSs are often deployed in mission-critical applications. The latter means that any disruption that inhibits the system in satisfying its operational semantics will definitively yield catastrophic results. Also, sensor networks are required to react dynamically to ever-changing environmental conditions without human intervention. Therefore, one should strive to provide methods that ensure the correctness of SNSs under reconfiguration is preserved, that is, the SNS respects its operational requirements, while the system structure changes in response to an evolving environment.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.