Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 in diverse areas from air-traffic control with Eurocontrol, to software testing with Ericsson. His research in software testing has included the use of using... Read More →



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

Attendees (2)