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)

84836.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial No Derivatives.


Publisher's URL:


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
Glasgow Author(s) Enlighten ID:Koliousis, Mr Alexandros and Sevegnani, Dr Michele and Calder, Professor Muffy and Sventek, Professor Joseph
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
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