基于代码生成的机载软件配置与定制技术研究

目录

声明

第一章绪论

1.1 研究背景及意义

1.2 国内外研究现状

1.2.1 国外研究现状

1.2.2 国内研究现状

1.3 研究内容与结构

研究内容

本论文的内容与结构的安排

第二章高安全性机载代码生成相关技术

2.1 基于 DO-178 标准的软件开发要素分析

2.2 机载软件开发流程图分析设计

2.2.1 DO-178 总体内容分析

2.2.2 软件开发过程分析

2.2.3 机载软件开发流程图设计

2.3 本章小结

第三章机载软件代码生成的配置/定制设计

3.1 机载代码关键特性分析

3.1.1 生成代码执行效率影响因素分析

3.1.2 生成代码可读性影响因素分析

3.2 机载代码生成配置/定制方法研究

3.2.1 一致性建模环境分析

3.2.2 模型优化及配置参数配置方法分析

3.3 总体优化方案制定

3.4 本章小结

第四章机载软件代码生成的配置/定制实现

4.1 机载代码模型优化配置

4.1.1 代码生成结构分析

4.1.2 信号线的代码生成结构分析

4.1.3 代码生成接口结构分析

4.1.4 自定义存储类型与信号/参数数据对象分析

4.1.5 实时任务调度与代码生成分析

4.2 基于 Embedded Coder 的机载代码定制生成

4.2.1 系统 TLC文件定制开发

4.2.2 系统钩子文件定制开发

4.2.3 代码模板文件定制开发

4.2.4 主函数 TLC文件定制开发

4.3 本章小结

第五章飞控机载代码生成及配置/定制优化

5.1 系统需求分析及验证

5.1.1 飞行控制系统需求分析

5.1.2 飞行控制系统架构设计

5.1.3 飞行控制控系统软件需求分析

5.2 飞行器控制系统模型设计

5.2.1 飞行器建模

5.2.2 飞行控制器建模

5.2.3 模型设计验证

5.3 软件编码过程及配置/定制优化

1、代码生成参数配置

2、信号线及输入输出变量设置

3、入口函数设置

4、机载代码生成控制文件选择

5.4 机载代码测试与对比

5.4.1 代码静态测试对比

5.4.2 代码有效性验证分析

5.5 本章小结

第六章总结与展望

6.1 工作总结

6.2 工作展望

致谢

参考文献