共查询到10条相似文献,搜索用时 15 毫秒
1.
形式化语言越来越多地用来描述列车控制系统需求规范,其精确的语法和语义一方面有助于创建精确的需求模型、消除理解差异,另一方面也为进一步分析验证提供了基础.通过提出一种基于属性的需求分析方法,利用具体的形式化技术来分析需求.首先将由自然语言描述的需求规范转换为属性描述语言(PSL)形式化规范,并通过仿真和博弈分别进行语义检查和可实现性验证,最后通过断言来检验形式化语言所刻画的系统的精确性和完整性.该方法从自然语言形式的需求约束中直接提取相关需求规范,构造形式化模型并进行验证,为需求的早期确认提供了一种新的实用途径.并以CTCS-3级列控系统RBC切换场景为例,说明该方法的有效性. 相似文献
2.
3.
4.
软件需求复杂性度量与有效性检验方法 总被引:1,自引:0,他引:1
软件需求陈述是影响软件设计和实现的关键因素,对需求陈述质量的度量长期依赖于专家定性的经验判断,容易造成疏漏,难以找出需求陈述的问题和改进要求。以面向对象的分析方法为基础,在需求陈述模板下,定义了需求陈述准确性、一致性、完整性、稳定性和复杂性定量度量公式,提出了软件需求阶段的复杂性定量度量和需求陈述有效性检验方法。通过有效性和复杂性指标分析,表明该方法可用于发现需求陈述中的遗漏和缺陷、对需求空间变更的代价进行估计和指导软件适应性设计。 相似文献
5.
不同于计算机联锁系统传统软件需求的分析和描述方式,从一个全新的角度将计算机联锁系统的控制设备看做风险触发对象,提出基于场景分析识别联锁系统安全需求的方法,根据每个场景下潜在的危害,自顶向下按照控制设备的异常状态,分析对应的风险.系统危害在不断抽象精化的过程中,逐渐抽取出系统安全需求.针对识别的安全需求,使用数学符号语言... 相似文献
6.
7.
可用于铁路查询的人机自然交互系统 总被引:1,自引:0,他引:1
建立了基于汉语理解和汉语生成的人机交互系统。该系统可以接受自然语言形式的提问并可以自动生成对景物的描述,还具有学习能力和一定的通用性。该系统可以广泛地用于铁路运行线路及沿途情况、车站等的查询系统中。 相似文献
8.
《中国铁道科学》2017,(2)
针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能。 相似文献
9.
10.
全自动运行系统运营场景定义对于全自动运行项目建设和运营非常重要.介绍了一套可以用于验证全自动运营场景的平台;描述了全自动运行系统场景验证平台需求、建模方法、平台结构及核心技术;举例说明了该平台如何应用于全自动运行系统的场景验证. 相似文献