|
论文《一种中断驱动系统的时间约束验证方法》提出了一种针对中断驱动系统的时序验证方法，旨在确保系统在复杂中断环境下满足实时性要求。该方法通过建立时间约束模型，结合形式化验证技术，有效分析系统响应时间和任务调度的可行性。研究在第十一届全国软件与应用学术会议(NASAC2012)上发表，为实时系统设计提供了理论支持和实用工具。 文档为pdf格式，0.59MB，总共7页。
- 文件大小:
- 604.16 KB
- 下载次数:
- 60
- 一种中断驱动系统的时间约束验证方法 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
| 
