Author:
Rogers Patrick,Ruiz Jose,Gingold Tristan,Bernardi Patrick
Publisher
Springer International Publishing
Reference9 articles.
1. Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java: a high-integrity profile for real-time Java. Concurrency Comput. Pract. Experience 17(5–6), 681–713 (2005)
2. Shen, H., Baker, T.P.: A Linux kernel module implementation of restricted Ada tasking. ACM SIGAda Ada Lett. 19(2), 96–103 (1999)
3. Dobbing, B.: The Ravenscar tasking profile – experience report. ACM SIGAda Ada Lett. 19(2), 28–32 (1999)
4. Burns, A., Wellings, A.: Analysable Real-Time Systems Programmed in Ada. CreateSpace Independent Publishing Platform (2016)
5. Burns, A., Dobbing, B., Vardanega, T.: Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Lett. XXIV(2), 1–74 (2004)