Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings; 01/2006
Real-Time Systems. 01/2005; 29:59-89.
Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings; 01/2002
Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings; 01/2001
ABSTRACT: 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.
12/2000: pages 392-404;