面向实时嵌入式系统的中断语义理论研究
| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第一章 绪论 | 第12-30页 |
| ·实时嵌入式系统的中断机制 | 第14-20页 |
| ·中断的研究现状与相关工作 | 第20-23页 |
| ·本文的指导方法 | 第23-26页 |
| ·程序统一理论 | 第23-25页 |
| ·语义理论的相关工作 | 第25-26页 |
| ·本文的主要工作 | 第26-30页 |
| 第二章 中断建模语言IML | 第30-50页 |
| ·IML描述的中断机制 | 第30-33页 |
| ·IML的语法 | 第33-36页 |
| ·IML的操作语义 | 第36-48页 |
| ·操作语义的语义空间 | 第36-38页 |
| ·操作语义的迁移规则 | 第38-45页 |
| ·基于操作语义的程序等价性 | 第45-48页 |
| ·本章小结 | 第48-50页 |
| 第三章 IML的指称语义 | 第50-70页 |
| ·IML的指称语义 | 第50-60页 |
| ·指称语义的语义空间 | 第51-53页 |
| ·程序算子的指称语义 | 第53-60页 |
| ·IML的代数规则及证明 | 第60-63页 |
| ·IML的语义一致性 | 第63-68页 |
| ·本章小结 | 第68-70页 |
| 第四章 带卫兵的中断建模语言gIML | 第70-86页 |
| ·gIML的语法 | 第70-72页 |
| ·gIML的语义 | 第72-82页 |
| ·gIML的操作语义 | 第73-78页 |
| ·gIML的指称语义 | 第78-82页 |
| ·gIML的代数规则及证明 | 第82-84页 |
| ·本章小结 | 第84-86页 |
| 第五章 带概率的中断建模语言pIML | 第86-106页 |
| ·pIML的语法 | 第86-88页 |
| ·pIML的概率语义 | 第88-101页 |
| ·pIML的概率操作语义 | 第88-94页 |
| ·pIML的概率指称语义 | 第94-101页 |
| ·pIML的代数规则及证明 | 第101-105页 |
| ·本章小结 | 第105-106页 |
| 第六章 中断建模语言的应用 | 第106-124页 |
| ·仿真 | 第106-113页 |
| ·语法解析 | 第107-109页 |
| ·语义实现 | 第109-113页 |
| ·程序运行时间与概率计算 | 第113-115页 |
| ·概率统计在中断上的应用 | 第115-117页 |
| ·示例 | 第117-122页 |
| ·本章小结 | 第122-124页 |
| 第七章 总结与展望 | 第124-126页 |
| 参考文献 | 第126-136页 |
| 致谢 | 第136-138页 |
| 攻读博士学位期间发表论文和科研情况 | 第138-140页 |
