Title :
Engineering intelligent sensor networks with ASSL and DMF
Author :
Vassev, Emil ; Nixon, Paddy
Author_Institution :
Lero-the Irish Software Eng. Res. Center, Univ. Coll. Dublin, Dublin, Ireland
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 :
fault tolerant computing; intelligent sensors; ASSL; DMF; autonomic system specification language; demand migration framework; intelligent sensor networks; sensor self management behavior; Collaboration; Educational institutions; Humans; Intelligent networks; Intelligent sensors; NASA; Software engineering; Software systems; Specification languages; Weather forecasting; ASSL; DMF; autonomic systems; self-management; sensor networks;
Conference_Titel :
Collaborative Technologies and Systems (CTS), 2010 International Symposium on
Conference_Location :
Chicago, IL
Print_ISBN :
978-1-4244-6619-1
DOI :
10.1109/CTS.2010.5478519
