An uRT51 real-time processor evaluation
暂无分享,去创建一个
[1] Dan Hildebrand,et al. An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.
[2] Bruce Jacob,et al. Hardware support for real-time operating systems , 2003, First IEEE/ACM/IFIP International Conference on Hardware/ Software Codesign and Systems Synthesis (IEEE Cat. No.03TH8721).
[3] Krithi Ramamritham,et al. The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.
[4] Wolfgang A. Halang,et al. Architectural support for predictability in hard real time systems , 1992 .
[5] Wolfgang A. Halang,et al. Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems , 1995, Informatica.
[6] Giorgio C. Buttazzo,et al. Rate Monotonic vs. EDF: Judgment Day , 2003, Real-Time Systems.
[7] V. Glavinic,et al. VHDL-based modeling of a hard real-time task processor , 1999, ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465).
[8] Lennart Lindh,et al. Real-time kernel in hardware RTU: a step towards deterministic and high-performance real-time systems , 1996, Proceedings of the Eighth Euromicro Workshop on Real-Time Systems.
[9] K Srivas Mandayam,et al. Formal Verification of the AAMP-FV Microcode , 1999 .