Directed diffusion: a scalable and robust communication paradigm for sensor networks
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Hardware and Software Techniques for Controlling DRAM Power Modes
IEEE Transactions on Computers
Wireless sensor networks: a survey
Computer Networks: The International Journal of Computer and Telecommunications Networking
Synchronous Modelling of Asynchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A User Guide to HyTech
Energy-aware memory allocation in heterogeneous non-volatile memory systems
Proceedings of the 2003 international symposium on Low power electronics and design
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Simulating the power consumption of large-scale sensor network applications
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Avrora: scalable sensor network simulation with precise timing
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Describing and Executing Random Reactive Systems
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
International Journal on Software Tools for Technology Transfer (STTT)
Accurate prediction of power consumption in sensor networks
EmNets '05 Proceedings of the 2nd IEEE workshop on Embedded Networked Sensors
| Hi-index | 0.00 |
We describe how we use Lustre to build global and accurate executable models of energy consumption in sensor networks, intended to be used for both simulations and formal validation. One of the key ideas is to build a component-based global model, in such a way that various abstractions of the same model can be derived by unplugging a component and plugging a more abstract (or more detailed) one. This ability to play with various abstractions that can be formally compared with one another is essential for a virtual prototyping approach connected to formal validation tools. We comment on the properties of Lustre and its development environment that make this approach feasible.