检索结果-南通市图书馆

基于UML及属性的需求分析方法在列控系统需求规范中的应用

在线全文

学校读者我要写书评

暂无评论

铁道通信信号 2013年第2期49卷 80-84页

作者：程瑞军赵林何丽芸北京交通大学电子信息工程学院北京交通大学轨道交通控制与安全国家重点实验室

采用基于属性的分析方法,对CTCS-3级列控系统需求规范进行形式化验证。首先建立UML模型并转换为PSL模型。然后通过仿真运行,不断修正该模型,得到可实现的PSL模型。最后运用验证工具对PSL模型进行相关属性的验证,通过反例对错误进行定位... 详细信息

采用基于属性的分析方法,对CTCS-3级列控系统需求规范进行形式化验证。首先建立UML模型并转换为PSL模型。然后通过仿真运行,不断修正该模型,得到可实现的PSL模型。最后运用验证工具对PSL模型进行相关属性的验证,通过反例对错误进行定位和修改。以需求规范中的模式转换为例,采用该方法对其可达性、转移性及死锁性进行验证,验证过程表明基于属性的分析方法适用于CTCS-3级列控系统需求规范的验证。

关键词：列车控制系统需求规范形式化方法 UML 属性规范语言

电信运营商业务支撑系统(BSS)需求规范浅析

在线全文

学校读者我要写书评

暂无评论

中国新通信 2007年第12期9卷 86-87页

作者：曾宪敏百纳电信

BSS是业务支撑系统（Business Support System）的缩写，与OSS运营支撑系统（Operation Support System）一起统称为BOSS系统，是电信运营商从原有的以“业务为中心”经营模式向以“客户为中心”经营模式转变的重要标志。从全球范围来... 详细信息

BSS是业务支撑系统（Business Support System）的缩写，与OSS运营支撑系统（Operation Support System）一起统称为BOSS系统，是电信运营商从原有的以“业务为中心”经营模式向以“客户为中心”经营模式转变的重要标志。从全球范围来看，在电信垄断打破之后，运营商认识到了市场竞争的焦点不在于网络基础设施和资源，而在于电信业务的运营和运行，除了不断推出新业务满足客户需求、保持客户群的忠诚度之外，还必须保证经营利润。

关键词：业务支撑系统电信运营商需求规范 BOSS系统运营支撑系统网络基础设施经营模式客户需求

在线全文

学校读者我要写书评

暂无评论

基于形式化方法的平交道口控制系统安全设计

西南交通大学学报 2023年第1期58卷 109-116页

作者：王霞王恪铭徐扬唐伟健西南交通大学计算机与人工智能学院四川成都610031 西南交通大学系统可信性验证国家地方联合工程实验室四川成都610031 西南交通大学数学学院四川成都610031 西南交通大学信息科学与技术学院四川成都610031

铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限... 详细信息

铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限制、连续接车中防护门短时间开放问题;其次,基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型;最后,检查证明义务以验证需求属性是否被满足,并应用动画器Animation展示系统功能的正确性.结果显示:相比传统的道口管理系统,本文提出的自动控制系统增加了双线连续接车功能,且使用形式化建模和验证,避免系统设计中存在的二义性,对平交道口安全管理有一定的参考意义.

关键词：平交道口控制系统需求规范安全苛求系统形式化方法

《铁路视频监控系统需求规范:铁路公安用户》修改稿讨论会召开

在线全文

学校读者我要写书评

暂无评论

中国铁路 2016年第1期 90-90页

作者：于格

2015年12月29日，轨道交通安全与视频产业技术联盟组织召开《铁路视频监控系统需求规范：铁路公安用户》铁标修改稿讨论会。编制组对规范进行了充分的讨论。这次修改根据12月9日专家会的意见，补充了术语定义，对监控目标、实现功能、... 详细信息

