Real-time Java from an automated code generation perspective

Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2007

Volumn , Issue , 2007, Pages 63-72

  Bordin, Matteo ^a   Vardanega, Tullio ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

Automated code generation; Model driven engineering; Real time Java

Indexed keywords

AUTOMATIC PROGRAMMING; REAL TIME SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING;

AUTOMATED CODE GENERATION; MODEL DRIVEN ENGINEERING; REAL TIME JAVA;

JAVA PROGRAMMING LANGUAGE;

EID: 38849176700     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1288940.1288950     Document Type: Conference Paper

References (32)

1. Architecture Analysis and Design Language. http://www.aadl.info.
2. M. Bordin and T. Vardanega. A new strategy for the HRT-HOOD to Ada mapping. In Reliable Software Technologies - Ada-Europe, 2005.
3. 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.
4. M. Bordin and T. Vardanega. A Domain-specific Metamodel for Reusable, Object-Oriented, High-Integrity Components. In OOPSLA DSM 2007, 2007. Under submission.
5. M. Bordin and T. Vardanega. Correctness by Construction for High-Integrity Real-Time Systems: a Metamodel-driven Approach. In Reliable Software Technologies - Ada-Europe, 2007.
6. A. Burns, B. Dobbing, and G. Romanski. The Ravenscar Tasking Profile for High Integrity Real-Time Programs. In Reliable Software Technologies - Ada Europe, 1998.
7. 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, 2003.
8. A. Burns and A. J. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.
9. V. Cechticky, M. Egli, A. Pasetti, O. Rohlik, and T. Vardanega. A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications. In Reuse of Off-the-Shelf Components, 9th International Conference on Software Reuse, 2006.
10. K. Czarnecki and U. W. Eisenecker. Generative programming: methods, tools, and applications. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
11. The Eclipse Platform, http://www.eclipse.org.
12. The Eclipse Modeling project. http://www.eclipse.org/modeling.
13. J. B. Goodenough and L. Sha. The priority ceiling protocol: a method for minimizing the blocking of high priority Ada tasks. In IRTAW '88: Proc. of the second international workshop on Real-time Ada issues, pages 20-31, 1988.
14. The High-Integrity Java project, http://www.hija.info.
15. 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.
16. The iUML product Suite. http://www.kc.com/products.php.
17. JSR 175: A Metadata Facility for the Java Programming Language. http://www.jcp.org/en/jsr/detail?id=175.
18. JSR 302: Safety Critical Java Technology. http://jcp.org/en/jsr/detail? id=302.
19. S. Kent. Model Driven Engineering. In Proc. of the 3rd International Conference on Integrated Formal Methods, pages 286-298, London, UK, 2002. Springer-Verlag.
20. G. Kiczales. Why are black boxes so hard to reuse? toward a new model of abstraction in the engineering of software. In OOPSLA '94, Invited Talk, 1994.
21. J. Kwon, A. Wellings, and S. King. Ravenscar-java: a high integrity profile for real-time java. In JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, pages 131-140, New York, NY, USA, 2002. ACM Press.
22. MAST: Modeling and Analysis Suite and Tools. University of Cantabria, Spain, http://mast.unican.es.
23. The MOFscript tool. http://modelbased.net/mofscript.
24. MOF Model to Text Transformation Language RFP. http://www.omg.org/cgi- bin/doc?ad/04-04-07.
25. OCL 2.0 Specification. http://www.omg.org/docs/ptc/05-06-06.pdf.
26. M. Panunzio and T. Vardanega. A Metamodel-driven Process Featuring Advanced Model-based Timing Analysis. In Reliable Software Technologies - Ada-Europe, 2007.
27. Radio Technical Commission for Aeronautics,. http://www.rtca.org.
28. The Real-Time Specification for Java. http://www.rtsj.org.
29. SCADE. http://www.esterel-technologies.com/products/scade-suite/.
30. D. C. Schmidt. Guest Editor's Introduction: Model-Driven Engineering. Computer, 39(2):25-31, 2006.
31. Annotation Procesing Tool (apt). http://java.sun.com/j2se/1.5.0/docs/ guide/apt/.
32. C. Szyperski. Component Software - Beyond Object-Oriented Programming. ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2002.