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

  • Julio L. Medina
  • Alvaro Garcia Cuesta
Conference paper

DOI: 10.1007/978-3-642-21338-0_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6652)
Cite this paper as:
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

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.

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