2015年12月29日，轨道交通安全与视频产业技术联盟组织召开《铁路视频监控系统需求规范：铁路公安用户》铁标修改稿讨论会。编制组对规范进行了充分的讨论。这次修改根据12月9日专家会的意见，补充了术语定义，对监控目标、实现功能、监视程度、存储时间等进行了规范描述。对铁路公安业务需求做了较大完善，主要是对公安局、公安处、派出所、警务区的用户功能、业务需求进行了规定，充分考虑了视频监控对铁路公安在治安防范、反恐领域的作用。同时对客站、货场、列车、线路的视频监控要求力求反映公安的业务需求。另外，对安全需求的规定也考虑了近期国家及公安系统的最新法规与标准。

关键词：视频监控系统铁路公安需求规范讨论会修改用户业务需求技术联盟

基于形式化方法的道口控制系统规范建模与验证

在线全文

学校读者我要写书评

暂无评论

西南交通大学学报 2019年第3期54卷 573-578,603页

作者：王恪铭王峥西南交通大学信息科学与技术学院四川成都611756 西南交通大学系统可信性自动验证国家地方联合工程实验室四川成都610031

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务... 详细信息

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用 UML 图方法并结合精化策略建立了系统各层的 Event-B语言模型.通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型.最后,通过不变式冲突与死锁检验进一步确认了模型的正确性.研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.

关键词：铁路运输铁路道口需求规范形式化方法系统设计模型验证

在线全文

学校读者我要写书评

暂无评论

大中型军工企业逻辑网络设计要点

电讯工程 2022年第1期41卷 37-42页

作者：张拓陕西黄河集团有限公司信息中心陕西西安710043

网络开发过程描述了开发网络时必须完成基本任务,它是网络系统生命周期的一次迭代过程。现实中,网络开发过程通常按照5个阶段进行实施:(1)需求规范;(2)通信规范;(3)逻辑网络设计;(4)物理网络设计;(5)实施阶段。其中逻辑设计阶段主要完... 详细信息

网络开发过程描述了开发网络时必须完成基本任务,它是网络系统生命周期的一次迭代过程。现实中,网络开发过程通常按照5个阶段进行实施:(1)需求规范;(2)通信规范;(3)逻辑网络设计;(4)物理网络设计;(5)实施阶段。其中逻辑设计阶段主要完成网络的拓扑结构、网络地址分配、设备命令规则、交换及路由协议选择、安全规划、网络管理等设计工作,并根据这些设计选择设备和服务供应商。

关键词：逻辑网络设计系统生命周期网络管理安全规划网络的拓扑结构逻辑设计服务供应商需求规范

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

轨道交通控制软件的基于场景的需求分析方法

轨道交通控制软件的基于场景的需求分析方法

作者：闫倩倩华东师范大学

学位级别：硕士

城市轨道交通在人们的日常生活中扮演着越来越重要的角色,人们对它的安全性和可靠性要求也越来越严格。列车自动防护系统ATP(Automatic Train Protection)在整个城市轨道交通系统中负责保证系统的安全,在列车运行过程中,ATP通过和轨旁... 详细信息

