基于AADL和GSPN的安全关键系统的研究

来源 :航空计算技术 | 被引量 : 0次 | 上传用户：bazzi89

【摘要】

：

对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis

【作者】

：

杨海云孙有朝阮宏泽皇甫齐君

【机构】

：

南京航空航天大学民航学院,中国商用飞机有限责任公司上海飞机设计研究院,南京国睿信维软件有限公司

【出处】

：

航空计算技术

【发表日期】

：

2020年5期

【关键词】

：

AADL GSPN 故障传播组合故障安全性分析 AADLGSPNfault propagationcomposite faultsafety analysi

【基金项目】

：

国家自然科学基金委员会与中国民用航空局联合项目资助(U1333119),国防基础科研计划项目资助(JCKY2013605B002),上海民用飞机健康监控工程技术研究中心开放课题基金资助(GCZX-2015-05),国防科工局技术基础科研项目资助(Z052013B003),江苏省自然科学青年基金项目资助(BK20140813)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性

其他文献

时尚先锋——LG G810

LG与三星都是代表症韩国最顶尖科技的大企业，不过由于种种原因，LG手机（包括G网以及C网）在国内的认可程序以及知名度都远远低于三星手机，即使是在众多韩系OEM产品涌入之际，三星依然

期刊

LG公司G810手机功能

镁表面载地塞米松DNA凝胶促成骨细胞分化研究

目的:在镁表面制备载地塞米松(DEX)的DNA水凝胶涂层并探究对成骨细胞成骨分化的影响。方法:纯镁(Mg)阳极氧化后作为基底(MgO),通过DNA变性杂交与静电结合法制备载DEX的DNA凝

期刊

镁地塞米松DNA水凝胶成骨细胞成骨分化MagnesiumDexamethasoneDNA hydrogelOsteoblastsOsteogenic

刍议美声演唱中气息的运用技巧

美声演唱中要求表演者运用较高的气息，运用技巧和情感表达，从而达到高质量的演出效果。所谓美声，即一种重要的音乐技巧，需要表演者融自己的情感和气息于一体，其中又以气息的运用为

期刊

美声演唱气息运用技巧

勋伯格的《钢琴小品六首》OP.19

这篇简短论文的工作重点是维也纳作曲家——阿诺尔德 . 勋伯格 (Arnonld Schoenberg)，他是当代音乐领域 20世纪最重要的人物之一。

期刊

《钢琴小品六首》阿诺尔德.勋伯格

TGF-β1在放射性颌骨骨髓炎发病过程中对骨髓间充质干细胞的影响及其分子机制的体外研究

目的:研究转化生长因子β1(TGF-β1)在射线引起的骨髓间充质干细胞(BMSCs)电离辐射损伤中的作用及其相关分子机制。方法:建立细胞辐照模型,分别施加放射线、TGF-β1中和抗体

期刊

放射性颌骨骨髓炎骨髓间充质干细胞转化生长因子β1NOX4肌成纤维细胞Osteoradionecrosis of jawsBone marrow mes

髁突软骨诱导外源性骨髓间充质干细胞成软骨分化的实验研究

目的:研究正常和骨关节炎髁突软骨诱导外源性骨髓间充质干细胞(BMSCs)成软骨分化能力的差别及调节机制。方法:采用单侧前牙反[牙合](UAC)诱导的颞下颌关节骨关节炎动物模型。

期刊

骨髓间充质干细胞(BMSCs)成软骨分化髁突软骨Ⅱ型胶原(Col2a1)c-myc细胞外信号调节激酶1和2(ERK1/2)Bone marrow m

学习语文当家作主

苏霍姆林斯基认为:每一个学生都是独一无二的个体,他们的学习兴趣、习惯、在班级中的地位、个性心理甚至到与老师的关系都有差异,我们要让每一个学生都找到自己适合的位置。

期刊

语文教学主体地位学习主人

中性粒细胞外泌体诱导骨髓间充质干细胞分泌成血管相关因子的研究

目的:探索中性粒细胞来源外泌体(PMN-Exo)体外诱导人骨髓间充质干细胞(hBMSCs)分泌促血管生成的相关因子。方法:免疫磁珠法提取并超离法分离PMN-Exo,对PMN-Exo进行鉴定及内吞

期刊

中性粒细胞(PMN)外泌体HBMSCS成血管相关因子PMNExosomehBMSCsAngiogenesis-related factors

纯钛表面复合纳米微球涂层的构建及其体外释药特性研究

目的:在纯钛表面构建载结缔组织生长因子/聚乳酸纳米微球的复合涂层。方法:采用复乳法制备结缔组织生长因子/聚乳酸纳米微球,通过渗涂交联法在微弧氧化纯钛表面构建复合涂层,

期刊

结缔组织生长因子纳米微球软组织封闭种植体基台Connective tissue growth factorNanoparticlesSoft tissu

抗幽门螺杆菌治疗对肝性脑病疗效的观察

幽门螺杆菌(Hp)是人类最易受感染的细菌之一。Siringo等的对照研究显示，肝硬化患者的Hp感染率为76.5％，正常受试者为41.8％。有报道表明根除幽门螺杆菌能有效降低合并幽门螺杆菌感染的肝硬化门脉高压患者血氨浓度。肝性脑病是肝硬化失代偿期常见并发症之一，也是主要死亡原因。肝性脑病的主要发病机制之一是氨中毒学说，即血氨升高。由此本研究探討抗幽门螺杆菌治疗对肝性脑病患者疗效的影响。

期刊

幽门螺杆菌肝性脑病血氨

基于AADL和GSPN的安全关键系统的研究

与本文相关的学术论文