|
论文《基于时间自动机的嵌入式软件模型可调度性验证》发表于第十一届全国软件与应用学术会议(NASAC2012)，主要研究如何利用时间自动机理论对嵌入式软件进行可调度性分析。该方法通过构建精确的时间模型，验证任务在实时环境下的调度可行性，提升系统可靠性与实时性。研究为嵌入式系统的开发提供了理论支持与实践指导。 文档为pdf格式，0.67MB，总共8页。
- 文件大小:
- 686.08 KB
- 下载次数:
- 60
- 基于时间自动机的嵌入式软件模型可调度性验证 - 第十一届全国软件与应用学术会议(NASAC2012).pdf ...
-
高速下载
| 
