基于模型集成运算的嵌入式装备控制系统开发方法的研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-15页 |
| 第一章 绪论 | 第15-37页 |
| ·装备控制的发展需求 | 第16-17页 |
| ·嵌入式控制系统 | 第17-20页 |
| ·嵌入式控制系统的特点 | 第17-19页 |
| ·嵌入式控制系统开发所面临的问题 | 第19-20页 |
| ·嵌入式控制系统的开发方法及相关研究现状 | 第20-35页 |
| ·Jackson 开发方法 | 第22-23页 |
| ·模型驱动开发方法 | 第23-26页 |
| ·面向领域的开发方法 | 第26-28页 |
| ·模型集成运算 | 第28-30页 |
| ·MDA、DSM 与MIC | 第30-33页 |
| ·其它相关研究 | 第33-35页 |
| ·本文主要研究内容 | 第35-37页 |
| 第二章 嵌入式控制系统开发的总体框架 | 第37-54页 |
| ·MIC 理论 | 第37-45页 |
| ·系统开发过程 | 第37-38页 |
| ·通用建模环境 | 第38-40页 |
| ·元模型建模语言 | 第40-41页 |
| ·面向领域的建模语言 | 第41-45页 |
| ·总体框架的设计目标 | 第45-51页 |
| ·快速定制 | 第45-47页 |
| ·模型层验证与仿真 | 第47-49页 |
| ·设计空间搜索 | 第49-50页 |
| ·工具集成 | 第50-51页 |
| ·总体框架 | 第51-53页 |
| ·本章小结 | 第53-54页 |
| 第三章 嵌入式控制系统的元模型构建 | 第54-89页 |
| ·控制系统的领域分析 | 第54-60页 |
| ·系统的组成 | 第54-56页 |
| ·系统的功能 | 第56-57页 |
| ·系统的性能 | 第57-58页 |
| ·系统的约束 | 第58-59页 |
| ·系统的硬件平台 | 第59-60页 |
| ·控制系统的本体论 | 第60-66页 |
| ·本体论的来源 | 第60-61页 |
| ·控制系统的本体论 | 第61-66页 |
| ·控制系统的元模型设计 | 第66-88页 |
| ·元模型的抽象方法 | 第67页 |
| ·系统的部件划分 | 第67-72页 |
| ·部件的特性定义 | 第72-75页 |
| ·部件之间的关系定义 | 第75-85页 |
| ·模型的合成 | 第85-88页 |
| ·本章小结 | 第88-89页 |
| 第四章 模型解释器的设计 | 第89-104页 |
| ·模型解释器的功能 | 第89-90页 |
| ·模型解释器的实现方法 | 第90-92页 |
| ·直接实现方法 | 第90-91页 |
| ·基于设计模式的实现方法 | 第91页 |
| ·基于元生成的方法 | 第91-92页 |
| ·模型解释器开发框架 | 第92-94页 |
| ·模型访问接口 | 第94-98页 |
| ·元对象网络 | 第94-96页 |
| ·构造对象网络 | 第96-98页 |
| ·非功能性要求相关 | 第98-103页 |
| ·消息通信 | 第98-99页 |
| ·并发访问控制 | 第99-100页 |
| ·任务同步 | 第100-101页 |
| ·避免死锁 | 第101-102页 |
| ·内存管理 | 第102-103页 |
| ·本章小结 | 第103-104页 |
| 第五章 装备控制系统开发实例 | 第104-123页 |
| ·液压拉深机控制系统 | 第104-111页 |
| ·系统需求 | 第105-106页 |
| ·系统建模 | 第106-110页 |
| ·人机界面生成 | 第110-111页 |
| ·计算机数控系统 | 第111-115页 |
| ·系统需求 | 第111-112页 |
| ·系统建模 | 第112-115页 |
| ·焊接过程监控系统 | 第115-121页 |
| ·系统需求 | 第115-116页 |
| ·系统建模 | 第116-118页 |
| ·实验结果与分析 | 第118-121页 |
| ·本章小结 | 第121-123页 |
| 论文总结与展望 | 第123-125页 |
| 参考文献 | 第125-134页 |
| 附录 采用XML 语言描述的模型语义 | 第134-135页 |
| 攻读博士学位期间取得的研究成果 | 第135-137页 |
| 致谢 | 第137-138页 |
