An Open Ravenscar Real-Time Kernel for GNAT - DIT - Universidad ...
An Open Ravenscar Real-Time Kernel for GNAT - DIT - Universidad ...
An Open Ravenscar Real-Time Kernel for GNAT - DIT - Universidad ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
4. Ted Baker and Tullio Vardanega. Session summary: Tasking profiles. Ada Letters,XVII(5):5–7, 1997. Proceedings of the 8th International Ada <strong>Real</strong>-<strong>Time</strong> Workshop.5. Alan Burns. The <strong>Ravenscar</strong> profile. Technical report, University of York, 1999. Available athttp://www.cs.york.ac.uk/rts/papers/p.ps.6. Alan Burns, Brian Dobbing, and George Romanski. The <strong>Ravenscar</strong> profile <strong>for</strong> high integrityreal-time programs. In Lars Asplund, editor, Reliable Software Technologies — Ada-Europe’98, number 1411 in LNCS. Springer-Verlag, 1998.7. Juan A. de la Puente, José F. Ruiz, and Jesús M. González-Barahona. <strong>Real</strong>-time programmingwith <strong>GNAT</strong>: Specialised kernels versus POSIX threads. Ada Letters, XIX(2):73–77,1999. Proceedings of the 9th International <strong>Real</strong>-<strong>Time</strong> Ada Workshop.8. Brian Dobbing and George Romanski. The <strong>Ravenscar</strong> profile: Experience report. Ada Letters,XIX(2):28–32, 1999. Proceedings of the 9th International <strong>Real</strong>-<strong>Time</strong> Ada Workshop.9. ESA. 32 Bit Microprocessor and Computer System Development, 1992. Report9848/92/NL/FM.10. Jiri Gaisler. The ERC32 GNU Cross-Compiler System. ESA/ESTEC, 1999. Version 2.0.6.11. E.W. Giering and T.P. Baker. The GNU Ada Runtime Library (GNARL): Design and implementation.In Proceedings of the Washington Ada Symposium, 1994.12. IEEE. Portable Operating System Interface (POSIX) — Part 1: System Application ProgramInterface (API) [C Language] (Incorporating IEEE Stds 1003.1-1990, 1003.1b-1993,1003.1c-1995, and 1003.1i-1995), 1990. ISO/IEC 9945-1:1996.13. Intermetrics. Ada 95 Rationale: Language and Standard Libraries., 1995. Available fromSpringer-Verlag, LNCS no. 1247.14. M. Kamrad and B. Spinney. <strong>An</strong> Ada runtime system implementation of the <strong>Ravenscar</strong> profile<strong>for</strong> a high speed application layer data switch. In Michael González-Harbour and Juan A.de la Puente, editors, Reliable Software Technologies — Ada-Europe’99, number 1622 inLNCS, pages 26–38. Springer-Verlag, 1999.15. A.K. Mok. The design of real-time programming systems based on process models. In IEEE<strong>Real</strong>-<strong>Time</strong> Systems Symposium. IEEE Computer Society Press, 1984.16. Frank Mueller. A library implementation of POSIX threads under UNIX. In Proceedings ofthe USENIX Conference, pages 29–41, January 1993.17. José F. Ruiz and Jesús M. González-Barahona. Implementing a new low-level tasking support<strong>for</strong> the <strong>GNAT</strong> runtime system. In Michael González-Harbour and Juan A. de la Puente,editors, Reliable Software Technologies — Ada-Europe’99, number 1622 in LNCS, pages298–307. Springer-Verlag, 1999.18. H. Shen and T.P. Baker. A Linux kernel module implementation of restricted Ada tasking.Ada Letters, XIX(2):96–103, 1999. Proceedings of the 9th International <strong>Real</strong>-<strong>Time</strong> AdaWorkshop.19. H. Shen, A. Charlet, and T.P. Baker. A ’bare-machine’ implementation of Ada multi-taskingbeneath the Linux kernel. In Michael González-Harbour and Juan A. de la Puente, editors,Reliable Software Technologies — Ada-Europe’99, number 1622 in LNCS, pages 287–297.Springer-Verlag, 1999.20. W.M. Walker, P.T. Wooley, and A. Burns. <strong>An</strong> experimental testbed <strong>for</strong> embedded real timeAda 95. Ada Letters, XIX(2):84–89, 1999. Proceedings of the 9th International <strong>Real</strong>-<strong>Time</strong>Ada Workshop.
Change language