城市轨道交通在人们的日常生活中扮演着越来越重要的角色,人们对它的安全性和可靠性要求也越来越严格。列车自动防护系统ATP(Automatic Train Protection)在整个城市轨道交通系统中负责保证系统的安全,在列车运行过程中,ATP通过和轨旁设备、车载设备交互信息,监控列车速度,确定列车是否超能,并决定是否对列车进行制动处理,如果处理不当,可能会危及生命。对这类安全攸关软件来说,如果能在需求分析阶段从源头保证系统的正确性,则会节省大量时间和资源。对车辆工程师来说,他们更关心需求有没有正确的描述所期望的场景。因此,本文提出了一种基于物理场景的需求分析方法,该方法通过在需求模型中执行列车场景,动态检查ATP系统的需求正确性。本文的主要内容如下:演化式需求建模:本文首先根据ATP系统需求的特点,使用演化式建模方法构建形式化的需求规范。首先确定需求非形式化的自然语言描述;然后确定每条需求的数据结构、输入输出等信息,即半形式化描述语言;最后把半形式化语言中的“前置-后置”条件转化为形式化描述,得到最终的形式化描述即需求规范。解决了由于领域专家缺乏形式化方法的相关技术和研究人员缺乏领域专业知识而无法准确的描述系统需求的问题,保证需求规范精确的描述了系统功能。场景描述及分析检查:为了能在需求分析阶段动态监测系统需求,本文使用CASSL(CASco Scenario Language2)描述列车场景。CASSL中共包括场景字典、场景动作和变量赋值三部分。其中场景字典为测试人员撰写场景提供了便利,场景动作描述了列车的运行过程,变量赋值部分表示列车运行过程中的相关变量的取值,为场景执行提供了条件。并且为了保证物理场景本身的合理性,避免出现有违常理的错误,我们对场景进行了分析检查。场景的优化生成:确定场景描述规则后,测试人员可以根据语法规则手动书写列车场景和预期输出,通过比较预期输出和场景执行结果验证需求正确性。但手动书写场景效率低下,覆盖率也较低,因此针对这些问题我们对场景进行了优化。本文从特殊变量场景、效率、场景质量三方面优化列车场景,更充分、严格的验证需求正确性,提高了测试效率。

关键词：形式化方法需求规范需求确认和验证场景场景优化

基于问答驱动迭代的工程车辆仿真设计方法研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国机械工程 2014年第8期25卷 1096-1101页

作者：佘翊妮宁晓斌林琼浙江工业大学杭州310014

为了实现基于问答驱动迭代的复杂产品的仿真设计,提出了一种在过程设计中,将制定问题、行为模型、仿真模型和决策依据作为独立对象来建立过程模型的方法。该方法能确保需求规范的属性与预估产品的属性之间的信息粒度级别,并使其达到对... 详细信息

为了实现基于问答驱动迭代的复杂产品的仿真设计,提出了一种在过程设计中,将制定问题、行为模型、仿真模型和决策依据作为独立对象来建立过程模型的方法。该方法能确保需求规范的属性与预估产品的属性之间的信息粒度级别,并使其达到对象到对象层面的可追溯性。将该方法应用于大型液压挖掘机工作装置铰接点的优化设计,以工作装置的工作范围最大和在挖掘、举升、平推等典型工况下的工作性能最佳为原则,对按照蒙特卡罗方法生成的5120组不同的工作装置铰接点设计方案进行了选优。结果表明,该方法设计的工作装置性能优良,满足设计需求,是进行复杂产品过程建模的一种切实可行的方法。

关键词：问答驱动优化设计行为模型需求规范仿真

在线全文

学校读者我要写书评

暂无评论

列车运行控制系统的形式化研究进展与趋势

前瞻科技 2023年第1期2卷 106-117页

作者：吕继东卢万里唐涛罗正伟北京交通大学轨道交通运行控制系统国家工程研究中心北京交通大学轨道交通控制与安全国家重点实验室

列车运行控制系统是保障列车安全与高效运行的核心。目前中国列车运行控制技术整体已步入世界先进水平，正在向智能化、智慧化方向发展，迫切需要以自主化工具平台支撑的正向研发设计方法。形式化方法是保障列车运行控制系统功能正确实... 详细信息

列车运行控制系统是保障列车安全与高效运行的核心。目前中国列车运行控制技术整体已步入世界先进水平，正在向智能化、智慧化方向发展，迫切需要以自主化工具平台支撑的正向研发设计方法。形式化方法是保障列车运行控制系统功能正确实现的关键。文章首先回顾了列车运行控制系统的发展过程，分析了计算机时代列车运行控制系统的特点；总结了国内外列车运行控制领域形式化的应用研究、取得的进展和趋势，并对比了国内外列车运行控制领域形式化研究的差异；最后提出了采用基于模型的系统工程方法进行列车运行控制系统正向设计的发展方向，并从系统正向顶层设计、形式化技术自主化和人才队伍培养方面给出了发展建议，力求实现功能强大、覆盖全面、性能先进的列车运行控制系统。

关键词：列车运行控制系统形式化方法基于模型的开发需求规范建模验证