公共文化服务平台

李耀: 作品数：15 被引量：52H指数：4; 供职机构：西南交通大学信息科学与技术学院更多>>; 发文基金：国家自然科学基金铁道部科技研究开发计划中央高校基本科研业务费专项资金更多>>; 相关领域：自动化与计算机技术交通运输工程环境科学与工程更多>>

合作作者

CTCS-2级ATP仿真软件测试管理系统设计被引量：1: 2019年; 为了解决当前大量仿真软件缺乏有效测试的问题,以CTCS-2级列控系统的车载ATP仿真软件作为研究对象,提出一种测试管理系统。分析了CTCS-2级车载ATP的系统结构,在此基础上建立测试管理系统软件的体系结构;从测试管理系统软件的设计和系统工作流程两个方面对系统进行介绍;并以车载ATP仿真软件为例,基于设计并实现的测试管理系统,对测试的过程进行说明。结果表明,测试管理系统能够对被测仿真软件进行有效的测试,可以改善当前大量仿真软件缺乏有效测试的现状,提高测试效率和测试灵活性。; 窦磊李耀; 关键词：CTCS-2级列控系统 ATP 仿真软件

基于Petri网的分布式系统冲突消解被引量：4: 2013年; 针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。; 宋海权郭进李耀; 关键词：混合PETRI网分布式系统并发

铁路信号安全关键软件形式化建模被引量：6: 2017年; 针对现行建模方法不能满足铁路信号系统安全关键软件的时钟约束需求和模型复杂度较高的问题,分析SyncCharts建模方法,针对其缺少形式化规范和时钟约束的问题,扩展出具有时钟属性的Timed SyncCharts建模方法。首先,采用Z语言系统地给出了Timed SyncCharts的形式化定义;其次,结合Timed SyncCharts的组件元素,确定Timed SyncCharts的宏步转移机制;然后,提出将Timed SyncCharts转化为Kripke结构的规则,保证了模型分析的可行性;最后,建立计算机联锁软件道岔定位需求的Timed SyncCharts模型,证明该方法的可行性和有效性。; 李耀郭进杨扬马亮; 关键词：安全关键软件形式化建模 TIMED 计算机联锁

基于场景法的列控系统等级转换功能测试用例设计被引量：3: 2019年; 为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流划分原则;最后,采用场景法对CTCS-2级转CTCS-3级过程中的基本流和备选流进行划分,确定基本流和备选流有向图,设计测试用例。结果表明,该方法设计的测试用例能够提高列控系统功能性和安全性测试的完备性,从而保障列控系统产品的质量。; 窦磊张亚东李耀饶畅; 关键词：高速铁路列控系统事件流测试用例

基于TSSM的城市轨道交通CBTC区域控制器建模与验证被引量：8: 2015年; 针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.; 李耀陈荣武郭进孔令晶周正; 关键词：区域控制器

基于改进CUOWGA算子-Sharpley值的应答器传输系统风险评价方法被引量：1: 2020年; 应答器传输系统是列车运行控制系统中重要的地-车信息传输子系统。为降低应答器传输系统传统风险评价中专家决策的主观性,并考虑风险事件间的相关性,提出一种基于改进的CUOWGA算子与Sharpley值的应答器传输系统风险模糊综合评价方法。首先建立系统功能分层模型,运用HAZOP辨识系统潜在的风险事件及其影响,构建系统风险评价因素集和评判集,再利用CUOWGA算子对专家评价数据进行集结,利用Sharpley值计算多风险相关下的评价因素权重值,最后通过综合评价得到应答器传输系统的风险等级。结果表明,应答器传输系统的风险等级为"可容许的",其中BTM及天线功能失效对系统安全影响最大。该结果与现场使用情况相符,验证本评价方法有效。; 褚心童张亚东李耀

基于SCADE的测速定位系统模型设计被引量：5: 2016年; 针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题,提出了基于SCADE的测速定位系统模型设计,介绍SCADE需求建模以及模型验证方法,分析了一种测速定位模型;在SCADE平台上建立了测速定位系统的模型,通过仿真与验证,证明模型完全满足测速定位的系统需求与安全性。; 刘欢李耀; 关键词：SCADE 测速定位形式化验证

列控车载设备安全功能测试序列优化方法研究被引量：3: 2019年; 列控系统测试序列优化问题可以转换成旅行商问题(TSP),在求解TSP时,用改良圈(IC)算法难以得出最优解,而模拟退火(SA)算法计算迭代次数多,为解决这一问题,提出一种基于SA优化IC算法的测试序列优化方法。首先,以车载设备模式转换功能为例,介绍基于TSP的测试序列生成方法;然后,说明SA优化IC算法的步骤和流程;最后,引入实例,并将其转换成TSP,采用SA算法优化IC算法求解TSP,并得到测试序列。结果表明:该算法较IC算法的结果更优,迭代次数较SA算法迭代次数降低了27. 54%,该方法可有效优化测试序列。; 窦磊李耀郭进童音兰浩; 关键词：列控系统车载设备

穿越自治系统联盟的域间路由安全机制: 2014年; 通过对SE-BGP(security enhanced BGP)的研究与分析,发现此方案不仅无法认证动态变化的跨联盟AS(autonomous system),也无法抵御其自身所发起的主动攻击。为了解决SE-BGP存在的安全问题,设计了二层跨联盟等级结构CAHS(cross-alliance hierarchical structure),基于CAHS结构,借鉴护照签证思想,利用递增散列——Ad HASH(additive hash)的特性提出了一种跨联盟安全机制SCA-BGP(secure crossing alliance for BGP)。该机制具有更高的安全性,可以有效地认证跨联盟AS的身份及行为授权,还可对其所携带的信息进行安全验证。实验分析表明,SCA-BGP可以有效地减少所需证书的规模和额外的时间开销,具有更好的可扩展性和网络收敛性能。; 孔令晶曾华燊窦军李耀

基于SCADE的形式化验证技术的改进研究被引量：2: 2013年; 为保证SCADE软件开发的安全性,研究了SCADE形式化验证技术,指出其不足,提出了基于代码生成器的解决方法。该方法对安全特性属性引入了逻辑描述,并利用SCADE编辑器及代码生成器的特点,对SCADE形式化验证技术进行改进,降低了模型正确性确认时人为的主观性。通过实例阐述了应用该方法进行形式化验证的一般步骤,表明了该方法是有效可行的。; 李耀郭进孔令晶宋海权; 关键词：形式化验证逻辑描述

李耀

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

李耀

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