【摘 要】
：
近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家重点基础研究发展计划-973计划(2014CB744903);国家航空科学基金(20165515001);南京航空航天大学研究生创新基地开放基金(kfjj20171611);中央高校基本科研业务费专项资金资助
论文部分内容阅读
近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非常重要的问题。文中以基于模型的安全性分析(MBSA)为框架,设计了一个面向SysML模型的系统安全性分析与验证方法,实现了从模型构建到安全性分析与属性验证的完整过程。首先,从需求层面和设计层面对SysML系统架构设计模型和最新系统安全性建模语言AltaRica3.0进行了介绍,构建了从
其他文献
清代是经学的'复盛时代',乾嘉学者以其辑佚补亡之长技,对三家《诗》佚文遗说进行了全面搜讨,至清代后期,凡属保留了三家《诗》义的典籍,已被搜寻殆遍.清代学者在三家
（1）醋或酸菜汁猪食饮醋或酸菜汁后,在一定时间内可降压降温,使机体各种功能正常,内服量依猪体大小增减。
代购设备是高校为科研项目委托单位购买的仪器设备。技术成果对实物资产的依附性决定了代购行为不可避免，并且在高校科研活动中普遍存在。由于合同条款比较模糊、设备的采购人
目的研究泄浊清淤汤对急性发作期痛风患者的疗效。方法选择我院2014年4月至2016年4月收治的88例正处于急性发作期的痛凤患者作为研究对象，随机将其分为对照组和观察组，每组44例
当前，医院科技档案信息化管理是一项很有必要的工作。科学技术取得了很大进步，信息化建设在生活的各个层面均有涉及，医院作为信息革命的一员，也要响应时代的号角，强化科技档案信息
我国在牧鸡治蝗的技术规范和治蝗效果上取得了很大的进步,但关于牧鸡轮牧周期对牧鸡治蝗效果方面的研究较少。本研究通过调查牧鸡治蝗期间鸡群的采食量和补饲用量、地面可食
1重防暑热 夏天气温高、湿度大，猪易掉膘，生长缓慢，甚至中暑死亡。猪生长发育的适宜环境温度为15-28℃，最佳温度是18-21℃，为获取高效益，盛夏养猪应重在防暑。
研究了水浮莲干体对模拟染料废水中甲基橙（MO）的吸附行为,考察吸附时间、溶液初始pH值、水浮莲干体用量和MO初始质量浓度等因素对MO吸附的影响.结果表明,在MO溶液初始pH值为5.5
目的 分析空军青少年航空学校学生抗荷力量变化规律,探讨影响空军青少年航空学校学生抗荷力量训练因 素,为修订抗荷体质高效训练方案提供科学依据。方法 随机抽取南方8所学校
得胜街是江津几江城区有名的街道,在1987年出版的《四川省江津县地名录》中就有＂得胜街＂的词条。其解释为：＂得胜街,原名小西门街。1958年取‘人民得胜利’之意,更为现名。＂其实,得