基于BIP的航空控制系统行为故障建模与形式化验证方法
日期:2022.12.31 点击数:0
【类型】学位论文
【作者】唐旭东
【关键词】 故障建模,基于模型的安全分析,模型检查,BIP(行为交互优先级),形式化方法
【摘要】基于BIP的航空控制系统行为故障建模与形式化验证方法
【学位名称】硕士
【学位授予单位】华东师范大学
【学位授予年度】2022
【导师姓名】缪炜恺
相关文章
【类型】学位论文
【作者】唐旭东
【关键词】 故障建模,基于模型的安全分析,模型检查,BIP(行为交互优先级),形式化方法
【摘要】基于BIP的航空控制系统行为故障建模与形式化验证方法
【学位名称】硕士
【学位授予单位】华东师范大学
【学位授予年度】2022
【导师姓名】缪炜恺