In this paper we present the rationale, the status and the planned enhancement of a set of code archetypes that implement common programming patterns suited for the development of Ravenscar-compliant real-time systems. There have been other attempts at building software frameworks that ease the construction of real- time software systems. Ours is not intended for direct access by the user, but for deployment in the back-end code generation engine of a model-based tool environment. A further distinguishing characteristic of our patterns is that they foster the principle of separation of concerns, whereby the functional code of the system (which we require to be purely sequential) stays under the responsibility of the user, whereas the code that realizes the intended concurrency and real-time semantics is obtained by instantiation of predefined, correct by construction, archetypes.

Charting the evolution of the Ada Ravenscar code archetypes

PANUNZIO, MARCO;VARDANEGA, TULLIO
2013

Abstract

In this paper we present the rationale, the status and the planned enhancement of a set of code archetypes that implement common programming patterns suited for the development of Ravenscar-compliant real-time systems. There have been other attempts at building software frameworks that ease the construction of real- time software systems. Ours is not intended for direct access by the user, but for deployment in the back-end code generation engine of a model-based tool environment. A further distinguishing characteristic of our patterns is that they foster the principle of separation of concerns, whereby the functional code of the system (which we require to be purely sequential) stays under the responsibility of the user, whereas the code that realizes the intended concurrency and real-time semantics is obtained by instantiation of predefined, correct by construction, archetypes.
2013
ACM SIGAda Ada Letters
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/2658053
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact