Loading…
CP 2016 has ended
Back To Schedule
Monday, September 5 • 15:30 - 16:05
CP meets Verification - Invited talk: The use of Constraint Programming in the testing and analysis of a telecommunications protocol
    See presentations
In this talk I will summarise some of the work that I have been doing in collaboration with Ericsson and SICS on using constraint programming to model telecommunication protocols. The case study used is the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard. Various parts of the protocol were modelled in MiniZinc, which allowed the derivations of test cases and the ability analysis existing protocol logs. Very early on we were able to find errors in an existing bespoke test harness for this protocol. I will talk about the general approach and how other protocols could be modelled and the use of constraint programming as a test harness.

Moderators
Speakers
avatar for Justin Pearson

Justin Pearson

Senior Lecturer, Uppsala universitet
Justin Pearson is a senior lecturer(Docent) at the department of IT at Uppsala University. His main focus of research is on constraint programming, its theory, its implementation through propagator design, and its applications. He has worked on applications of constraint programming... Read More →



Monday September 5, 2016 15:30 - 16:05 CEST
B202 Bosco building

Attendees (2)