Static worst-case timing analysis of Ada
暂无分享,去创建一个
[1] Andy J. Wellings,et al. The use of preemptive priority-based scheduling for space applications , 1993, 1993 Proceedings Real-Time Systems Symposium.
[2] Richard C. Holt,et al. Analyzing Hard-Real-Time Programs For Guaranteed Schedulability , 1991, IEEE Trans. Software Eng..
[3] D. B. Kirk,et al. SMART (strategic memory allocation for real-time) cache design , 1989, [1989] Proceedings. Real-Time Systems Symposium.
[4] David B. Whalley,et al. A retargetable technique for predicting execution time , 1992, [1992] Proceedings Real-Time Systems Symposium.
[5] Wolfgang A. Halang,et al. Enabling efficient schedulability analysis through conditional linking and program transformations , 1993 .