uRT51: An embedded real-time processor implemented on fpga devices
暂无分享,去创建一个
Ricardo Cayssials | Edgardo Ferro | Omar Alimenti | M. Duval | R. Cayssials | E. Ferro | O. Alimenti | M. Duval
[1] Johannes Christoffel Cronje,et al. Programming in the real world , 2005 .
[2] Dale A. Mackall. Development and flight test experiences with a flight-crucial digital control system , 1988 .
[3] Corporate Ieee,et al. Information Technology-Portable Operating System Interface , 1990 .
[4] Wolfgang A. Halang,et al. Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems , 1995, Informatica.
[5] Wolfgang A. Halang,et al. Architectural support for predictability in hard real time systems , 1992 .
[6] 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).
[7] Dan Hildebrand,et al. An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.
[8] 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).
[9] K Srivas Mandayam,et al. Formal Verification of the AAMP-FV Microcode , 1999 .
[10] B. O. Gallmeister,et al. POSIX.4 - programming for the real world , 1995 .
[11] Krithi Ramamritham,et al. The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.
[12] 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.