Precise response time analysis for Ravenscar kernels
暂无分享,去创建一个
[1] Alan Burns. The Ravenscar Profile , 1999, ALET.
[2] B. A. Wichmann,et al. Guidance for the use of the Ada programming language in high integrity systems , 1998, ALET.
[3] Andy Wellings. Status and future of the Ravenscar profile session summary , 2001 .
[4] Alan Burns. The Ravenscar Profile and implementation issues (session summary) , 1999 .
[5] José F. Ruiz,et al. Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels , 2001, Ada-Europe.
[6] Tullio Vardanega. Development of on-board embedded real-time systems: an engineering approach , 1998 .
[7] José F. Ruiz,et al. An Open Ravenscar Real-Time Kernel for GNAT , 2000, Ada-Europe.
[8] Juan Zamorano,et al. ORK: An Open Source Real-Time Kernel for On-Board Software Systems , 2000 .
[9] S. Tucker Taft,et al. Consolidated Ada Reference Manual Language and Standard Libraries , 2002, Lecture Notes in Computer Science.
[10] Alan Burns,et al. Tasking profiles (session summary) , 1997 .