Pcanel——基于模型驱动的嵌入式系统设计平台

摘要

全文内容是这样安排的:第一章是绪论.介绍嵌入式系统的本质,它与物理世界的交互特点,以及现代嵌入式系统开发技术面临的挑战.第二章是相关技术介绍.包括构件、子过程、对象、软件服务、软件框架、模型驱动体系相关概念和技术等.第三章介绍相关技术的研究状况.包括嵌入式操作系统技术、嵌入式构件模型,构件化嵌入式操作系统技术,模型驱动及框架技术等.第四章是Pcanel系统的提出.简单介绍它的背景需求,设计目标以及设计思路.第五章是Pcanel系统的设计过程.包括构件的设计和实现,构件的连接及分级组合,模型驱动的方式等.第六章是案例研究.通过嵌入式系统的典型应用领域,即汽车电子领域中的电子节气门自动控制系统的设计,来分析讨论模型驱动设计方法的可行性及其学术价值.第七章是总结和展望.先归纳总结论文的有价值观点,然后提出进一步的研究方向.

目录

致谢

摘要

Abstract

第一章绪论

本章介绍

1.1嵌入式系统的传统定义

1.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国内外嵌入式软件市场现状与趋势

1.5.1市场现状

1.5.2市场趋势

1.6国内外嵌入式软件技术现状与趋势

1.6.1技术现状

1.6.2技术趋势

第二章构件化相关技术

本章介绍

2.1构件化技术定义

2.1.1构件大小

2.1.2构件接口

2.1.3构件的装配工具和基础结构

2.2子过程

2.3对象

2.4软件服务

2.5框架

2.6模型驱动体系架构

2.6.1建模的基本原理

2.6.2系统和模型转换

2.6.3模型、建模和MDA

2.6.4 MDA理论

第三章嵌入式系统研究现状

本章介绍

3.1嵌入式操作系统

3.2嵌入式构件模型

3.3构件化的嵌入式操作系统

3.3.1学术系统

3.3.2 工业系统

3.3.3理论系统和工业系统的综述

3.4基于模型的设计方法

3.4.1基于端口的对象

3.4.2 UML

3.4.3 AIRES

3.4.4 Meta-H

3.4.5其它

3.4.6基于模型驱动的设计方法

第四章Pcanel系统的提出

本章介绍

4.1背景需求

4.2设计目标

4.2.1精确表达时间约束

4.2.2有效处理并发事件

4.2.3系统可分析可验证

4.2.4支持鲁棒的应激性

4.2.5适应异构计算特性

4.2.6规范接口支持动态

4.3设计思路

4.3.1设计和实现处于同一视图

4.3.2支持分级组合的建模方式

4.3.3支持分级组合的构件体

4.3.4基于模型驱动的构件框架

4.3.5 Os与App融合的一体化结构

4.3.6充分考虑非功能属性要求

第五章Pcanel系统设计

本章介绍

5.1模型与框架的设计

5.1.1 Pcanel计算模型

5.1.2 Pcanel计算模型的分级组合

5.1.3 Pcanel构件

5.1.4 Pcanel构件连接器

5.1.5 Pcanel构件框架

5.2 Pcanel构件转化的形式化描述

5.3 Pcanel数据结构

第六章实例研究

6.1实践过程

6.1.1介绍

6.1.2问题

6.1.3解决方案

6.2电子节气门控制

6.2.1功能模型设计

6.2.2结构模型设计

6.3小结

第七章总结与展望

7.1总结

7.1.1主要创新点

7.1.2相关的项目

7.1.3相关的论文

7.1.4相关的著作

7.1.5软件著作权

7.1.6相关的专利

7.2进一步工作

7.2.1进一步完善构件设计

7.2.2安全性扩展

7.2.3异构平台模型

参考文献