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.