The original mapping of HRT-HOOD diagrams to Ada code dates back to the late stages of the Ada 9X project. Since then, considerably deeper insight has been gained into the practical use of Ada 95 for high-integrity applications, of which the Ravenscar Profile is a notable emanation. In this paper we present a new HRT-HOOD to Ada mapping strategy, which aims to overcome the shortcomings we noted in the original one, by leveraging on the better understanding of the language power and of the user requirements that has been generally achieved in the meanwhile.
A New Strategy for the HRT-HOOD to Ada Mapping
VARDANEGA, TULLIO
2005
Abstract
The original mapping of HRT-HOOD diagrams to Ada code dates back to the late stages of the Ada 9X project. Since then, considerably deeper insight has been gained into the practical use of Ada 95 for high-integrity applications, of which the Ravenscar Profile is a notable emanation. In this paper we present a new HRT-HOOD to Ada mapping strategy, which aims to overcome the shortcomings we noted in the original one, by leveraging on the better understanding of the language power and of the user requirements that has been generally achieved in the meanwhile.
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.
