Miguel A. de Miguel
ABSTRACT
The integration of real-time concepts into modeling tools and Java virtual machines and APIs are two problems addressed along last decade. Examples of standards addressing these problems are RTSJ (Real-Time Specification for Java) and MARTE (Modeling and Analysis of Real-time Embedded Systems). These standards, in general, have common fundaments (time predictability of software systems based on scheduling analysis methods and object-oriented languages).
Model driven developments methods are based on the application of generators and transformations, on source models, to generate code and artifacts of specific run-time platforms. Common fundaments of RTSJ and MARTE make possible their integration in a common model-driven software development framework. But this integration requires the developments of generators and transformations, and the customizations of UML extensions for the specific run-time platform. Integration of UML profiles into code generations requires specific customizations of generators. This paper studies these problems and proposes solutions for the application of model driven development techniques to develop of RTSJ software systems.
- Avionics Architecture Description Language Standards Document (AADL), http://www.aadl.infoGoogle Scholar
- Pablo Basanta-Val, Marisol Garcia-Valls, Iria Estevez-Ayres, Enhancing OSGi with Real-time Java Support. Accepted in Practice and Experience. November, 22, 2011.Google Scholar
- Bollella, G.; Gosling, J. The real-time specification for Java. Computer. Volume: 33, Issue: 6, DOI: 10.1109/2.846318. June 2000, Page(s): 47--54 Google ScholarDigital Library
- A. Burns and A. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. ELSEVIER, 1995.Google Scholar
- de Miguel, M; Alonso, A; de la Puente, J. Object-oriented design of real-time systems with stereotypes. 9th Euromicro Workshop on Real Time Systems, 1997, IEEE Computer.Google ScholarCross Ref
- de Miguel, M. "QoS-Aware Component Frameworks. In The 10th International Workshop on Quality of Service (IWQoS 2002), May 2002.Google Scholar
- Eclipse JET (Java Emitter Templates) project. http://www.eclipse.org/modeling/m2t/?project=jet#jethttp://www.eclipse.org/modeling/m2t/?project=jet#jetGoogle Scholar
- Eclipse Modisco project. http://www.eclipse.org/MoDisco/Google Scholar
- Eclipse Model2Model project, http://www.eclipse.org/m2m/Google Scholar
- Obeo, Acceleo 3.1.0 User Guide. http://www.obeonetwork.com/page/acceleo-310-user-guideGoogle Scholar
- Gosling, J.; Bollella, G; Dibble, P.; Furr, S.; Turnbull, M. The Real-Time Specification for Java. Addison Wesley Longman. January 15, 2000 | ISBN-10: 0201703238 Google ScholarDigital Library
- gforge.enseeiht.fr/docman/view.php/52/4445/A6-CNES-Obeo-v2.pdfGoogle Scholar
- MAST, Modeling and Analysis Suite for Real-Time Applications, http://mast.unican.es/Google Scholar
- Ming Ho, W., Jezequel, J.-M.; Le Guennec, A.: Pennaneac'h, F. UMLAUT: an extendible UML transformation framework. 14th IEEE International Conference on Automated Software Engineering, 1999. Google ScholarDigital Library
- Object Management Group. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems. Version 1.1. ptc/2010-08-32Google Scholar
- Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. Version 1.1. 2005. OMG document: formal/05-01-02.Google Scholar
- Object Management Group. Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, formal/20108-06.Google Scholar
- Object Management Group. MOF Model to Text Transformation Language, Version 1.0, formal/08-01-16Google Scholar
- Richardson, T.; Wellings, A.; Dianes, J.; Díaz, M. Providing temporal isolation in the OSGi framework. Proceeding JTRES '09 Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems Pages 1--10. ACM. Google ScholarDigital Library
- Safety Critical Java Technology Specification, JSR-302, Version 0.78, 15 October 2010. http://download.oracle.com/otndocs/jcp/safety_critical-0.78-edr-oth-JSpecGoogle Scholar
- Saksena, M.; Ptak, A.; Freedman, P.; Rodziewicz, P. Schedulability analysis for automated implementations of real-time object-oriented models. In The 19th IEEE Real-Time Systems Symposium, 1998. Dec 1998. IEEE Computer. Google ScholarDigital Library
- Selic, B. A generic framework for modeling resources with UML. Computer. Volume: 33, Issue: 6, DOI: 10.1109/2.846320. June 2000, Page(s): 64--69 Google ScholarDigital Library
- Stevens, P. On the interpretation of binary associations in the Unified Modelling Language. Software and Systems Modeling. Volume 1, Number 1. 2002, Pages: 68--79, DOI: 10.1007/s10270-002-0002-xGoogle Scholar
- Wellings, A. Concurrent and Real-Time Programming in Java. Wiley, 2004. ISBN 0-470-84437-X Google ScholarDigital Library
Index Terms
- Model-based development for RTSJ platforms
Recommendations
Example-driven meta-model development
The intensive use of models in model-driven engineering (MDE) raises the need to develop meta-models with different aims, such as the construction of textual and visual modelling languages and the specification of source and target ends of model-to-...
Real-time Java processor optimized for RTSJ
SAC '07: Proceedings of the 2007 ACM symposium on Applied computingDue to the preeminent work of the real-time specification for Java(RTSJ), Java is increasingly expected to become the leading programming language in real-time systems. To provide a Java platform suitable for real-time applications, a real-time Java ...
A rational approach to model-driven development
Model-driven software developmentModels, modeling, and model transformation form the basis for a set of software development approaches that are known as model-driven development (MDD). Models are used in reasoning about a problem domain and the corresponding solution domain for some ...
Comments