Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
System architecture directions for networked sensors
ACM SIGPLAN Notices
Wireless sensor networks for habitat monitoring
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
A QoS support framework for dynamically reconfigurable multimedia applications
Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
A reconfigurable group management middleware service for wireless sensor networks
MPAC '05 Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing
Dynamic reconfiguration in sensor networks with regenerative energy sources
Proceedings of the conference on Design, automation and test in Europe
Runtime adaptation in safety-critical automotive systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Molecule: An adaptive dynamic reconfiguration scheme for sensor operating systems
Computer Communications
Software architecture for dynamic adaptation of heterogeneous applications
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
An MDP-based application oriented optimal policy for wireless sensor networks
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
OASiS: a service-oriented architecture for ambient-aware sensor networks
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Proactive reconfiguration of wireless sensor networks
Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems
A survivability model in wireless sensor networks
Computers & Mathematics with Applications
Dynamic profiling and fuzzy-logic-based optimization of sensor network platforms
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The design space is captured by formally modeling all the software components, their interfaces, and their composition. System requirements are expressed as formal constraints on QoS parameters that are measured at runtime. Reconfiguration is performed by transitioning from one point of the operation space to another based on the constraints. We demonstrate our approach using simulation results for a simple sensor network that performs one-dimensional tracking.