基于模型驱动的IMA资源安全分配与验证方法研究



基于模型驱动的IMA资源安全分配与验证方法研究

分类：教育论文网→航空航天论文→航空论文→航空仪表、航空设备、飞行控制与导航论文→电子设备论文

基于模型驱动的IMA资源安全分配与验证方法研究

论文目录
摘要	第1-5页
ABSTRACT	第5-12页
第一章绪论	第12-17页
· 本课题研究背景和意义	第12-13页
· 国内外研究概况及发展趋势	第13-15页
· 论文研究内容及组织结构	第15-17页
第二章综合航电体系结构及IMA系统配置流程	第17-24页
· 综合航电体系结构	第17-20页
· IMA系统结构	第17-18页
· IMA系统主要部件	第18-20页
· IMA系统配置流程	第20-23页
· IMA系统开发过程中的交互描述	第20-21页
· IMA系统配置在IMA系统开发过程中系统边界定义	第21-22页
· IMA系统配置的步骤	第22-23页
· 本章小结	第23-24页
第三章模型驱动工程及ALTARICA建模	第24-36页
· 模型驱动概述	第24-26页
· 传统安全性分析方法特点	第24-25页
· 基于模型分析方法及过程	第25-26页
· 安全性需求概述	第26-28页
· ALTARICA语言及建模	第28-35页
· AltaRica语言	第28-33页
· AltaRica3.0 工程	第33-34页
· AltaRica工具	第34-35页
· 本章小结	第35-36页
第四章系统故障传播建模及安全性分析	第36-48页
· 基于故障传播的安全性分析框架	第36-37页
· 系统故障传播建模	第37-44页
· 系统故障传播模型	第37-39页
· 安全性架构模式建模	第39-44页
· 基于故障传播的安全性分析	第44-47页
· GTS模型编译为故障树模型	第44-45页
· 故障树分析脚本	第45-47页
· 座舱显示系统安全性分析结果	第47页
· 本章小结	第47-48页
第五章基于约束的IMA系统资源安全分配及验证方法	第48-72页
· IMA系统资源安全分配方法及验证框架	第48-49页
· 系统及平台模型	第49-53页
· 系统结构模型	第49-51页
· 平台结构模型	第51-53页
· 分配模型	第53-64页
· 分配约束的数学模型	第53-57页
· 分配约束的提取及表示	第57-64页
· 分配方案安全性需求满足性验证	第64-66页
· 分配模型	第64-66页
· 安全性需求满足性验证	第66页
· 建模与约束文件生成工具IMARAT	第66-70页
· 工具平台架构	第66-67页
· 建模功能设计	第67-69页
· 生成OPL格式约束文件功能设计	第69-70页
· 实例分析	第70-71页
· 本章小结	第71-72页
第六章总结与展望	第72-74页
· 本文总结	第72页
· 研究展望	第72-74页
参考文献	第74-79页
致谢	第79-80页
在学期间的研究成果及发表的学术论文	第80页

本篇论文共80页，点击这进入下载页面。

更多论文
基于模型驱动的IMA资源安全分配与验
面向在轨服务的航天器可更换模块概
面向AltaRica模型的系统安全性设计
面向航电系统的形式化建模与验证
变体机翼及自适应进气道结构设计和
飞机起落架摆振动力学分析及其非线
基于Plücker直线的机载LiDAR点云与
旋转机械数据与电能单线圈传输技术
紊流激励下的时域颤振模态分析与颤
复合材料蜂窝夹层结构修理后压缩性
某无人机气动力建模与飞行仿真的研
三轴六自由度振动试验系统控制研究
直升机/舰船耦合流场的CFD模拟及风
某飞机非定常气动力建模方法研究
临近空间飞行器着陆装置总体及构型
基于光纤光栅传感网络的变形监测研
基于扩展故障树的作战系统故障模型
反临近空间飞行器的导弹制导律设计
导弹突防的若干对策研究与仿真
自适应阵列天线跟踪和抗干扰算法研
面向车载网的AODV协议的优化研究
多特征融合的车牌检测算法研究
基于粒子滤波算法的交通流事件重构
高维数据聚类算法及应用研究
船舶监控系统中实时数据清洗技术研
船用襟翼舵的设计及水动力性能研究
压型钢板—轻骨料混凝土组合楼板正
太仓沙溪古镇民俗建筑的数字典藏设
500MPa高强钢筋机械连接技术研究
碱式硫酸镁水泥混凝土的配合比设计
层积材竹板与钢板螺栓连接受力机理
苏北传统民居装饰艺术研究
基于云服务的智能家居系统的研究与
钢筋腐蚀无线传感器可靠性试验及工
中国新能源技术创新政策研究——基
基于符合测量的空间中子探测器技术
基于滑模控制的SR电机间接位置检测
基于有序模式的脑网络分类研究及其
多模态特征选择及其在脑疾病分类中
堀辰雄《菜穗子》研究
凝视下的“他者”-英美短篇小说中的
汉英唯一性范畴副词对比研究
语篇照应视角下英汉指示代词对比研
汉日语否定词的对比——以“太”系
大学英语翻转课堂中的学生自主性研
《史记》英译增词模式描写研究
英语专业学生英语功能语类T的习得研
中国近现代古筝文献编辑出版研究
音乐App和数字音频工作站软件在音乐
舞蹈创作中拟人化技法的运用研究
编辑学视野下中国戏曲音乐文化的当
城市纪录片中的南京意象研究
都市婚恋剧中“剩女”形象研究
基于数理形式语言的分形理论在展示
文艺复兴时期威尼斯画派艺术特征研
铁保书法研究
吴熙载书法研究
文徵明绘画传承研究
中国当代油画题材研究
马克思的公民观研究

综合模块化航空电子论文资源分配论文故障传播论文安全性分析论文元模型论文约束
版权申明：目录由用户钱**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved