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)

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: 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
• 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

Project Code	Award No	Project Name	Principal Investigator	Funder's Name	Funder Ref	Lead Dept
47810	1	Homework: Shaping future user centred domestic infrastructures	Joseph Sventek	Engineering & Physical Sciences Research Council (EPSRC)	EP/F064225/1	SCHOOL OF COMPUTING SCIENCE