GRK 643: Software for Mobile Communicaton Systems

人们普遍预计，互联网将很快在语音和数据传输方面发挥关键作用。此外，有一种明显的趋势是，分布式应用程序通过标准化的中间件平台进行通信。同样，移动通信技术的改进也将很快使移动用户获得所有可用的服务。然而，要实现这一切，通信系统软件的大规模研究工作是必要的。研究培训小组将通过研究项目和课程来研究这些不同和复杂的方面。要解决的主题包括但不限于通信协议的正式规范和验证、与通信系统设计相关的软件工程方面、未来网络服务的规范、实现和评估，以及来自不同领域的应用程序的分析。

It is widely expected that the Internet will soon play a crucial role for both voice and data transmission. Moreover, there is an observable trend towards distributed applications, communicating via standardised middleware platforms. Likewise, improvements in mobile communication technologies will soon give mobile users access to all available service as well. Yet, to make all this happen massive research efforts into software for communication systems are necessary. The research training group will look into these diverse and complex aspects through both research projects and courses. Topics to be addressed include, but are not limited to formal specification and verification of communication protocols, software engineering aspects pertinent to the design of communication systems, specification, implementation, and evaluation of future network services, as well as the analysis of applications from different domains.