Abstract
This paper considers the design of hard real-time distributed systems. It uses a model-based approach whose specification is made using UML, a high level standard modelling language. This work describes a tool-aided methodology to enable the assembly and transformation of such design intended models into schedulability analysis models. These analysis models are suitable for the verification of the timing properties of a fully described system in a real-time situation. The description of a real-time situation includes also the knowledge of the load the system is expected to support. In order to annotate the required non-functional properties, and to state other real-time enabling features, the UML profile for Modelling and Analysis of Real-Time and Embedded systems (MARTE), a recent modelling standard of the OMG, has been used. The methodology proposed brings several methodological guidelines to get in tune the generation of Ada applications described by the high level application modelling concepts provided by MARTE, with its corresponding schedulability analysis models. The tool associated to this methodology generates as an output the concrete analysis models used by the MAST set of tools, it invokes MAST, and also recovers the output results back into the high level design UML models.
This work has been funded by the European Union under contracts, FP7/NoE/214373 (ArtistDesign), and FP7/CSA/224330 (ADAMS); and by the Spanish Government under grants TSI-020400-2009-108 (ITEA2-EVOLVE), and TIN2008-06766-C03-03 (RT-MODEL). This work reflects only the author’s views; the EU is not liable for any use that may be made of the information contained herein.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
López, P., Drake, J.M., Medina, J.L.: Enabling Model-Driven Schedulability Analysis in the Development of Distributed Component-Based Real-Time Applications. In: Proceedings of 35th Euromicro Conference on Software Engineering and Advanced Applications, Component-based Software Engineering Track, Patras, Greece, pp. 109–112. IEEE, Los Alamitos (August 2009) ISBN 978-0-7695-3784-9
González Harbour, M., Gutiérrez, J.J., Palencia, J.C., Drake, J.M.: MAST: Modeling and Analysis Suite for Real-Time Applications In: Proc. of the Euromicro Conference on Real- Time Systems (June 2001)
Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) version 1.0, OMG doc. formal/2009-11-02 (2009)
Gutierrez, J.J., Drake, J.M., González Harbour, M., Medina, J.L.: Modeling and Schedulability Analysis in the Development of Real-Time and Distributed Ada Systems. ACM Ada Letters XXII(4) (2002)
Mazzini, S., Puri, S., Vardanega, T.: An MDE Methodology for the Development of High-Integrity Real-Time Systems. In: DATE 2009, Nice, France, April 20-24, p. 1154 (2009)
Medina, J.L., González Harbour, M., Drake, J.M.: Mast Real-Time: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. In: Proc of the 22nd IEEE Real-Time System Symposium (RTSS 2001), pp. 245–256 (2001), IST project COMPARE: Componentbased approach for real-time and embedded systems, http://www.ist-compare.org
Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P., et al.: Ada 2005 Reference Manual. LNCS, vol. 4348, pp. 43–48. Springer, Heidelberg (2006)
Demathieu, S., Rioux, L.: MARTE to RapidRMA. Thales Report/Technical Document number 61565273 305 6, http://www.omgwiki.org/marte/node/31
Maes, E., Vienne, N.: MARTE to Cheddar Transformation using ATL. Thales Report/Technical Documents number 61565546-179 and 61565546 108, http://beru.univbrest.fr/~singhoff/cheddar/contribs/examples_of_use/thales_rt/MARTE2CheddarTransformationRules.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Medina, J.L., Garcia Cuesta, A. (2011). Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-21338-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21337-3
Online ISBN: 978-3-642-21338-0
eBook Packages: Computer ScienceComputer Science (R0)