基于特征分析的铁路信号联锁安全控制逻辑领域建模

发布时间：2022-04-17 20:41

　　摘要：计算机联锁系统是通过对车站信号设备的控制,实现联锁功能,保证行车安全和提高行车效率的实时控制系统。联锁软件作为计算机联锁系统的核心,是一种规模庞大、功能复杂的安全苛求性软件。联锁软件开发难度大、开发周期长。随着计算机联锁系统的发展,在联锁软件开发中实现软件复用,对提高软件开发效率和开发质量具有重要实际意义。传统的联锁软件开发方法缺乏指导进行软件复用的技术手段,领域工程是实现软件复用的关键技术,有利于实现大粒度的软件复用。因此,基于领域工程方法开发联锁软件是一项值得研究的课题。本文以计算机联锁系统为背景,结合领域工程理论,研究基于特征分析的领域建模方法在联锁系统核心功能建模与开发中的应用。论文主要研究内容如下：（1）分析了联锁软件开发的方法及现状,剖析了已有软件开发方法在软件复用上的不足。阐述了领域工程的定义、基本理论以及工程意义。在此基础上,分析了领域工程方法应用于联锁软件开发中的可行性和重要性。（2）阐述了领域工程方法的研究现状,分析了领域工程发展方向。针对联锁系统的领域特点,确定采用一种基于领域特征分析的领域建模方法进行联锁软件开发研究。（3）将面向特征的领域分析方法应用于联... 

【文章页数】：86 页

【学位级别】：硕士

【文章目录】：
致谢
中文摘要
ABSTRACT
1 绪论
    1.1 研究背景与研究意义
        1.1.1 研究背景
        1.1.2 研究意义
    1.2 领域工程概述
        1.2.1 软件复用和领域工程
        1.2.2 领域工程的可行性
    1.3 计算机联锁系统软件开发研究现状
    1.4 论文主要内容及结构
2 基于特征分析的领域建模方法
    2.1 领域工程方法
        2.1.1 领域工程方法发展
        2.1.2 领域工程方法选取
    2.2 面向特征的领域分析方法
        2.2.1 FODA基本理念
        2.2.2 上下文分析
        2.2.3 领域建模
    2.3 特定领域建模
        2.3.1 DSM概述
        2.3.2 DSM开发过程
        2.3.3 建模工具
    2.4 本章小结
3 计算机联锁软件的领域特征分析
    3.1 计算机联锁领域概述
    3.2 联锁领域上下文分析
        3.2.1 联锁软件领域结构建模
        3.2.2 联锁逻辑领域数据流建模
    3.3 联锁逻辑领域建模
        3.3.1 联锁逻辑领域实体关系建模
        3.3.2 联锁逻辑领域特征建模
        3.3.3 联锁逻辑领域功能分析
    3.4 本章小结
4 基于GME的联锁逻辑领域软件建模
    4.1 GME介绍
        4.1.1 GME概述
        4.1.2 GME基本概念
    4.2 基于GME的联锁逻辑领域元建模
        4.2.1 模型转换机制研究
        4.2.2 道岔类功能元模型
        4.2.3 信号类功能元模型
        4.2.4 区段类功能元模型
    4.3 联锁逻辑领域建模环境的构建与验证
        4.3.1 联锁逻辑领域建模环境的构建
        4.3.2 联锁逻辑领域建模环境的验证
    4.4 本章小结
5 总结与展望
    5.1 总结
    5.2 展望
参考文献
图索引
表索引
作者简历
学位论文数据集


【参考文献】：
期刊论文
[1]基于FODA的特定领域软件建模[J]. 权巍,邢忠宝,王弼陡,魏纯杰.  华中科技大学学报(自然科学版). 2009(08)
[2]K5B-MC铁路计算机联锁系统的设计与实现[J]. 李俊娥.  微计算机信息. 2009(18)
[3]特征建模方法研究[J]. 曹晓兰,彭佳红.  计算机工程与设计. 2008(11)
[4]元建模技术研究进展[J]. 刘辉,麻志毅,邵维忠.  软件学报. 2008(06)
[5]铁路车站计算机联锁系统的现状和发展趋势[J]. 方亚非.  铁路通信信号工程技术. 2007(04)
[6]模型驱动架构中的模型转换方法[J]. 王学斌,吴泉源,史殿习.  计算机工程与科学. 2006(11)
[7]基于UML和Petri网的铁路联锁软件建模[J]. 杨晋辉,郦萌.  计算机工程. 2006(11)
[8]计算机联锁进一步发展的探索[J]. 傅世善.  铁路通信信号工程技术. 2006(02)
[9]客运专线SEI系统联锁逻辑实现方式的研究[J]. 聂影,王海忠.  铁道标准设计. 2005(06)
[10]一种面向特征的领域模型及其建模过程[J]. 张伟,梅宏.  软件学报. 2003(08)

硕士论文
[1]领域工程研究及其在水运编案领域的应用[D]. 李鑫.大连理工大学 2009
[2]基于UPPAAL的联锁进路控制流程建模与验证[D]. 王观宁.北京交通大学 2009
[3]铁路信号系统中联锁软件形式化描述方法的研究[D]. 张华.合肥工业大学 2007
[4]基于时间有色Petri网的联锁软件的形式化建模与分析[D]. 韩福荣.同济大学 2007



本文编号：3646222