An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
暂无分享,去创建一个
[1] Kevin J. Madders,et al. EUROPEAN SPACE AGENCY , 1983 .
[2] Tullio Vardanega,et al. A Case Study in the Reuse of On-board Embedded Real-Time Software , 1999, Ada-Europe.
[3] Alan Burns. The Ravenscar Profile , 1999, ALET.
[4] S. Tucker Taft,et al. Ada 95 Reference Manual , 1995, Lecture Notes in Computer Science.
[5] Alan Burns,et al. Worst-case timing analysis of exception handling in Ada , 1993 .
[6] Alan Burns,et al. Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .
[7] Andy Wellings. Status and future of the Ravenscar profile session summary , 2001, IRTAW '00.
[8] Juan Antonio de la Puente,et al. Reliable Software Technologies — Ada-Europe’ 99 , 2002, Lecture Notes in Computer Science.
[9] Hubert B. Keller,et al. Reliable Software Technologies Ada-Europe 2000 , 2000, Lecture Notes in Computer Science.
[10] B. A. Wichmann,et al. Guidance for the use of the Ada programming language in high integrity systems , 1998, ALET.
[11] José F. Ruiz,et al. An Open Ravenscar Real-Time Kernel for GNAT , 2000, Ada-Europe.
[12] Tullio Vardanega,et al. Using the Ravenscar profile for space applications: the OBOSS case , 2001, IRTAW '00.