| 摘要 | 第1-7页 |
| 目录 | 第7-9页 |
| 第一章 绪论 | 第9-12页 |
| ·选题背景 | 第9-10页 |
| ·Esterel语言的起源背景和发展 | 第10-11页 |
| ·本文的章节安排 | 第11-12页 |
| 第二章 嵌入式系统开发 | 第12-23页 |
| ·嵌入式系统 | 第12-17页 |
| ·嵌入式系统的种类 | 第12-14页 |
| ·嵌入式操作系统 | 第14-17页 |
| ·嵌入式系统的组成 | 第17页 |
| ·嵌入式系统的软件开发 | 第17-18页 |
| ·目前影响嵌入式系统开发的技术 | 第18-23页 |
| 第三章 形式化方法 | 第23-31页 |
| ·基本概念 | 第23-26页 |
| ·欠形式化方法的不足 | 第24-25页 |
| ·软件开发中的数学 | 第25-26页 |
| ·形式化方法概念 | 第26页 |
| ·数学预备知识 | 第26-29页 |
| ·集合和构造性规约 | 第26-27页 |
| ·集合运算符 | 第27-28页 |
| ·逻辑运算符 | 第28-29页 |
| ·序列 | 第29页 |
| ·形式化规约语言 | 第29-31页 |
| 第四章 Esterel语言在开发嵌入式系统中的作用 | 第31-51页 |
| ·Esterel语言的定义、用途、优缺点及基本语法 | 第31-32页 |
| ·Esterel语言的定义 | 第31页 |
| ·Esterel语言的用途 | 第31页 |
| ·Esterel语言的优缺点 | 第31页 |
| ·Esterel语言的基本语法 | 第31-32页 |
| ·Esterel语言的特点 | 第32页 |
| ·Esterel语言的基本语义 | 第32-36页 |
| ·Esterel语言的执行 | 第36-38页 |
| ·Esterel语言和一些常用的嵌入式系统编程的高级语言 | 第38-43页 |
| ·一些常用的嵌入式系统编程的高级语言 | 第38-40页 |
| ·常用嵌入式系统高级编程语言基本性能 | 第40-42页 |
| ·Esterel语言能产生C代码 | 第42-43页 |
| ·Esterel语言和CSP | 第43-51页 |
| ·什么叫CSP | 第43-44页 |
| ·基于CSP通道的Esterel方法 | 第44-45页 |
| ·进程调度 | 第45-47页 |
| ·同步 | 第47-49页 |
| ·采用通道方法的利弊分析 | 第49-51页 |
| 第五章 Esterel语言在电梯群控系统中的应用 | 第51-64页 |
| ·电梯群控系统 | 第51-56页 |
| ·电梯群控系统简介 | 第51-52页 |
| ·群控系统的控制程序 | 第52-54页 |
| ·电梯群控系统的控制策略 | 第54-56页 |
| ·什么叫PLC | 第56-57页 |
| ·电梯群控系统算法 | 第57-61页 |
| ·目标函数的选择 | 第58-59页 |
| ·规则的知识表示及推理 | 第59-61页 |
| ·进行Esterel语言的转换 | 第61-64页 |
| 结束语 | 第64-65页 |
| 参考文献 | 第65-68页 |
| 致谢 | 第68-69页 |
| 独创性声明 | 第69页 |
