原文传递
基于xUML的列控系统需求规范验证方法研究
| 论文题名： | 基于xUML的列控系统需求规范验证方法研究 |
| 关键词： | 列车运行控制系统;系统需求;需求规范验证;可执行模型 |
| 摘要： | 列控系统需求工程是列控系统发展的重要组成部分,需求规范验证是需求工程建设的重要环节,它是降低系统开发风险和项目成本的有效手段。本文主要围绕基于可执行UML(Executable UML,xUML)的列控系统需求规范验证方法开展研究。 首先介绍列控系统需求规范验证的背景,分析当前时期列控系统需求规范验证研究存在的问题,总结了需求规范验证以及可执行模型建立方法的国内外研究现状。进一步研究了需求规范验证的理论基础,总结了需求规范验证的主要工作组成。 基于可执行模型的验证是验证需求规范模型动态特性的有效手段,论文将可执行模型的思想引入到列控系统需求规范的验证中,设计了基于xUML的列控系统需求规范验证方法。本文使用xUML图形实现列控系统需求规范的描述;针对列控系统需求规范模型的特点,加强了动作行为语义,从而建立了列控系统需求规范的可执行模型;根据列控系统需求规范的特点,本文提出了基于xUML模型的列控系统需求规范完整性和可行性的验证方法。 最后,以CTCS-3级列控系统需求规范为研究对象,对论文设计的需求规范验证方法进行了应用,证实了方法的合理性。图21幅,表5个,参考文献47篇。 |
| 作者： | 张庆新 |
| 专业： | 交通信息工程及控制 |
| 导师： | 唐涛 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2010 |
| 正文语种： | 中文 |
检索历史
应用推荐
