论文信息 - An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK

As Ada compilation systems with specific support for the Ravenscar Profile become available, users have the opportunity to assess the expressive power of the profile and the effectiveness of the relevant technology. User feedback in both respects may significantly contribute to furthering the maturity of the profile and the confidence of the user community. This paper provides some such feedback discussing the lessons learned on the port of a space application to GNAT/ORK, an open-source implementation of the profile.

Tullio Vardanega | Juan Antonio de la Puente | Rodrigo García

[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.