Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE

  • Julio L. Medina
  • Alvaro Garcia Cuesta
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6652)

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.

Keywords

Ada embedded systems MARTE MDA MDE modelling OMG standards real-time schedulability analysis UML 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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-9Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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
  7. 7.
    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)Google Scholar
  8. 8.
    Demathieu, S., Rioux, L.: MARTE to RapidRMA. Thales Report/Technical Document number 61565273 305 6, http://www.omgwiki.org/marte/node/31
  9. 9.
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Julio L. Medina
    • 1
  • Alvaro Garcia Cuesta
    • 1
  1. 1.Departamento de Electrónica y ComputadoresUniversidad de CantabriaSantanderSpain

Personalised recommendations