基于AADL的嵌入式安全规范代码生成研究与实现
| 摘要 | 第4-5页 |
| abstract | 第5页 |
| 缩略词 | 第11-12页 |
| 第一章 绪论 | 第12-19页 |
| 1.1 选题背景以及研究意义 | 第12-15页 |
| 1.1.1 安全关键系统 | 第12-13页 |
| 1.1.2 模型驱动开发方法 | 第13-15页 |
| 1.2 国内外研究现状 | 第15-17页 |
| 1.3 论文工作及组织结构 | 第17-19页 |
| 第二章 基于AADL的代码自动生成研究 | 第19-28页 |
| 2.1 体系结构分析与设计语言建模研究 | 第19-23页 |
| 2.1.1 体系结构构件 | 第19-21页 |
| 2.1.2 执行模型 | 第21页 |
| 2.1.3 扩展附件 | 第21-23页 |
| 2.2 安全编程标准 | 第23-24页 |
| 2.3 AADL代码生成 | 第24-25页 |
| 2.4 模型驱动方法相关技术 | 第25-26页 |
| 2.5 本章小结 | 第26-28页 |
| 第三章 代码生成器AADLGEN前端 | 第28-51页 |
| 3.1 AADL研究子集 | 第28-33页 |
| 3.1.1 研究子集的定义 | 第28页 |
| 3.1.2 选取的AADL子集 | 第28-33页 |
| 3.2 中间模型MMACG语法 | 第33-38页 |
| 3.2.1 结构层次 | 第34-35页 |
| 3.2.2 表达式语句 | 第35-38页 |
| 3.3 AADL生成MMACG模型转换规则 | 第38-49页 |
| 3.3.1 软硬件构件 | 第38-40页 |
| 3.3.2 执行模型 | 第40-45页 |
| 3.3.3 行为附件 | 第45-49页 |
| 3.4 本章小结 | 第49-51页 |
| 第四章 代码生成器AADLGEN后端研究 | 第51-62页 |
| 4.1 单任务系统和多任务系统概述 | 第51页 |
| 4.2 中间模型到多任务系统的转换规则 | 第51-57页 |
| 4.2.1 中间模型构件转换规则 | 第51-52页 |
| 4.2.2 中间模型programs转换规则 | 第52-55页 |
| 4.2.3 端口操作函数转换规则 | 第55-57页 |
| 4.3 中间模型到单任务系统的转换规则 | 第57-58页 |
| 4.4 转换规则与编码标准研究 | 第58-61页 |
| 4.5 本章小结 | 第61-62页 |
| 第五章 工具设计与实例验证 | 第62-75页 |
| 5.1 代码生成工具设计实现 | 第62-67页 |
| 5.1.1 代码生成工具总体设计 | 第62页 |
| 5.1.2 中间模型模块设计实现 | 第62-63页 |
| 5.1.3 转换生成模块设计实现 | 第63-67页 |
| 5.2 实例验证 | 第67-74页 |
| 5.2.1 婴儿保温箱控制系统Isolette | 第67-70页 |
| 5.2.2 生成中间模型 | 第70-72页 |
| 5.2.3 生成代码 | 第72-73页 |
| 5.2.4 相关对比 | 第73-74页 |
| 5.2.5 结果分析 | 第74页 |
| 5.3 本章小结 | 第74-75页 |
| 第六章 总结与展望 | 第75-77页 |
| 6.1 论文工作总结 | 第75页 |
| 6.2 未来工作展望 | 第75-77页 |
| 参考文献 | 第77-81页 |
| 致谢 | 第81-82页 |
| 在学期间的研究成果及发表的学术论文 | 第82-83页 |
| 附录一 中间模型MMACG的Xtext定义 | 第83-84页 |
