• DocumentCode
    2562022
  • 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
  • fYear
    2010
  • fDate
    17-21 May 2010
  • Firstpage
    94
  • Lastpage
    102
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Collaborative Technologies and Systems (CTS), 2010 International Symposium on
  • Conference_Location
    Chicago, IL
  • Print_ISBN
    978-1-4244-6619-1
  • Type

    conf

  • DOI
    10.1109/CTS.2010.5478519
  • Filename
    5478519