面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

作者： 凌仕翔       杨志斌       周勇   来源： 计算机科学 年份： 2024 文献类型 ： 期刊 关键词： AADL   ARINC653操作系统   综合化航空电子系统   代码自动生成  

描述： 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

作者： 凌仕翔       杨志斌       周勇   来源： 计算机科学 年份： 2024 文献类型 ： 期刊 关键词： AADL   ARINC653操作系统   综合化航空电子系统   代码自动生成  

描述： 面向ARINC653操作系统的综合化航空电子软件代码自动生成方法

基于系统工程的航空电子系统深度综合化需求分析与评估方法

作者： 黄俊     张正勇     方学立   来源： 航空电子技术 年份： 2024 文献类型 ： 期刊 关键词： 需求分析   评估模型   综合化航空电子系统  

描述： 本文在分析综合化航空电子系统使用和信息流转的基础上，提出了一种综合化航空电子系统需求分析及评估方法。该方法从信息获取能力、传输能力、处理能力、显示能力和任务能力等方面建立评估模型，基于层次分析法

综合化航空电子系统装备质量提升模型的提出与验证

作者： 米世强   周新   来源： 电子质量 年份： 2022 文献类型 ： 期刊 关键词： 改进模型   装备质量提升   综合化航空电子系统  

描述： 该文结合综合化航空电子系统特点，分析当前装备质量现状与短板，建立装备质量提升改进模型，基于数据改善情况进行结果评价，取得了较好的工作成效，并为后续持续改善提供了思路。

综合化航空电子系统装备质量提升模型的提出与验证

作者： 米世强   周新   来源： 电子质量 年份： 2022 文献类型 ： 期刊 关键词： 改进模型   装备质量提升   综合化航空电子系统  

描述： 该文结合综合化航空电子系统特点，分析当前装备质量现状与短板，建立装备质量提升改进模型，基于数据改善情况进行结果评价，取得了较好的工作成效，并为后续持续改善提供了思路。

基于模型的民用飞机系统安全性分析方法研究

作者： 张子文   来源： 南京航空航天大学 年份： 2021 文献类型 ： 学位论文 关键词： 面向对象的Petri网   AADL   蒙特卡洛仿真   系统安全性分析   机轮刹车系统  

描述： 基于模型的民用飞机系统安全性分析方法研究

基于模型的民用飞机系统安全性分析方法研究

作者： 张子文   来源： 南京航空航天大学 年份： 2021 文献类型 ： 学位论文 关键词： 面向对象的Petri网   AADL   蒙特卡洛仿真   系统安全性分析   机轮刹车系统  

描述： 基于模型的民用飞机系统安全性分析方法研究