PhD defence by Kent Inge Fagerland Simonsen, Friday, 31, October, at 14:00
Abstract
Modern ICT systems are increasingly dependent upon distributed software and communication over the Internet. It is therefore important that protocol software is correct and works as expected. In this project, a new method and a supporting software tool for efficient modelling of protocols and automatic generation of software implementations based on such models has been developed. The method and the tool developed in this project has been evaluated by applying it to the WebSocket protocol and the results have been verified using an industrial benchmark suite with promising results.
Supervisors
Associate Professor Ekkart Kindler, DTU Compute
Professor Lars Michael Kristensen, HiB Norway
Examiners
Associate Professor Hubert Baumeister, DTU Compute (Chair)
Professor Hein Meling, Stavanger University, Norway
Dr. Daniel Moldt, Hamburg University, Germany
Chairman at the defence
Associate Professor Anne Haxthausen, DTU Compute