安全苛求系统

作品数：28被引量：129H指数：5
导出分析报告
相关领域：自动化与计算机技术交通运输工程更多>>
相关作者：徐中伟唐涛王曦喻钢杨凌云更多>>
相关机构：北京交通大学同济大学上海大学西南交通大学更多>>
相关期刊：《山东大学学报（理学版）》《计算机工程与应用》《城市轨道交通研究》《计算机工程》更多>>
相关基金：国家自然科学基金国家科技支撑计划铁道部科技研究开发计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于形式化方法的平交道口控制系统安全设计被引量：1
《西南交通大学学报》2023年第1期109-116,共8页王霞 王恪铭 徐扬 唐伟健 
国家自然科学基金(61976130,61673320);四川省科技计划(2022NSFSC0464)。
铁路平交道口控制系统是一种典型的安全苛求系统,为提高铁路平交道口的安全性,提出一个能适应双线双向接车的自动控制系统.首先,分析现有铁路平交道口的作业流程,利用新的控制系统解决现有系统中常见的三个问题,即出清检查、制动距离限...
关键词：平交道口 控制系统 需求规范 安全苛求系统 形式化方法 
基于UPPAAL的列控系统临时限速建模与验证被引量：7
《铁路计算机应用》2020年第5期12-16,共5页宋莉 刘伯鸿 
中国铁路总公司科技研究开发计划项目(2017X010-E)。
临时限速系统是列控系统的重要组成部分,是符合"故障–安全"准则的安全苛求系统。文章基于临时限速技术规范和时间自动机理论,分析临时限速系统的组成结构,提取其功能和性能约束,利用UPPAAL工具对其信息交互行为进行建模仿真,验证该系...
关键词：建模与验证 临时限速 安全苛求系统 故障-安全准则 时间自动机 UPPAAL 
基于安全编码处理器的检错工具研究与设计被引量：2
《铁道通信信号》2018年第5期57-60,共4页瞿玲燕 张磊 郭舟 
为了提高安全编码处理器的可维护性,基于安全冗余编码算法,设计了2种冗余代码检错工具。研究表明:在线检错工具较离线检错工具能够更准确地定位错误的初发位置,并且对程序的运行效率影响很小。
关键词：安全编码处理器 安全苛求系统 检错工具 故障定位 冗余编码算法 
iLOCK型计算机联锁开发中的需求开发管理被引量：2
《铁道通信信号》2016年第11期41-44,共4页黄敏 
根据CMMI模型和EN50128标准,结合i LOCK计算机联锁系统的开发过程,介绍了安全苛求系统开发过程中的需求开发和管理。
关键词：需求开发 需求管理 安全苛求系统 
模型驱动开发在安全苛求系统中的应用
《城市轨道交通研究》2016年第B08期55-59,共5页王庆胜 朱罕 
主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是...
关键词：安全苛求系统 模型驱动开发 安全苛求应用开发环境 
基于图形转换的组合状态安全性验证技术
《山东大学学报（理学版）》2014年第9期41-49,共9页杜军威 江峰 张会萍 曹玲 殷文文 
国家自然科学基金资助项目(61273180);山东省自然基金资助项目(ZR2011FL17;ZR2011FQ005);山东省高等学校科技计划项目(J11LG05)
受制于系统状态组合爆炸,并发系统的组合状态验证一直是困扰模型检验的难题。基于图形转换的组合框架,研究了该框架的组合状态安全性验证技术。采用Petri网模型构造系统组合框架,分析出组合系统可达状态空间与部件可达状态空间的包含关...
关键词：组合状态验证 PETRI网 安全性验证 图形转换 安全苛求系统 
基于UPPAAL的列车自动防护系统形式化建模与验证被引量：3
《铁路计算机应用》2014年第8期42-44,48,共4页蒋建军 王长林 
本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证。结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性。
关键词：安全苛求系统 时间自动机 模型验证 UPPAAL 
安全苛求系统下的嵌入式C语言程序调试技巧被引量：3
《铁路计算机应用》2014年第6期62-64,共3页董高云 周庭梁 
介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的"版本升级比较法",打印添加技巧以及其它调试技巧和经验。
关键词：安全苛求系统 嵌入式系统 C语言 调试技巧 
基于项重写系统的联锁系统模型检测方法研究
《计算机工程与应用》2014年第3期49-54,共6页张舒青 徐中伟 陈祖希 
国家自然科学基金(No.60674004);国家高技术研究发展计划(863)(No.2012AA112801);国家十二五科技支撑项目(No.2011BAG01B03)
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统...
关键词：项重写系统 联锁 Maude语言 安全苛求系统 模型检测 
CBTC系统数据管理过程分析和设计被引量：1
《都市快轨交通》2013年第3期13-16,共4页王森 黄友能 王伟 
北京市科委项目(D111100000411001);中央高校基本科研业务费(2011JBZ014);中央高校基本科研业务费(2011JBZ004)
阐述基于通信的列车自动控制(CBTC)系统的功能,讨论其系统数据所具有的空间性、一致性和关联性等特点。针对CBTC系统数据的特点,提出一种基于数据供应链(data supply chain,DSC)对数据管理过程进行分析和设计的方法,给出具体设计过程的...
关键词：基于通信的列车自动控制 数据管理 安全苛求系统 数据供应链 城市轨道交通 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部