Program representations for testing wireless sensor network applications
Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting
Hi-index | 0.00 |
Physical devices are increasingly regulated by embedded computers rather than analog controllers. Embedded computers are essentially computational engines capable of sensing the environment, actuating physical devices, carrying out data analysis and planning actions. Embedded computers can thus enable machines to become intelligent and autonomous. The next technological revolution will follow from the ability of intelligent machines to network with other intelligent machines and with humans. As cyberspace permeates physical space, networks of autonomous machines will serve human needs proactively, not merely reactively. The key technology which will facilitate the development of such systems is sensor networks. software agents, and adaptive middleware. The paper discusses the nature of algorithms required for sensor networks, a computational model and programming language for building and reasoning applications on such networks, and argues the utility of a programming model based on agents.