列控系统需求工程是列控系统发展的重要组成部分,需求规范验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于可执行UML (Executable UML, xUML)的列控系统需求规范验证方法开展研究。首先介绍列控系统需求规范验证的背景,分析当前时期列控系统需求规范验证研究存在的问题,总结了需求规范验证以及可执行模型建立方法的国内外研究现状。进一步研究了需求规范验证的理论基础,总结了需求规范验证的主要工作组成。基于可执行模型的验证是验证需求规范模型动态特性的有效手段,论文将可执行模型的思想引入到列控系统需求规范的验证中,设计了基于xUML的列控系统需求规范验证方法。本文使用xUML图形实现列控系统需求规范的描述；针对列控系统需求规范模型的特点,加强了动作行为语义,从而建立了列控系统需求规范的可执行模型；根据列控系统需求规范的特点,本文提出了基于xUML模型的列控系统需求规范完整性和可行性的验证方法。最后,以CTCS-3级列控系统需求规范为研究对象,对论文设计的需求规范验证方法进行了应用,证实了方法的合理性。图21幅,表5个,参考文献47篇。