声明
摘要
第一章 绪论
1.1 研究背景与意义
1.2 基于模型的系统工程
1.2.1 控制系统基本概念
1.2.2 基于模型的系统工程
1.3 研究现状
1.3.1 基于模型的系统工程
1.3.2 可视化建模技术
1.3.3 模型确认技术
1.3.4 自动代码生成技术
1.3.5 软件在环和硬件在环测试技术
1.3.6 远程调试技术
1.4 方法论概述
1.5 论文的主要工作与组织结构
第二章 特定领域层次化建模技术研究
2.1 引言
2.2 物理模型建模
2.2.1 模型的选取
2.2.2 扩展数据流模型
2.2.3 工具实现
2.2.4 工程案例
2.3 控制器模型建模
2.3.1 模型的选取
2.3.2 状态图模型
2.3.3 程序流程图模型
2.3.4 数据字典
2.3.5 工具实现
2.3.6 工程案例
2.4 可重用构件和构件库
2.4.1 构件的描述
2.4.2 构件的生成
2.4.3 构件的使用
2.4.4 实验检验
2.5 本章小结
第三章 基于一阶逻辑的模型确认技术研究
3.1 引言
3.2 基于一阶逻辑的模型确认
3.3 模型的形式化描述
3.4 物理模型中的约束
3.4.1 约束定义
3.4.2 约束的形式化描述
3.5 控制器模型中的约束
3.5.1 约束定义
3.5.2 约束的形式化描述
3.6 模型实例到一阶逻辑的转换
3.7 层次化的模型确认过程
3.7.1 层内的模型确认
3.7.2 层间的模型确认
3.7.3 程序流程图的结构化实时检测
3.8 工具实现
3.9 实验检验
3.10 本章小结
第四章 基于模板的自动代码生成技术研究
4.1 引言
4.2 扩展数据流图代码生成
4.2.1 模型排序
4.2.2 代码生成规则
4.2.3 工程案例
4.3 程序流程图代码生成
4.3.1 程序流程图的结构分析与识别
4.3.2 循环结构的线性化
4.3.3 分支结构域的确定
4.3.4 结构化C代码的生成
4.3.5 算法复杂度分析
4.3.6 实验检验
4.3.7 工程案例
4.4 状态图代码生成
4.4.1 基本状态和复合状态的代码生成
4.4.2 历史状态的处理
4.4.3 状态迁移
4.4.4 工程案例
4.5 本章小结
第五章 软件在环测试和硬件在环测试技术研究
5.1 引言
5.2 软件在环测试
5.2.1 测试分析
5.2.2 测试方案
5.2.3 工具实现
5.2.4 实验检验
5.3 硬件在环测试
5.3.1 测试分析
5.3.2 测试方案
5.3.2 工具实现
5.3.3 工程案例
5.4 本章小结
第六章 远程调试技术的设计与研究
6.1 引言
6.2 远程逆向调试方案
6.2.1 交叉编译
6.2.2 状态记录
6.2.3 状态回放
6.2.4 逆向调试
6.3 工具实现
6.4 实验检验
6.5 本章小结
第七章 结束语
7.1 本文工作总结
7.2 进一步研究方向
致谢
参考文献
攻读博士学位期间的研究成果