DTAI

Tuesday December 13 2011, at 16h30 in Celestijnenlaan 200A (room 05.001)

On the Analysis of Large Distributed Systems with Prolog
By Theofrastos Mantadelis (PhD student DTAI)

There is an emerging trend nowadays to equip vehicles with an embedded on-board computing unit that has communication capabilities. The goal is to enhance the overall driving experience. Such systems require complex protocols to route the network traffic. Research has focused on developing protocols like that, but not on evaluating their performance.  Their evaluation currently is done with simulations that are computationally expensive. We present a different approach of evaluating such systems. Using an abstracted logical model of the distributed system, we developed an application in Prolog that computes the behavior of a protocol as such. This application was able to perform analysis of a very big distributed system where the simulation application (OMNeT++) was unable to load in memory. This is joint work with Distrinet.