Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System
暂无分享,去创建一个
Jian Guo | Jianqi Shi | Xin Ye | Huibiao Zhu | Huixing Fang | Longfei Zhu | Yanhong Huang
[1] David B. Whalley,et al. Supporting Timing Analysis by Automatic Bounding of Loop Iterations , 2000, Real-Time Systems.
[2] Jan Gustafsson,et al. Worst-case execution-time analysis for embedded real-time systems , 2003, International Journal on Software Tools for Technology Transfer.
[3] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[4] Stephen McCamant,et al. Loop-extended symbolic execution on binary programs , 2009, ISSTA.
[5] David B. Whalley,et al. Bounding loop iterations for timing analysis , 1998, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).
[6] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.