Engineering intelligent sensor networks with ASSL and DMF

E Vassev, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
LanguageEnglish
Title of host publicationUnknown Host Publication
Pages94-102
Number of pages9
DOIs
Publication statusPublished - 2010
EventProceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS) - Chicago, IL
Duration: 1 Jan 2010 → …

Conference

ConferenceProceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS)
Period1/01/10 → …

Fingerprint

Specification languages
Sensor networks
Sensor nodes
Computer systems

Keywords

  • ASSL
  • DMF
  • autonomic systems
  • self-management
  • sensor networks

Cite this

Vassev, E ; Nixon, Patrick. / Engineering intelligent sensor networks with ASSL and DMF. Unknown Host Publication. 2010. pp. 94-102
@inproceedings{51cee33d13fd48e2b603e689c8bbc4dc,
title = "Engineering intelligent sensor networks with ASSL and DMF",
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.",
keywords = "ASSL, DMF, autonomic systems, self-management, sensor networks",
author = "E Vassev and Patrick Nixon",
year = "2010",
doi = "10.1109/CTS.2010.5478519",
language = "English",
isbn = "978-1-4244-6619-1",
pages = "94--102",
booktitle = "Unknown Host Publication",

}

Vassev, E & Nixon, P 2010, Engineering intelligent sensor networks with ASSL and DMF. in Unknown Host Publication. pp. 94-102, Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS), 1/01/10. https://doi.org/10.1109/CTS.2010.5478519

Engineering intelligent sensor networks with ASSL and DMF. / Vassev, E; Nixon, Patrick.

Unknown Host Publication. 2010. p. 94-102.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Engineering intelligent sensor networks with ASSL and DMF

AU - Vassev, E

AU - Nixon, Patrick

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - ASSL

KW - DMF

KW - autonomic systems

KW - self-management

KW - sensor networks

U2 - 10.1109/CTS.2010.5478519

DO - 10.1109/CTS.2010.5478519

M3 - Conference contribution

SN - 978-1-4244-6619-1

SP - 94

EP - 102

BT - Unknown Host Publication

ER -