面向不确定环境场景规约的定量时间分析研究 CNKI文献
随着5G通信、物联网技术的发展,越来越多软件、硬件被部署在开放的物理环境中。然而,系统在该环境中运行存在多种不确定性因素(例如,系统输入、消息处理时间和网络延迟),由于缺乏对开放的物理环境中系统的不确定性因素...
段文雪
导师:陈铭松
华东师范大学
2020-05-01
硕士论文
高速磁浮列控系统运行场景构建与形式化验证 CNKI文献
高速磁浮技术作为区别于轮轨高铁的新型交通运输手段,是未来高速和特高速轨道交通系统发展的重要方向。近年来,我国对高速磁浮列车技术开展了相关研究,计划在未来五年之内建成时速600公里条件下的高速磁浮试验线。高速...
屈胤达
导师:李开成
北京交通大学
2019-06-03
硕士论文
基于模型的软件需求验证方法研究 CNKI文献
随着计算机技术的发展,软件在航天控制系统中的应用越来越深入,软件对任务的成功发挥着至关重要的作用,并且成为决定系统产品质量的关键因素之一。航天控制系统的任务特点决定了其软件系统可靠性、实时性要求极高。据...
杜泽民
导师:王晓玲
中国航天科技集团公司第一研究院
2018-05-01
硕士论文
应答器报文编制规则的建模、验证与应用 CNKI文献
应答器系统作为实现地-车信息传输的重要设备,其向车载传输的报文数据的正确性直接关系到列车运行安全。应答器报文是由编制人员依据应答器应用原则将线路工程数据进行编制而得。然而应用原则只是从列控系统功能需求的...
黄旭
导师:刘中田
北京交通大学
2018-03-13
硕士论文
基于场景的中断驱动系统建模与验证 CNKI文献
中断驱动系统被广泛应用于安全关键的嵌入式系统中,如航空航天、工业过程控制等。这些系统对软硬件的可靠性要求极为苛刻,一旦出现系统错误或失效会造成重大经济损失、大规模环境破坏、甚至人员伤亡等严重后果,因此保...
黄信欢
导师:张天
南京大学
2017-05-01
硕士论文
列控安全计算机平台测试方法研究 CNKI文献
与区域控制器和数据存储单元有着密切交互的安全计算机平台是列控系统中的核心装备和重要安全单元之一。为了打破技术封锁,拥有自主化安全计算机平台,北京交通大学轨道交通控制与安全国家重点实验室已经开发出下一代列...
孙鹏
导师:马连川
北京交通大学
2017-04-01
硕士论文
基于验证的软件架构演化分析与评估 CNKI文献
演化反映了“在演化实体或其组成元素的属性方面不断改进的过程”,而软件演化就是指软件系统或内部组成元素不断地改变来满足新的功能需求或属性需求。在现代软件系统的生命周期内,演化是一项贯穿始终的活动,系统需求...
俞析蒙
导师:李必信
东南大学
2015-06-03
硕士论文
问题框架理论中领域因果行为形式化验证的研究 CNKI文献
近年来,随着计算机产业的快速发展,软件和信息技术服务业规模不断扩大,复杂程度不断提高,一部分软件产品在研发过程中由于经费,人力等原因造成工程进度滞后,软件质量无法满足设计要求,逐渐脱离前期需求标准。从软件工...
朱利鲁
导师:李智
广西师范大学
2015-04-01
硕士论文
基于UML的系统需求形式化分析方法 CNKI文献
Unified Modeling Language (UML,建模语言或标准建模语言)始于1997年的一个OMG (Object Management Group,对象管理组织)标准,是一个支持模型化和软件系统开发的图形化语言,为软件开发的所有阶段提供#~
刘心钰
导师:杜晔
北京交通大学
2015-03-01
硕士论文
