Modelling and simulation of a telecommunication application using Constraint Programming

• Main Author: Couderc, Noric
• Format: Others
• Language: English
• Published: Uppsala universitet, Institutionen för informationsteknologi 2014
• Online Access: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-232793

The complexity of telecommunication applications is constantly increasing, therefore, specialized tools are needed to test the real-world implementation of such applications. Finding test cases can be time consuming. This paper presents an approach in test cases generation using constraint programming mainly focused on time requirements between messages. A model is presented  for requirements of the ETWS (Earthquake and Tsunami warning system). An abstraction of the first model is also presented  to ease modelling of similar telecommunication applications. The abstract model is found to scale nicely, making it possible to generate communication logs for many notifications. A summary of the drawbacks of the abstract model is also presented.