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 | Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems |
Editors | William K. McQuay, Waleed W. Smari |
Place of Publication | United States |
Publisher | IEEE, Institute of Electrical and Electronics Engineers |
Pages | 94-102 |
Number of pages | 9 |
ISBN (Electronic) | 9781424466221 |
ISBN (Print) | 9781424466191 |
DOIs | |
Publication status | Published - 2010 |
Externally published | Yes |
Event | 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010) - Chicago, Chicago, United States Duration: 17 May 2010 → 21 May 2010 |
Conference
Conference | 2010 International Symposium on Collaborative Technologies and Systems (CTS 2010) |
---|---|
Abbreviated title | CTS 2010 |
Country/Territory | United States |
City | Chicago |
Period | 17/05/10 → 21/05/10 |