Developing intelligent sensor networks — a technological convergence approach

We present a technological convergence approach to developing sensor networks capable of self-management. We use ASSL (Autonomic System Specification Language) to formally develop autonomous intelligent sensor nodes and DMF (Demand Migration Framework) to connect these nodes in a sensor network. ASSL provides constructs for modeling special self-management policies that drive the sensor nodes’ behavior and control the communication mechanism provided by DMF.