Abstract
In this paper we present the rationale, the status and the planned enhancement of a set of code archetypes that implement common programming patterns suited for the development of Ravenscar-compliant real-time systems. There have been other attempts at building software frameworks that ease the construction of realtime software systems. Ours is not intended for direct access by the user, but for deployment in the back-end code generation engine of a model-based tool environment. A further distinguishing characteristic of our patterns is that they foster the principle of separation of concerns, whereby the functional code of the system (which we require to be purely sequential) stays under the responsibility of the user, whereas the code that realizes the intended concurrency and real-time semantics is obtained by instantiation of predefined, correct by construction, archetypes.
- C. Szyperski, Component Software: Beyond Object-Oriented Programming. 2nd ed. Addison-Wesley Professional, Boston, 2002. Google Scholar
Digital Library
- D. C. Schmidt, "Model-Driven Engineering," IEEE Computer, vol. 39, no. 2, pp. 25--31, 2006. Google Scholar
Digital Library
- A. Burns, B. Dobbing, and G. Romanski, "The Ravenscar Tasking Profile for High Integrity Real-Time Programs," in Reliable Software Technologies - Ada Europe, 1998. Google Scholar
Digital Library
- ISO SC22/WG9, "Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1," 2005.Google Scholar
- M. Joseph and P. K. Pandya, "Finding Response Times in a Real-Time System," The Computer Journal, vol. 29, no. 5, pp. 390--395, 1986.Google Scholar
- E. W. Dijkstra, "The humble programmer," Communications of the ACM, vol. 15, no. 10, pp. 859--866, 1972, ISSN 0001-0782. Google Scholar
Digital Library
- J. A. de la Puente, A. Alonso, and A. Alvarez, "Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries," in Proc. of the International Conference on Reliable Software Technologies - Ada-Europe, 1996, pp. 78--88. Google Scholar
Digital Library
- M. Bordin and T. Vardanega, "Automated Model-Based Generation of Ravenscar-Compliant Source Code," in Proc. of the 17th Euromicro Conference on Real-Time Systems, 2005. Google Scholar
Digital Library
- E. Mezzetti, M. Panunzio, and T. Vardanega, "Preservation of Timing Properties with the Ada Ravenscar Profile," in Proc. of the 15th International Conference on Reliable Software Technologies - Ada-Europe, 2010. Google Scholar
Digital Library
- A. Burns and A. J. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.Google Scholar
- E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison - Wesley, 1995. Google Scholar
Digital Library
- E. Mezzetti, M. Panunzio, and T. Vardanega, "Temporal Isolation with the Ravenscar Profile and Ada 2005," Proc. of the 14th International Real-Time Ada Workshop, published on ACM SIGAda Ada Letters, vol. XXX, no. 1, pp. 45--54, 2010. Google Scholar
Digital Library
- R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G.Bernat, C. Ferdinand, R.Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, G. Staschulat, and P. Stenströem, "The worstcase execution time problem: overview of methods and survey of tools," IEEE Transactions on Embedded Computing Systems, vol. 7, no. 3, pp. 1--53, 2008. Google Scholar
Digital Library
- J. Real and A. Crespo, "Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal," Real-Time Systems, vol. 26, no. 2, pp. 161--197, 2004. Google Scholar
Digital Library
- ____, "Incorporating Operating Modes to an Ada Real-Time Framework," Proc. of the 14th IRTAW. SIGAda Ada Letters, vol. XXX, no. 1, pp. 161--197, 2009. Google Scholar
Digital Library
- A. J. Wellings and A. Burns, "Real-Time Utilities for Ada 2005," in Reliable Software Technologies - Ada-Europe, 2007, pp. 1--14. Google Scholar
Digital Library
Index Terms
Charting the evolution of the Ada Ravenscar code archetypes
Recommendations
Ada ravenscar code archetypes for component-based development
Ada-Europe'12: Proceedings of the 17th Ada-Europe international conference on Reliable Software TechnologiesWe 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 ...
A Real-Time Framework for Ada 2005 and the Ravenscar Profile
SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsThis paper describes an object-oriented real-time framework for Ada 2005 and the Ravenscar profile. The framework uses the Ada 2005 real-time features implemented on the AVR32 UC3 microcontroller series to control the execution-time of tasks and ...
On the Prevalence, Impact, and Evolution of SQL Code Smells in Data-Intensive Systems
MSR '20: Proceedings of the 17th International Conference on Mining Software RepositoriesCode smells indicate software design problems that harm software quality. Data-intensive systems that frequently access databases often suffer from SQL code smells besides the traditional smells. While there have been extensive studies on traditional ...






Comments