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...
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)|
|Deposited By:||Mats Carlsson|
|Deposited On:||18 Jan 2016 09:05|
|Last Modified:||18 Jan 2016 09:05|
Repository Staff Only: item control page