首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--微型计算机论文--各种微型计算机论文--微处理机论文

基于重写技术的嵌入式系统建模与验证

摘要第3-4页
abstract第4-5页
主要符号对照表第9-10页
第1章 绪论第10-19页
    1.1 研究背景第10-12页
    1.2 研究现状第12-16页
    1.3 研究思路第16-17页
    1.4 论文贡献第17-18页
    1.5 论文结构第18-19页
第2章 规范化条件重写模型第19-40页
    2.1 引言第19-20页
    2.2 相关工作第20-21页
    2.3 重写模型第21-29页
        2.3.1 项表达式第21-24页
        2.3.2 重写规则与重写关系第24-28页
        2.3.3 等式规则与等价关系第28-29页
    2.4 重写模型的扩展第29-33页
        2.4.1 模重写第29-31页
        2.4.2 条件重写第31-33页
    2.5 规范化条件重写模型第33-39页
    2.6 本章小结第39-40页
第3章 嵌入式系统的建模与验证第40-81页
    3.1 引言第40-41页
    3.2 相关工作第41-42页
    3.3 基于重写模型的系统建模第42-51页
        3.3.1 建模框架第43-44页
        3.3.2 组件层次与并发第44-46页
        3.3.3 组件交互第46-48页
        3.3.4 软硬件行为第48-49页
        3.3.5 组件的动态结构第49-50页
        3.3.6 实时性第50-51页
    3.4 支持工具集第51-55页
        3.4.1 Maude第51-53页
        3.4.2 建模框架实现第53-55页
    3.5 应用案例:铁路机车节能优化控制系统第55-62页
        3.5.1 背景介绍第55-57页
        3.5.2 系统描述第57-58页
        3.5.3 系统建模第58-61页
        3.5.4 模型验证第61-62页
        3.5.5 案例小结第62页
    3.6 应用案例:速率单调调度系统第62-80页
        3.6.1 背景介绍第63-64页
        3.6.2 系统描述第64-67页
        3.6.3 系统建模第67-74页
        3.6.4 形式化验证第74-78页
        3.6.5 相关工作第78-79页
        3.6.6 案例小结第79-80页
    3.7 本章小结第80-81页
第4章 C语言程序终止性自动验证第81-99页
    4.1 引言第81-82页
    4.2 相关工作第82-84页
    4.3 C程序的整数重写模型第84-91页
        4.3.1 符号执行图第84-90页
        4.3.2 整数变迁系统第90页
        4.3.3 整数重写模型第90-91页
    4.4 Ceagle-Term第91-98页
        4.4.1 工具组成第91-92页
        4.4.2 工具评估第92-98页
        4.4.3 可扩展性第98页
    4.5 本章小结第98-99页
第5章 结束语第99-102页
    5.1 工作总结第99-100页
    5.2 研究展望第100-102页
参考文献第102-114页
致谢第114-116页
附录A 定理3.2的证明第116-121页
个人简历、在学期间发表的学术论文与研究成果第121页

论文共121页,点击 下载论文
上一篇:马克思恩格斯党内民主思想研究
下一篇:马克思需要理论及其当代价值研究