声明
缩略词
第一章 绪论
1.1 研究背景
1.2 研究动机
1.3 论文主要研究工作
1.4 论文组织结构
第二章 相关工作
2.1 AADL语言简介
2.2 基于AADL的模型驱动开发方法
2.3 设计模型的正向构建方法
2.4 设计模型的逆向构建方法
2.5 相关工作比较
第三章 RNLreq：基于限定自然语言的需求规约方法
3.1 RNLreq定义
3.2 RNLreq语法
3.3 需求建模过程及示例
3.4 本章小结
第四章 RNL2AADL：RNLreq到AADL的自动转换方法
4.1 RNLreq元模型
4.2 RNL2AADL中间模型：RAInterM
4.3 RNLreq到RAInterM转换规则
4.4 RAInterM到AADL转换规则
4.5 RNL2AADL示例
4.6 本章小结
第五章 C2AADL：面向C程序的AADL模型生成方法
5.1 基于DOM的C程序抽取
5.2 C2AADL中间模型：CAInterM
5.3 中间模型CAInterM到AADL转换规则
5.4 C2AADL示例
5.5 本章小结
第六章 AADL模型生成框架及案例
6.1 AADL模型生成框架
6.2 RNLreqTool及RNL2AADLTool工具实现
6.3 C2AADL转换工具实现
6.4 导弹发控系统案例分析
6.5 应用验证讨论
6.6 本章小结
第七章 总结与展望
7.1 总结
7.2 展望
参考文献
致谢
在学期间的研究成果及发表的学术论文
