收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

计算机联锁系统软件可靠性设计方法的应用研究

唐田田  
【摘要】: 在计算机联锁系统中,联锁软件是执行联锁运算的核心机构,它的失效有可能导致列车的相撞或颠覆等重大事故,如何保障联锁软件的可靠性已经成为开发计算机联锁软件系统联锁软件的一项重要课题。 本论文针对合肥工大微型计算机应用研究所研究开发的HJ04A铁路信号计算机联锁系统,根据计算机联锁系统联锁软件设计可靠性和安全性要求,从软件的需求分析着手,综合UML统一建模语言方法和形式化描述语言Z语言的方法,设计出完全的、一致的、无冗余的、无歧义的、符合系统要求的联锁软件规格说明书。 论文第一章首先介绍了铁路信号、计算机联锁和故障—安全的概念;第二章介绍了需求工程出现的背景,软件需求工程研究的现状;接下来的第三章、第四章分别介绍了UML统一建模语言的特性和形式化描述语言Z语言以及它们在描述软件规格说明书中的各自的优缺点;第五章着重分析了HJ04A计算机联锁系统联锁软件的一些功能需求;第六章是联锁软件的规格说明书的设计,先用UML对HJ04A系统对联锁软件的软件规格说明书进行描述,针对UML技术的不足之处,结合用Z语言的优势进行补足,从而将二种方法结合起来共同描述计算机联锁软件的规格说明书。最后,将我们所设计的HJ04A联锁软件的Z模式的格式进行了标准化的转化,方便以后的开发工作。


知网文化
【相似文献】
中国博士学位论文全文数据库 前6条
1 蔡立志;基于形式化的软件测试复用若干关键技术的研究[D];上海大学;2009年
2 赵晓峰;虚拟制造环境的信息规范及其Z描述研究[D];山东大学;2010年
3 邵堃;面向Agent需求工程的建模与分析[D];上海大学;2004年
4 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院(软件研究所);2002年
5 李常洪;多Agent合作机制与合作结构研究[D];天津大学;2003年
6 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
中国硕士学位论文全文数据库 前10条
1 唐田田;计算机联锁系统软件可靠性设计方法的应用研究[D];合肥工业大学;2004年
2 顿海强;基于Z对UML中Use Case图的形式化[D];郑州大学;2002年
3 方涤非;KJ15A矿井机车运输联锁软件的安全测试研究[D];合肥工业大学;2003年
4 苏北;Z规格说明中幂集算子自动求精的研究与实现[D];沈阳工业大学;2006年
5 王晓龙;Z规格说明中一阶逻辑算子自动求精的研究与实现[D];沈阳工业大学;2005年
6 王琦;基于对比环境的铁路信号监控软件安全测试方法的研究与应用[D];合肥工业大学;2005年
7 刘金朋;基于用例规约与Z语言的测试用例生成方法研究[D];青岛大学;2008年
8 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
9 乔木;基于状态图与Z的测试用例生成研究[D];重庆大学;2004年
10 吴宇琼;形式化语言RT-Z的集成及其在实时系统的应用[D];广东工业大学;2005年
中国重要报纸全文数据库 前1条
1 通讯员 王冬 金广宏;海南东环铁路信号系统静态联调联试取得突破[N];人民铁道;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978