×

基于模型的航空飞行安全性分析技术综述

消耗积分:0 | 格式:pdf | 大小:未知 | 2021-06-07

分享资料个

　　近年来，基于模型的安全性分析技术（MBSA）在航空等领堿有着广泛应用，因此对以ⅹSAP安全分析平台为核心，基于MBSA的系统安全性评估方法进行了研究，并通过一个真实的综合航电系统 Garmin G1000的自动飞行控制系统（AFCS）GFC700为实例来详细介绍。该方法的实现包括使用 NUSMV形式化语言对系统进行需求建模，根据系统设计故障模弌，在NSM模型中注λ故障事件，使用κSAP对№SMV需求模型进行模型扩展得到故障扩展模型，以及对故障扩展模型进行故障分析及系统安全性评估，例如生成故障树及FMEA表等。从分析结果来看，使用xSAP平台对实际系统进行基于模型的系统安全分析是行之有效的。

下载并关注上传者 低至0.43元/天 开通VIP 免费下载

声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉

评论(0)
发评论

下载排行榜

全部0条评论

快来发表一下你的评论吧 !