Guide for the use of the Ada Ravenscar Profile in high integrity systems
暂无分享,去创建一个
[1] S. Tucker Taft,et al. Consolidated Ada Reference Manual Language and Standard Libraries , 2002, Lecture Notes in Computer Science.
[2] Alan Burns,et al. HRT-HOOD: A structured design method for hard real-time systems , 2005, Real-Time Systems.
[3] Alan Burns. The Ravenscar Profile , 1999, ALET.
[4] Lars Asplund,et al. The Ravenscar Profile and Implementation Issues , 1999 .
[5] BurnsAlan,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004 .
[6] Andy Wellings. Status and future of the Ravenscar profile session summary , 2001 .
[7] M. F.,et al. Bibliography , 1985, Experimental Gerontology.
[8] B. Dobbing,et al. T-SMART—task-safe, minimal Ada realtime toolset , 1997, IRTAW '97.
[9] Mathai Joseph,et al. Finding Response Times in a Real-Time System , 1986, Comput. J..
[10] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[11] Alan Burns. The Ravenscar Profile and implementation issues (session summary) , 1999 .
[12] A. Burns,et al. Restricted tasking models , 1997, IRTAW '97.
[13] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.