Abstract

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.