The Ravenscar Profile emerged in 1997 as a most promising approach to bringing mature, predictable and efficient concurrency into real-time systems with integrity requirements. One of the crucial questions that have arisen since is whether the expressive power of the profile would be truly sufficient for the effective construction of such systems. This paper provides positive evidence to this effect by discussing the merit of the Ravenscar compliant architecture of a reuse library that supports the construction of on-board embedded real-time systems of the new generation. This paper argues that the notions of the profile especially contributed to increase the maturity of the reuse product. As true object orientation is the next frontier of the product, this paper also reflects on the importance of integrating the profile with suitable flavours of object orientation.

Using the Ravenscar Profile for Space Applications: the OBOSS Case

VARDANEGA, TULLIO;
2001

Abstract

The Ravenscar Profile emerged in 1997 as a most promising approach to bringing mature, predictable and efficient concurrency into real-time systems with integrity requirements. One of the crucial questions that have arisen since is whether the expressive power of the profile would be truly sufficient for the effective construction of such systems. This paper provides positive evidence to this effect by discussing the merit of the Ravenscar compliant architecture of a reuse library that supports the construction of on-board embedded real-time systems of the new generation. This paper argues that the notions of the profile especially contributed to increase the maturity of the reuse product. As true object orientation is the next frontier of the product, this paper also reflects on the importance of integrating the profile with suitable flavours of object orientation.
2001
International Real-Time Ada Workshop
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/1471252
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact