Z语言的实时扩展及应用

目录	第1-6页
摘要	第6-7页
Abstract	第7-9页
第一章 绪论	第9-11页
第二章 实时系统	第11-24页
·实时系统的基本概况	第11-14页
·实时系统的概念	第11页
·强实时系统和弱实时系统	第11-12页
·实时系统的外在约束	第12页
·实时操作系统	第12-14页
·实时系统的基本特征	第14-15页
·时间约束性	第14-15页
·并发性	第15页
·可预测性	第15页
·正确性	第15页
·健壮性	第15页
·实时系统的分类	第15-16页
·周期性事件类型	第15页
·不规则时间类型	第15页
·有边界事件类型	第15-16页
·突发事件类型	第16页
·无边界事件类型	第16页
·实时系统的开发技术	第16-17页
·实时系统的分析技术	第16-17页
·实时系统的设计和实现技术	第17页
·实时软件工程概述	第17-18页
·需求获取阶段	第17-18页
·分析阶段	第18页
·设计阶段	第18页
·测试阶段	第18页
·实时系统的并发设计问题	第18-24页
·实时系统的并发	第18-21页
·面向对象的并发模型	第21-24页
第三章 形式化方法	第24-35页
·形式化方法概述	第24-30页
·形式化方法的基本概念	第24-25页
·形式化方法的优点	第25页
·形式化方法的分类	第25页
·形式化方法的使用:	第25-26页
·形式化方法的发展	第26-29页
·对形式化方法的进一步认识	第29-30页
·形式化方法研究的主要内容	第30-31页
·形式规约	第30页
·形式验证	第30-31页
·结构化方法、面向对象方法和形式化方法的比较	第31-35页
·建立模型的可读性	第31-32页
·应用范围的比较	第32-33页
·正确性比较	第33页
·软件运行效率	第33-35页
第四章 形式化方法与实时系统	第35-41页
·形式方法在实时系统开发中的作用	第35-39页
·形式化规约的作用	第35-36页
·定量证明的作用	第36-37页
·形式验证的作用	第37-39页
·形式化方法在实时系统开发中的优点和不足:	第39-40页
·形式化方法的优点:	第39页
·形式化方法在实时系统开发中的不足之处	第39-40页
·形式化方法在实时系统开发中的发展方向	第40-41页
第五章 Z语言及其实时扩展	第41-57页
·Z语言	第41-46页
·Z模式	第41-42页
·Z语言中的基本符号说明	第42页
·Z规格说明的构造方法	第42-44页
·Z语言的求精	第44-46页
·Z语言实时扩展	第46-57页
·Z语言实时扩展的分类	第46页
·非集成的Z语言实时扩展	第46-49页
·集成的实时扩展语言RT-Z	第49-55页
·实时扩展的比较	第55-57页
第六章 形式化方法在微机仿真系统中的应用	第57-77页
·微机仿真系统的设计思路	第57-60页
·基本设计方案	第57页
·在仿真系统的设计中需要解决的主要问题	第57-58页
·微机仿真系统设计中的形式化方法	第58-60页
·实时Z在微机仿真系统设计中应用模式的研究	第60-62页
·应用特点的分析	第60页
·应用模式的提取	第60-62页
·面向功能视点的规格说明应用	第62-70页
·抽象说明	第62-65页
·具体说明	第65-70页
·面向控制视点的规格说明	第70-77页
·根据控制信号和指令提取状态集	第71页
·数据类型定义	第71-72页
·8259A的状态模式:	第72-74页
·确定操作的时序关系关系	第74-77页
结论	第77-79页
攻读学位期间发表的论文	第79-80页
参考文献:	第80-83页
致谢	第83-84页
独创性声明	第84页