控制系统基于模型的系统工程开发方法研究
| 摘要 | 第3-4页 |
| Abstract | 第4-5页 |
| 第一章 绪论 | 第9-23页 |
| 1.1 研究背景与意义 | 第9-10页 |
| 1.2 基于模型的系统工程 | 第10-13页 |
| 1.2.1 控制系统基本概念 | 第10-11页 |
| 1.2.2 基于模型的系统工程 | 第11-13页 |
| 1.3 研究现状 | 第13-19页 |
| 1.3.1 基于模型的系统工程 | 第13页 |
| 1.3.2 可视化建模技术 | 第13-16页 |
| 1.3.3 模型确认技术 | 第16页 |
| 1.3.4 自动代码生成技术 | 第16-17页 |
| 1.3.5 软件在环和硬件在环测试技术 | 第17-18页 |
| 1.3.6 远程调试技术 | 第18-19页 |
| 1.4 方法论概述 | 第19-20页 |
| 1.5 论文的主要工作与组织结构 | 第20-23页 |
| 第二章 特定领域层次化建模技术研究 | 第23-47页 |
| 2.1 引言 | 第23页 |
| 2.2 物理模型建模 | 第23-33页 |
| 2.2.1 模型的选取 | 第23-24页 |
| 2.2.2 扩展数据流模型 | 第24-26页 |
| 2.2.3 工具实现 | 第26-30页 |
| 2.2.4 工程案例 | 第30-33页 |
| 2.3 控制器模型建模 | 第33-42页 |
| 2.3.1 模型的选取 | 第33-34页 |
| 2.3.2 状态图模型 | 第34-35页 |
| 2.3.3 程序流程图模型 | 第35-36页 |
| 2.3.4 数据字典 | 第36页 |
| 2.3.5 工具实现 | 第36-40页 |
| 2.3.6 工程案例 | 第40-42页 |
| 2.4 可重用构件和构件库 | 第42-45页 |
| 2.4.1 构件的描述 | 第42-43页 |
| 2.4.2 构件的生成 | 第43-44页 |
| 2.4.3 构件的使用 | 第44页 |
| 2.4.4 实验检验 | 第44-45页 |
| 2.5 本章小结 | 第45-47页 |
| 第三章 基于一阶逻辑的模型确认技术研究 | 第47-61页 |
| 3.1 引言 | 第47页 |
| 3.2 基于一阶逻辑的模型确认 | 第47-48页 |
| 3.3 模型的形式化描述 | 第48-49页 |
| 3.4 物理模型中的约束 | 第49-52页 |
| 3.4.1 约束定义 | 第49-50页 |
| 3.4.2 约束的形式化描述 | 第50-52页 |
| 3.5 控制器模型中的约束 | 第52-54页 |
| 3.5.1 约束定义 | 第52-53页 |
| 3.5.2 约束的形式化描述 | 第53-54页 |
| 3.6 模型实例到一阶逻辑的转换 | 第54页 |
| 3.7 层次化的模型确认过程 | 第54-56页 |
| 3.7.1 层内的模型确认 | 第55页 |
| 3.7.2 层间的模型确认 | 第55-56页 |
| 3.7.3 程序流程图的结构化实时检测 | 第56页 |
| 3.8 工具实现 | 第56-57页 |
| 3.9 实验检验 | 第57-60页 |
| 3.10 本章小结 | 第60-61页 |
| 第四章 基于模板的自动代码生成技术研究 | 第61-85页 |
| 4.1 引言 | 第61-62页 |
| 4.2 扩展数据流图代码生成 | 第62-67页 |
| 4.2.1 模型排序 | 第62-63页 |
| 4.2.2 代码生成规则 | 第63-66页 |
| 4.2.3 工程案例 | 第66-67页 |
| 4.3 程序流程图代码生成 | 第67-75页 |
| 4.3.1 程序流程图的结构分析与识别 | 第67-69页 |
| 4.3.2 循环结构的线性化 | 第69页 |
| 4.3.3 分支结构域的确定 | 第69-72页 |
| 4.3.4 结构化C代码的生成 | 第72页 |
| 4.3.5 算法复杂度分析 | 第72页 |
| 4.3.6 实验检验 | 第72-73页 |
| 4.3.7 工程案例 | 第73-75页 |
| 4.4 状态图代码生成 | 第75-84页 |
| 4.4.1 基本状态和复合状态的代码生成 | 第75-77页 |
| 4.4.2 历史状态的处理 | 第77-79页 |
| 4.4.3 状态迁移 | 第79-83页 |
| 4.4.4 工程案例 | 第83-84页 |
| 4.5 本章小结 | 第84-85页 |
| 第五章 软件在环测试和硬件在环测试技术研究 | 第85-101页 |
| 5.1 引言 | 第85-86页 |
| 5.2 软件在环测试 | 第86-91页 |
| 5.2.1 测试分析 | 第86-87页 |
| 5.2.2 测试方案 | 第87-88页 |
| 5.2.3 工具实现 | 第88-89页 |
| 5.2.4 实验检验 | 第89-91页 |
| 5.3 硬件在环测试 | 第91-99页 |
| 5.3.1 测试分析 | 第91页 |
| 5.3.2 测试方案 | 第91-95页 |
| 5.3.3 工具实现 | 第95-97页 |
| 5.3.4 工程案例 | 第97-99页 |
| 5.4 本章小结 | 第99-101页 |
| 第六章 远程调试技术的设计与研究 | 第101-113页 |
| 6.1 引言 | 第101页 |
| 6.2 远程逆向调试方案 | 第101-108页 |
| 6.2.1 交叉编译 | 第103-105页 |
| 6.2.2 状态记录 | 第105-107页 |
| 6.2.3 状态回放 | 第107页 |
| 6.2.4 逆向调试 | 第107-108页 |
| 6.3 工具实现 | 第108-109页 |
| 6.4 实验检验 | 第109-110页 |
| 6.5 本章小结 | 第110-113页 |
| 第七章 结束语 | 第113-115页 |
| 7.1 本文工作总结 | 第113-114页 |
| 7.2 进一步研究方向 | 第114-115页 |
| 致谢 | 第115-117页 |
| 参考文献 | 第117-127页 |
| 攻读博士学位期间的研究成果 | 第127-128页 |
| 学术论文 | 第127-128页 |
| 参加研究的科研项目 | 第128页 |
