File(s) under permanent embargo
Engineering intelligent sensor networks with ASSL and DMF
conference contribution
posted on 2023-05-23, 09:44 authored by Vassev, E, Nixon, PWe 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.
History
Publication title
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS)Pagination
94-102ISBN
978-1-4244-6619-1Publisher
IEEEPlace of publication
IEEE Digital LibraryEvent title
2010 International Symposium on Collaborative Technologies and Systems (CTS)Event Venue
Chicago, ILDate of Event (Start Date)
2010-05-17Date of Event (End Date)
2010-05-21Rights statement
Copyright 2010 IEEERepository Status
- Restricted