Abstract
We promote a model-driven software development that centres on component-orientation. In keeping with Dijkstra’s principle of separation of concerns, we want the user design space to be limited to the internals of components – for which strictly sequential functional code is to be used – and the interfaces provided to and required from other components, where extra-functional requirements are declaratively specified by means of annotations. We want the user model to be directly amenable to response time analysis. To this end we prescribe that the component model must statically bind to a computational model that matches the analysis theory in use. We want to ensure semantic preservation across the entire transformation chain, from the user model, to the analysis model, to the implementation model (i.e., the code) and, eventually to the execution environment. The Ada Ravenscar Profile is an excellent candidate implementation language for use in our endeavour. In this paper we present a set of code archetypes written against the constraints of the Ravenscar Profile, which we developed in conformance with our notion of separation of concerns, to drive the model to code transformation step of our development infrastructure.
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
Bordin, M., Panunzio, M., Vardanega, T.: Fitting Schedulability Analysis Theory into Model-Driven Engineering. In: Proc. of the 20th Euromicro Conference on Real-Time Systems, pp. 135–144. IEEE Computer Society (2008)
Bordin, M., Vardanega, T.: A New Strategy for the HRT-HOOD to Ada Mapping. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 51–66. Springer, Heidelberg (2005)
Burns, A., Dobbing, B., Romanski, G.: The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In: Asplund, L. (ed.) Ada-Europe 1998. LNCS, vol. 1411, pp. 263–275. Springer, Heidelberg (1998)
Burns, A., Wellings, A.J.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier (1995)
Cancila, D., Passerone, R., Vardanega, T., Panunzio, M.: Toward Correctness in the Specification and Handling of Nonfunctional Attributes of High-Integrity Real-Time Embedded Systems. IEEE Transactions on Industrial Informatics 6(2), 181–194 (2010)
Dijkstra, E.W.: The humble programmer. Communications of the ACM 15(10), 859–866 (1972) ISSN 0001-0782
European Cooperation for Space Standardization: Space Engineering – Ground systems and operations – Telemetry and telecommand packet utilization, ECSS-E-70-41A (2003)
Joseph, M., Pandya, P.K.: Finding Response Times in a Real-Time System. The Computer Journal 29(5), 390–395 (1986)
Mezzetti, E., Panunzio, M., Vardanega, T.: Preservation of Timing Properties with the Ada Ravenscar Profile. In: Real, J., Vardanega, T. (eds.) Ada-Europe 2010. LNCS, vol. 6106, pp. 153–166. Springer, Heidelberg (2010)
Panunzio, M.: Definition, realization and evaluation of a software reference architecture for use in space application. Ph.D. thesis, University of Bologna, Italy (July 2011), http://www.informatica.unibo.it/ricerca/ublcs/2011/UBLCS-2011-07
Panunzio, M., Vardanega, T.: A Component Model for On-board Software Applications. In: Proc. of the 36th Euromicro Conference on Software Engineering and Advanced Applications, pp. 57–64. IEEE (2010)
Panunzio, M., Vardanega, T.: Charting the evolution of the Ada Ravenscar code archetypes. In: Proc. of the 15th Int. Real-Time Ada Workshop, ACM SIGAda Ada Letters (2011)
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)
Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, Boston (2002)
Wellings, A.J., Burns, A.: Real-Time Utilities for Ada 2005. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 1–14. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Panunzio, M., Vardanega, T. (2012). Ada Ravenscar Code Archetypes for Component-Based Development. In: Brorsson, M., Pinho, L.M. (eds) Reliable Software Technologies – Ada-Europe 2012. Ada-Europe 2012. Lecture Notes in Computer Science, vol 7308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30598-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-30598-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30597-9
Online ISBN: 978-3-642-30598-6
eBook Packages: Computer ScienceComputer Science (R0)