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.

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

VARDANEGA, TULLIO;
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.
2001
Proceedings of the 6th International Conference on Reliable Software Technologies - Ada-Europe 2001
International Conference on Reliable Software Technologies - Ada-Europe 2001
9783540421238
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/1471250
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact