【摘 要】
：
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家重点基础研究发展计划(973计划)No.2014CB744903;南京航空航天大学研究生创新基地(实验室)开放基金No.kfjj20171611;中央高校基本科研业务费专项资金~~
论文部分内容阅读
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍。该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,以及对故障扩展模型进行故障分析及系统安全性评估,例如生成故障树及FMEA表
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
电信科学技术第五研究所（原邮电部第五研究所）是我国最早从事有线传输通信技术领域的研究所。多年来一直是国际电信联盟电信标准组织ITU—TSG5、SG6、SG15的国内对口研究组组长
目的观察分析自体脂肪颗粒移植在面部凹陷整形美容中的临床应用价值。方法选取蚌埠市第三人民医院于2018年2月至2019年2月期间收治的74例接受面部凹陷整形美容患者,按照随机
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
敞车是铁路运输的主要车型,敞车集重装载最易引发安全事故。在铁路货物方面,尤其是如何避免敞车集重装载直接影响着货物、车辆和行车的安全,关系到国家、铁路、托运人的利益,
锈色粒肩天牛的防治应做到防幼虫、防产卵、刮虫卵、防成虫四方面综合防治，并以捕杀成虫为重点
项目投资效益审计是基本建设投资审计领域新的内容，西方一些经济发达国家和世界银行、国际货币金融组织对建设项目开展评估与分析工作已有30多年的历史，世界银行对项目的评估与
对193例肛瘘患者，采用高位挂线、低位切开术方法，术前对患者进行辨证施护、情志护理、肠道准备；术后予以切口护理、排便护理、饮食指导及健康宣教。中西医结合方法护理肛瘘患者，
Limeliqht网络公司发布消息声称，其全球内容提供能力已经超过2Tbit／s。考虑到网络开销，2Tbit／s的容量意味着Limeliqht公司的容量能够支持同时向超过200万的互联网用户提供广播级
集成光学是一门研究媒质薄膜中的光学现象以及光学元器件集成化的学科。集成光学的概念,是由美国贝尔实验室的S. E. Mille博士在1969年首次提出并逐渐发展起来的一门新兴学科