空中交通指挥系统(ATM)是保证航空飞行安全、高效的关键系统,它由复杂的硬件系统和软件系统组成,如何有效的监视并控制这些硬件、软件系统的运行状态是现代空管技术中的重要研究课题之一,对于自动化空管系统的安全有效运行具有重大意义。本文主要深入研究了如何有效地结合软件工程研发自动化空管系统网络监控软件并深入分析了其中一些有创新性、有价值的设计难点。Thales ATM公司研制的欧洲猫系统是著名的空中交通指挥系统,目前在数十个国家广泛使用,在国际上处于领先地位。本文作者有幸于2003年初开始参与Thales ATM公司欧洲猫空管系统的网络监控软件TKSUP的研发,纵观整个TKSUP的研发,有两大方面非常具有研究价值,首先是TKSUP的研发从始自终运用了软件工程规范,软件工程是保证软件项目高质量完成的规范,因此软件工程在TKSUP项目中的实施对保证项目有效进行具有决定性的意义;同时,在TKSUP研发过程中我们遇到了不少的设计难点,这些设计难点也有相当深入探讨的价值,正是基于以上两方面原因,笔者希望以TKSUP项目的具体实施为基础,探讨如何有效地将软件工程理论同具体软件项目的开发实践相结合,并同时对一些有创新性和难度的设计环节进行深入研究分析。文章首先由第一部分交待了课题背景,根据课题的背景我们分析论证了课题的意义。在文章第二部分,我们主要介绍了软件工程的主要理论,希望通过理论的介绍为进一步的分析作一个很<WP=3>好的铺垫。在文章的第三部分我们着重讨论了TKSUP项目如何结合软件工程进行实施,这也是全文最重要的一部分,在这一部分中,我们重点分析了需求分析、设计、实现和测试四个阶段的实施情况,并分析了其中一些具有创新性研究价值的技术解决方案,包括设计架构的取舍、开发技术的选择、Event-Driven机制设计、SNMP协议使用机制设计、Multicast使用机制的设计、令牌的协商机制的设计等。文章的最后部分,我们对TKSUP项目中软件工程的实施进行了总结,并对TKSUP未来的发展进行了展望。