- 年份
- 2019（1）
- 核心收录
- 中国科学引文数据库(CSCD)（1）
- 中国科技论文与引文数据库(CSTPCD)（1）
- 北京大学中文核心期刊目录(北大核心)（1）
- 刊名
- 计算机科学与探索（1）
- 作者单位
- 南京航空航天大学（1）
- 语种
- 汉语（1）
- 关键词
- NuSMV（1）
- xSAP（1）
- 基于模型的安全性分析方法(MBSA)（1）
- 失效模式与影响分析(FMEA)表（1）
- 故障树（1）
- 模型扩展（1）
- 自动飞行控制系统(AFCS)（1）
- 更多...
- 作者
- 唐红英（1）
- 张维珺（1）
- 李宛倩（1）
- 石梦烨（1）
- 胡军（1）
- 陈朔（1）
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 1 条结果
- 安全关键系统需求形式化建模分析实例研究*北大核心CSCDCSTPCD摘要：近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统Garmin G1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍.该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,…查看全部>>