SODA

A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs

Grinchtein, Olga and Carlsson, Mats and Pearson, Justin (2015) A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. In: 9th International Conference, TAP 2015, Held as Part of STAF 2015.

Full text not available from this repository.

Official URL: http://link.springer.com/chapter/10.1007/978-3-319...

Abstract

Testing a telecommunication protocol often requires protocol log analysis. A protocol log is a sequence of messages with timestamps. Protocol log analysis involves checking that the content of messages and timestamps are correct with respect to the protocol specification. We model a protocol specification using constraint programming (MiniZinc), and we present an approach where a constraint solver is used to perform protocol log analysis. Our case study is the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard. We were able to analyse logs containing more than 3000 messages with more than 4000 errors.

Item Type:Conference or Workshop Item (Paper)
ID Code:5950
Deposited By:Mats Carlsson
Deposited On:18 Jan 2016 09:05
Last Modified:18 Jan 2016 09:05

Repository Staff Only: item control page