空中交通管制系统(ATC)系统中的业务特点是实时性强,可靠性高,并且处理业务不能中断;尤其在可靠性方面有很高的要求。针对ATC 系统的这些特点,本文根据在川大智胜相关项目的研发工作,从整个空管系统的可靠性的角度,针对空中交通管制监控模块的若干关键技术,进行了大量深入细致的研究。本文研究的主要问题如下: 双机热备份系统的设计和实现:相对于前期的双机系统,鉴于空管系统对实时性的高要求,在双机管理进程中加入主动探测被管理进程的机制,与以前超时探测机制相结合,更精确的把握主从切换的时机,提高系统的可靠性。并根据空管系统的进程繁多复杂的实际情况,提出了被管理进程优先级的思想,设计了一种优先级判定算法,取得了良好的效果。双网冗余技术及其实现:双网冗余保证了网络数据通信的准确可靠,是空管系统重要的冗余措施。它采用了两个物理子网并行工作的模式,当一个子网出现故障时,后备子网能继续提供网络通信的功能。主要包括硬件配置、工作方式、网络切换、故障诊断定位等多方面内容。对SNMPv3 的研究:监视与控制子系统监视整个空管系统的工作状态。它是整个系统正常运行的保证。目前的监控子系统是全面基于SNMPv2 的。从可靠性的角度来讲,由于SNMPv2 协议本身存在着安全隐患,并且监控子系统也提供与外界进行通信的接口,这对整个ATC 系统来说,增加了网络安全方面的威胁。而SNMPv3 采用User-based 安全模型提供SNMP 网络管理的可靠性。本文将从SNMPv3 的体系结构着手,就USM(user-based security model)基于用户的安全模型和VACM(view-based Access control)基于视图的访问控制模型两方面来研究SNMPv3 的可靠性。