Real-time verification of wireless home networks using bigraphs with sharing

Calder, M. , Koliousis, A., Sevegnani, M. and Sventek, J. (2014) Real-time verification of wireless home networks using bigraphs with sharing. Science of Computer Programming, 80(B), pp. 288-310. (doi:10.1016/j.scico.2013.08.004)

[img]
Preview
Text
84836.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.

1MB

Publisher's URL: http://dx.doi.org/10.1016/j.scico.2013.08.004

Abstract

Home wireless networks are difficult to manage and comprehend because of evolving locality, co-locality, connectivity and interaction. We define formal models of home wireless network infrastructure and policies and investigate how they can be used in a network management system designed to provide user-oriented support. We model spatial and temporal behaviour of network interactions and user-initiated network policies and define an online framework for generation of models from network and user-initiated events. The models are expressed in an extension to Milnerʼs bigraphical reactive systems. Analysis of the models is carried out in real-time by a bespoke bigraph reasoning system based on checking predicates, which is encoded as bigraph matching. Real-time model generation and analysis is implemented on the experimental Homework system router and trialled with synthetic and actual network data.

Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Sventek, Professor Joseph and Calder, Professor Muffy and Koliousis, Mr Alexandros and Sevegnani, Dr Michele
Authors: Calder, M., Koliousis, A., Sevegnani, M., and Sventek, J.
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Science of Computer Programming
Publisher:Elsevier
ISSN:0167-6423
ISSN (Online):1872-7964
Copyright Holders:Copyright © 2013 The Authors
First Published:First published in Science of Computer Programming
Publisher Policy:Reproduced under a Creative Commons License

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
478101Homework: Shaping future user centred domestic infrastructuresJoseph SventekEngineering & Physical Sciences Research Council (EPSRC)EP/F064225/1SCHOOL OF COMPUTING SCIENCE