Ada Ravenscar Code Archetypes for Component-Based Development

  • Marco Panunzio
  • Tullio Vardanega
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7308)

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.

Keywords

Component Type Sporadic Task Schedulability Analysis Access Procedure Response Time Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Burns, A., Wellings, A.J.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier (1995)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Dijkstra, E.W.: The humble programmer. Communications of the ACM 15(10), 859–866 (1972) ISSN 0001-0782CrossRefGoogle Scholar
  7. 7.
    European Cooperation for Space Standardization: Space Engineering – Ground systems and operations – Telemetry and telecommand packet utilization, ECSS-E-70-41A (2003)Google Scholar
  8. 8.
    Joseph, M., Pandya, P.K.: Finding Response Times in a Real-Time System. The Computer Journal 29(5), 390–395 (1986)MathSciNetCrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    Schmidt, D.C.: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)CrossRefGoogle Scholar
  15. 15.
    Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, Boston (2002)Google Scholar
  16. 16.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Marco Panunzio
    • 1
  • Tullio Vardanega
    • 1
  1. 1.Department of MathematicsUniversity of PadovaPadovaItaly

Personalised recommendations