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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burns, A., Wellings, A.: HRT-HOOD: A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam (1995) ISBN 0-444-82164-3
Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools and Applications. Addison-Wesley, Reading (2000) ISBN: 0201309777
OMG: Model Driven Architecture (2004), http://www.omg.org/mda
Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer International Series in Engineering and Computer Science, vol. 215. Kluwer Academic Publishers, Dordrecht (1993) ISBN: 0792393112
ESTEREL Technologies: Safety- Mission- and Business-Critical Embedded Software (2005), http://www.esterel-technologies.com/v3/?id=39425
Taft, T., Duff, R., Brukard, R., Ploedereder, E. (eds.): Consolidated Ada Reference Manual. Language and Standard Libraries. LNCS, vol. 2219. Springer, Heidelberg (2001) ISO/IEC 8652:1995
Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (UK) (2003); Approved as ISO/IEC JTC1/SC22 TR 42718
Ada Conformity Assessment Authority: International Standard ISO/IEC 8652:1995 - Information Technology - Programming Languages - Ada - Amendment 1, Draft 8 (2004), http://www.ada-auth.org/amendment.html
Liu, J.W.S.: Real-Time Systems. Prentice-Hall, Englewood Cliffs (2000)
OMG: UML 1.5 Specification (2001), http://www.uml.org/#UML1.5
Mazzini, S., D’Alessandro, M., Di Natale, M., Domenici, A., Lipari, G., Vardanega, T.: HRT-UML: Taking HRT-HOOD onto UML. In: Rosen, J.-P., Strohmeier, A. (eds.) Ada-Europe 2003. LNCS, vol. 2655, pp. 405–416. Springer, Heidelberg (2003)
Praxis High Integrity Systems: The SPARK Examiner (2005), http://www.praxis-cs.co.uk/sparkada/examiner.asp
de la Puente, J.A., Alonso, A., Alvarez, A.: Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol. 1088, pp. 78–88. Springer, Heidelberg (1996)
W3C: XSL Transformations, XSLT (2005), http://www.w3.org/TR/xslt
W3C: Extensible Markup Language, XML (2005), http://www.w3.org/XML/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordin, M., Vardanega, T. (2005). A New Strategy for the HRT-HOOD to Ada Mapping. In: Vardanega, T., Wellings, A. (eds) Reliable Software Technology – Ada-Europe 2005. Ada-Europe 2005. Lecture Notes in Computer Science, vol 3555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499909_5
Download citation
DOI: https://doi.org/10.1007/11499909_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26286-2
Online ISBN: 978-3-540-31666-4
eBook Packages: Computer ScienceComputer Science (R0)