Abstract
In this paper we discuss the issues we have explored, as part of the ASSERT project, in the definition and implementation of Ada coding patterns for the support of the automated code generation stage of a comprehensive approach to model-driven development for high-integrity systems.
- A. Burns and A. Wellings. HRT-HOOD: A design method for hard-real-time. Real-Time Sytsems, 6(1):73--114, 1994. Google Scholar
Digital Library
- J. A. de la Puente, J. F. Ruiz, and J. Zamorano. An open Ravenscar real-time kernel for GNAT. In H. B. Keller and E. Ploedereder, editors, Reliable Software Technologies --- Ada-Europe 2000, number 1845 in LNCS, pages 5--15. Springer-Verlag, 2000. Google Scholar
Digital Library
- J. A. de la Puente and J. Zamorano. Execution-time clocks and Ravenscar kernels. Ada Letters, XXIII(4):82--86, December 2003. Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12). Google Scholar
Digital Library
- J. A. de la Puente, J. Zamorano, J. F. Ruiz, R. Fernández, and R. García. The design and implementation of the Open Ravenscar Kernel. Ada Letters, XXI(1), 2001. Proceedings of the 10th International Real-Time Ada Workshop. Google Scholar
Digital Library
- B. Dobbing and J. A. de la Puente. Session report: Status and future of the Ravenscar profile. Ada Letters, XXIII(4):55--57, December 2003. Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Google Scholar
Digital Library
- ESA/ESTEC. ECSS-E-50-12A SpaceWire -- Links, nodes, routers and networks. Technical report, European Space Agency, 2003.Google Scholar
- L. Pautet and S. Tardieu. GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. In Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'00), Newport Beach, California, USA, June 2000. IEEE Computer Society Press. Google Scholar
Digital Library
- J. A. Pulido, S. Urueña, J. Zamorano, and J. A. de la Puente. Handling temporal faults in Ada 2005. In N. Abdennadher and F. Kordon, editors, Reliable Software Technologies --- Ada-Europe 2007, number 4498 in LNCS, pages 15--28. Springer-Verlag, 2007. Google Scholar
Digital Library
- J. A. Pulido, S. Urueńa, J. Zamorano, T. Vardanega, and J. A. de la Puente. Hierarchical scheduling with Ada 2005. In M. G. H. Lus Miguel Pinho, editor, Reliable Software Technologies -- Ada-Europe 2006, volume 4006 of LNCS. Springer Berlin / Heidelberg, 2006. ISBN 3-540-34663-5.Google Scholar
- D. C. Schmidt and F. Buschmann. Patterns, frameworks, and middleware: their synergistic relationships. In ICSE '03: Proceedings of the 25th International Conference on Software Engineering, pages 694--704, Washington, DC, USA, 2003. IEEE Computer Society. Google Scholar
Digital Library
- S. T. Taft, R. A. Duff, R. L. Brukardt, E. Plöedereder, and P. Leroy, editors. Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1. Number 4348 in Lecture Notes in Computer Science. Springer-Verlag, 2006. Google Scholar
Digital Library
- K. Tindell. Holistic schedulability analysis for distributed hard real-time systems. Technical report, University of York, 1993.Google Scholar
- T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. Poly-ORB: a schizophrenic middleware to build versatile reliable distributed applications. In Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST'04), volume LNCS 3063, pages 106 -- 119, Palma de Mallorca, Spain, June 2004. Springer Verlag.Google Scholar
Cross Ref
Index Terms
Ada 2005 code patterns for metamodel-based code generation
Recommendations
Ada 2005 code patterns for metamodel-based code generation
IRTAW '07: Proceedings of the 13th international workshop on Real-time AdaIn this paper we discuss the issues we have explored, as part of the ASSERT project, in the definition and implementation of Ada coding patterns for the support of the automated code generation stage of a comprehensive approach to model-driven ...
Automatic Ada code generation using a model-driven engineering approach
Ada-Europe'07: Proceedings of the 12th international conference on Reliable software technologiesCurrently, Model-Driven Engineering (MDE) is considered one of the most promising approaches for software development. In this paper, a simple but complete example based on state-machines will be used to demonstrate the benefits of this approach. After ...
Understanding code snippets in code reviews: a preliminary study of the OpenStack community
ICPC '22: Proceedings of the 30th IEEE/ACM International Conference on Program ComprehensionCode review is a mature practice for software quality assurance in software development with which reviewers check the code that has been committed by developers, and verify the quality of code. During the code review discussions, reviewers and ...







Comments