A new strategy for the HRT-HOOD to ada mapping

  • Authors:

  • Matteo Bordin;Tullio Vardanega

  • Affiliations:

  • Department of Pure and Applied Mathematics, University of Padua, Padova, Italy;Department of Pure and Applied Mathematics, University of Padua, Padova, Italy

  • Venue:
  • Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.