Ada Ravenscar Code Archetypes for Component-Based Development
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.
KeywordsComponent Type Sporadic Task Schedulability Analysis Access Procedure Response Time Analysis
Unable to display preview. Download preview PDF.
- 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
- 4.Burns, A., Wellings, A.J.: HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier (1995)Google Scholar
- 7.European Cooperation for Space Standardization: Space Engineering – Ground systems and operations – Telemetry and telecommand packet utilization, ECSS-E-70-41A (2003)Google Scholar
- 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.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.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
- 15.Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Professional, Boston (2002)Google Scholar