Automated model-based generation of Ravenscar-compliant source code

Proceedings - Euromicro Conference on Real-Time Systems

Volumn 2005, Issue , 2005, Pages 59-67

  Bordin, Matteo ^a   Vardanega, Tullio ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED LANGUAGE TRANSLATION; GRAPHIC METHODS; REAL TIME SYSTEMS; TECHNICAL PRESENTATIONS;

GENERATIONS; MODEL TO CODE TRANSLATION; RAVENSCAR COMPLIANT SOURCE CODE;

CODES (SYMBOLS);

EID: 33749071380     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2005.9     Document Type: Conference Paper

References (22)

1. Consolidated Ada Reference Manual -International Standard ISO/IEC-8652:1995(E) with Technical Corrigendum 1, 2000. 1SO/IEC 8652:1995.
2. Ada Conformity Assessment Authority. International Standard ISO/IEC 8652:1995 - Information Technology - Programming Languages - Ada - Amendment 1 (Draft 8), October 2004. http://www.ada-auth.org/amendment.html.
3. A. Burns. Scheduling Hard Real-Time Systems: a Review. Software Engineering Journal, 6(3): 116-128, 1991.
4. A. Burns. Preemptive priority based scheduling: An appropriate engineering approach. In S. Son, editor, Advances in Real-Time Systems. Prentice-Hall, 1994.
5. A. Burns, B. Dobbing, and T. Vardanega. Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (UK), January 2003. Approved as 1SO/IEC JTCI/SC22 TR42718.
6. A. Burns and A. Wellings. HRT-HOOD; A Structured Design Method for Hard Real-Time Systems. Elsevier Science, Amsterdam, NL, 1995. ISBN 0-444-82164-3.
7. K. Czarnecki and U. Eisenecker. Generative Programming,: Methods, Tools and Applications. Addison-Wesley, 2000. ISBN: 0201309777.
8. B. Dobbing and O. Romanski. The Ravenscar profile: Experience report. In Proceedings of the 9th International Real-Time Ada Workshop, volume XIX(2), pages 28-32. Ada Letters, 1999.
9. H. Gomaa. Designing Concurrent, Distributed, and Real-Time Applications with UML. Addison-Wesley, 2000, ISBN 0201657937.
10. J. Goodenough and L. Sha. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks. Technical Report SEI-SSR-4, Software Engineering Institute, Pittsburgh, Pennsylvania, 1988.
11. Java Community Process. JSR-001: Real-Time Specification for Java, March 2004. http://www.jcp.org/sn/jsr.
12. J. Kwon, A. Wellings, and S. King. Ravenscar-Java: a High-Integrity Profile for Real-Time Java. In Java Grande Conference, pages 131-140. ACM-ISCOPE, 2002.
13. th Euromicro Conference on Real-Time Systems, pages 221-228. IEEE CS, 2003.
14. Object Management Group (OMG). UML 2.0 Superstructure Specification, 2003. http://www.omg.org/cgi-bin/doc?ptc/2004-01-11.
15. OMG. UML 1.5 Specification, http://www.uml.org/#UML1.5.
16. OMG, Model Driven Architecture, http://www.omg.org/mda, 2004.
17. B. Sanden. Coping with Java threads. IEEE Computer, 37(4):20-27, 2004.
18. B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modeling. Wiley & Sons, 1994, ISBN 0471599174.
19. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority Inheritance Protocols: An Approach to Real-Time Synchronization. IEEE Tr. on Computers, 39(9):1175-1185, 1990.
20. T. Vardanega and G. Caspersen. Using the Ravenscar Profile for space applications: The OBOSS case. In M. Gonzlez-Harbour, editor, Proceedings of the International Workshop on Real-Time Ada Issues, volume XXI, pages 96-104. Ada Letters, 2001.
21. th Euromicro Conference, pages 6-13. IEEE CS, 2004.
22. T. Vardanega, J. Zamorano, and J.-A. De la Puente. On the Dynamic Semantics and the Timing Behaviour of Ravenscar Kernels. Real-Time Systems, 29(1):59-89, 2005.