Timing analysis tools in a model-driven development environment

Garrido Balaguer, Jorge; Puente Alfaro, Juan Antonio de la; Zamorano Flores, Juan Rafael; Miguel Cabello, Miguel Angel de y 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.

Descripción

Título: Timing analysis tools in a model-driven development environment
Autor/es:
  • Garrido Balaguer, Jorge
  • Puente Alfaro, Juan Antonio de la
  • Zamorano Flores, Juan Rafael
  • Miguel Cabello, Miguel Angel de
  • Alonso Muñoz, Alejandro Antonio
Tipo de Documento: Artículo
Título de Revista/Publicación: IFAC-PapersOnline
Fecha: 2017
Volumen: 50
Materias:
Palabras Clave Informales: Real-time systems, high-integrity software, model-based development, schedulability analysis, Ada, timing analysis
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (2MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 49893
Identificador DC: http://oa.upm.es/49893/
Identificador OAI: oai:oa.upm.es:49893
Identificador DOI: 10.1016/j.ifacol.2017.08.1303
URL Oficial: https://ac.els-cdn.com/S2405896317318244/1-s2.0-S2405896317318244-main.pdf?_tid=47cb742f-4c1b-4d53-9ed7-ad35f830a398&acdnat=1523981012_73bf2f948d51188a775cf22419b66297
Depositado por: Memoria Investigacion
Depositado el: 17 Abr 2018 16:08
Ultima Modificación: 17 Abr 2018 16:08
  • GEO_UP4
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • InvestigaM
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM