Timing analysis tools in a model-driven development environment

Garrido Balaguer, Jorge and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Miguel Cabello, Miguel Angel de and Alonso Muñoz, Alejandro Antonio (2017). Timing analysis tools in a model-driven development environment. "IFAC-PapersOnline", v. 50 (n. 1); pp. 5875-5880. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2017.08.1303.

Description

Title: Timing analysis tools in a model-driven development environment
Author/s:
  • Garrido Balaguer, Jorge
  • Puente Alfaro, Juan Antonio de la
  • Zamorano Flores, Juan Rafael
  • Miguel Cabello, Miguel Angel de
  • Alonso Muñoz, Alejandro Antonio
Item Type: Article
Título de Revista/Publicación: IFAC-PapersOnline
Date: 2017
ISSN: 2405-8963
Volume: 50
Subjects:
Freetext Keywords: Real-time systems, high-integrity software, model-based development, schedulability analysis, Ada, timing analysis
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (2MB) | Preview

Abstract

Timing analysis tools in a model-driven development environment Descripción: This paper discusses the use of timing analysis tools on software systems developed with model-driven engineering methodologies. Model-driven development is mainly based on model transformations and automatic code generation. However, a deep understanding of the internal structure and behaviour of the automatically generated code is required in order to conduct later phases of the lifecycle, including validation of non-functional requirements such as real-time properties. The paper describes the integration of a timing analysis tool with TASTE, a model-driven environment developed under the auspices of the European Space Agency. A study of the influence of using an MDE approach on timing analysis techniques, along with figures on the proportion of automated and human-written code in a representative example of a spacecraft attitude control system is included in the paper.

More information

Item ID: 49893
DC Identifier: http://oa.upm.es/49893/
OAI Identifier: oai:oa.upm.es:49893
DOI: 10.1016/j.ifacol.2017.08.1303
Official URL: https://www.sciencedirect.com/science/article/pii/S2405896317318244?via%3Dihub
Deposited by: Memoria Investigacion
Deposited on: 17 Apr 2018 16:08
Last Modified: 25 Mar 2019 09:21
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM