论文部分内容阅读
随着SIP协议的标准化，该协议成为IP领域内运用广泛的信令控制协议。采用SIP协议开发视频会议系统成为目前的研究热点。这不仅增加了视频会议系统的灵活性、可扩展性，也有利于在Internet上开发多种多样的新一代服务。 本文在研究了流媒体、SIP协议及其协议栈等技术的基础上，结合多次视频会议系统开发和研究的实践经验，提出了多点控制器的设计模式，并利用时间自动机模型对媒体订阅协议进行形式化建模，然后利用Uppaal对模型进行验证。利用该多点控制器，作者基于SIP协议的RTC协议栈设计了会议服务器，设计中详细介绍了视频会议服务器的功能需求和模块设计。采用该结构实现的会议服务器用于视频会议系统中负责会议的管理、会话管理以及媒体转发等。经测试系统具有良好的稳定性、灵活性，能够进行多人之间的音视频和文本交互，从而也验证了系统设计的有效性和合理性。