Abstract
We describe the use of ASSL (Autonomic System Specification Language) and DMF (Demand Migration Framework) in the development of software systems for intelligent sensor networks. ASSL is used to formally specify and automatically generate autonomous intelligent sensor nodes. DMF is applied to connect those nodes in a sensor network. ASSL provides sensor networks with self-management behavior based on special policies allowing sensor nodes to reason and collaborate by exchanging information via a DMF instance.
| Original language | English |
|---|---|
| Title of host publication | Unknown Host Publication |
| Publisher | IEEE |
| Pages | 94-102 |
| Number of pages | 9 |
| ISBN (Print) | 978-1-4244-6619-1 |
| DOIs | |
| Publication status | Published (in print/issue) - 2010 |
| Event | Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS) - Chicago, IL Duration: 1 Jan 2010 → … |
Conference
| Conference | Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS) |
|---|---|
| Period | 1/01/10 → … |
Keywords
- ASSL
- DMF
- autonomic systems
- self-management
- sensor networks