文献检索-宁波市创意产业特色资源库

限定检索结果

基于AADL和GSPN的安全关键系统的研究: 收藏
分享
引用; 《航空计算技术》2020年第5期50卷 18-22页; 作者：杨海云孙有朝阮宏泽皇甫齐君南京航空航天大学民航学院江苏南京210016 中国商用飞机有限责任公司上海飞机设计研究院上海201210 南京国睿信维软件有限公司江苏南京210013; 对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized ...; 对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性分析是有效的。; 来源：详细信息评论

限定检索结果