原创力文档- 11
- 0
- 约1.08万字
- 约 11页
- 2023-06-19 发布于四川
- 举报
本发明公开了一种基于模型转换的民用飞机系统行为状态安全性验证方法，包含以下步骤：根据民用飞机系统中各组件之间的功能交互关系构建AltaRicaGTS模型；以验证民用飞机系统的行为状态为目标，确定GTS模型与NuSMV模型之间的映射规则，将GTS模型转换为NuSMV模型；利用NuSMV工具对转换后的NuSMV模型开展系统行为状态的安全性验证。本发明解决了基于AltaRica模型开展安全性分析时无法开展行为转状态安全性验证的缺点，对民用飞机安全关键系统的分析有重要的意义。
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 113283008 A
(43)申请公布日 2021.08.20
(21)申请号 202110570192.X
(22)申请日 2021.05.25
(71)申请人 中国航空无线电电子研究所
文档评论（0）