嵌入式实时系统-调度.分析和验证

第1章  简介  1.1  什么是时间  1.2  仿真  1.3  测试  1.4  验证  1.5  运行时期监测  1.6  相关资源第2章  非实时系统的分析与验证  2.1  符号逻辑    2.1.1  命题逻辑    2.1.2  谓词逻辑  2.2  自动机和语言    2.2.1  语言和表示    2.2.2   有限自动机    2.2.3  非定时系统的规范指定和验证  2.3  历史回顾和相关研究  2.4  总结  习题第3章  实时调度和调度性分析  3.1  确定计算时间  3.2  单处理器调度    3.2.1  独立可抢占任务的调度    3.2.2  不可抢占任务的调度    3.2.3  带前后次序约束的不可抢占任务    3.2.4  周期任务间的通信：确定的会合模型    3.2.5  带临界区域的周期任务：核心化监测模型  3.3  多处理器调度    3.3.1  调度表示    3.3.2  单实例任务调度    3.3.3  周期任务调度  3.4  可用的调度工具    3.4.1  perts/rapid rma    3.4.2  performax    3.4.3  timewiz  3.5  可用的实时操作系统  3.6  历史回顾和相关研究  3.7  总结  习题第4章  有限状态系统的模型检测  4.1  系统规范  4.2  clarke-emerson-sistla模型检测器  4.3  ctl的扩展  4.4  应用  4.5  用c实现的完整的ctl模型检测器程序  4.6 符号化模型检测    4.6.1  二元决策图bdds    4.6.2  符号模型检测器  4.7  实时ctl    4.7.1  *小和*大延迟    4.7.2  条件发生的*小和*大数量    4.7.3  非单位转移时间  4.8  可用的工具  4.9  历史回顾和相关研究  4.10  总结  习题第5章  可视形式化、状态图和statemate  5.1  状态图    5.1.1  状态图的基本功能    5.1.2  语义  5.2  活动图……第6章  实时逻辑、图论分析与模式图第7章  利用饰件自动机进行验证第8章  时间相关的petri网第9章  进程代数第10章  基于命题逻辑规则系统的设计与分析第11章  基于谓词逻辑规则系统的时序分析第12章  基于规则系统的优化参考文献