Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.

Asensio, Esteban and Lopez Trescastro, Jorge and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael (2010). Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.. In: "III Simposio de Sistemas de Tiempo Real, CEDI 2010", 07/09/2010 - 10/09/2010, Valencia, España. ISBN 978-84-92812-64-6.

Description

Title: Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.
Author/s:
  • Asensio, Esteban
  • Lopez Trescastro, Jorge
  • Puente Alfaro, Juan Antonio de la
  • Zamorano Flores, Juan Rafael
Item Type: Presentation at Congress or Conference (Article)
Event Title: III Simposio de Sistemas de Tiempo Real, CEDI 2010
Event Dates: 07/09/2010 - 10/09/2010
Event Location: Valencia, España
Title of Book: Actas del III Simposio de Sistemas de Tiempo Real, CEDI 2010
Date: 2010
ISBN: 978-84-92812-64-6
Subjects:
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 (701kB) | Preview

Abstract

El presente documento describe la integración de herramientas para el análisis temporal en el conjunto de herramientas ASSERT. El proceso de desarrollo, el conjunto de herramientas y la máquina virtual de ASSERT se orientan al desarrollo de sistemas distribuidos empotrados de tiempo real con requisitos de fiabilidad muy exigentes. El enfoque del proyecto ASSERT es el de “convertir diseños heterogéneos realizados por el hombre en software homogéneo generado automáticamente”. Para ello utiliza el modelo computacional de Ravenscar, que es un modelo de concurrencia que permite el análisis estático del comportamiento de tiempo real. Por lo tanto, el uso de herramientas para el análisis de la planificabilidad y el cálculo del tiempo de cómputo en el peor caso es de importancia primordial. En este documento se detalla la adecuación de distintas herramientas a los sistemas distribuidos empotrados de tiempo real críticos, para su posterior integración en el proceso de desarrollo

More information

Item ID: 6873
DC Identifier: http://oa.upm.es/6873/
OAI Identifier: oai:oa.upm.es:6873
Official URL: http://www.congresocedi.es/2010/contenido.php?apartado=novedades&sub=novedades
Deposited by: Memoria Investigacion
Deposited on: 18 May 2011 12:11
Last Modified: 20 Apr 2016 16:00
  • 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