【摘 要】
：
利用形式化方法对系统理论的过程分析（STPA）进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室,中国铁道科学研究院通信信号研究所
论文部分内容阅读
利用形式化方法对系统理论的过程分析（STPA）进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用可达集计算对包含故障的系统PHAVer模型进行分析,从而自动辨识出导致不恰当控制的原因,实现对系统功能的安全分析.以CTCS-3级列控系统的无线闭塞中心交接场景为例,使用扩展后的STPA方法,针对给定的系统危险,进行系统功能安全分析.分析结果表明,利用形式化技术
其他文献
民族高校大学生国家安全意识现状不容乐观。学生对国家间领土、领海纠纷认知狭窄,对新中国成立后战争历史了解片面,对国家周边安全意识浅显,对国家主要竞争对手认识模糊。民
贵阳北天主堂的美,不仅在于气势磅礴的外观,同时也在于其中国化的装饰艺术,完美展现了文化融合的漫长历程。一宗教艺术以其独特性在艺术世界中占有重要一席,是宗教文化不可或
<正>近期,英威达在德克萨斯州Orange郡的工厂创造了新的12个月的己二腈(ADN)生产记录,ADN是尼龙66塑料和纤维的关键成分。"自2014年在Orange工厂部署我们最先进的ADN技术以来
水生植物净化稻田灌溉排水可以降低成本、提高作物利用率、减少稻田灌排污水污染,是净化稻田灌排水体的重要技术手段。本文介绍了水生植物净化稻田灌排水质的主要功能,并且强
蔡和森与留法勤工俭学运动钟穗蔡和森是中国共产党早期卓越领导人之一，杰出的马克思主义理论家、宣传家。１９１８年蔡和森与毛泽东等共同创建了新民学会，旋又积极倡导和组织了湖南赴法
随着20世纪工业革命以来,信息技术的发展日新月异,越来越深入到人们的日常生活,作用于科学研究和工程建设.信息技术的发展离不开数学的特征和功能;加之数学技术和信息技术越
在我国城市化进程中,噪声污染问题日益严重,困扰着人们的生活。我们要提高重视程度,尽快采取有效的应对措施,提升噪声检测工作水平。本文将通过分析当前噪声检测中应注意的问
今年2月,郑州市人民政府出台了《关于开展特色小镇培育工作的意见》,计划在全市培育一批特色产业鲜明、公共服务完善、人文气息浓厚、生态环境优美、幸福感受强烈、示范效应
目的评价肿瘤标志物CA125、CA153、CA199在肺癌诊断中的价值,比较化学发光法(CLIA)及放射免疫分析法(IRMA)两种检测方法的可靠性。方法同时用两种检测方法检测对肺癌组及健康
本刊讯：近日，北京教委公布了全市城乡一体化建设学校的最新名单。今年纳入城乡一体化建设的学校规模比2012年增加一倍，达30所，全部布局于中小学学位供求矛盾突出的城乡接合部、新