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

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

Descripción

Título: Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.
Autor/es:
  • Asensio, Esteban
  • Lopez Trescastro, Jorge
  • Puente Alfaro, Juan Antonio de la
  • Zamorano Flores, Juan Rafael
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: III Simposio de Sistemas de Tiempo Real, CEDI 2010
Fechas del Evento: 07/09/2010 - 10/09/2010
Lugar del Evento: Valencia, España
Título del Libro: Actas del III Simposio de Sistemas de Tiempo Real, CEDI 2010
Fecha: 2010
ISBN: 978-84-92812-64-6
Materias:
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 (701kB) | Vista Previa

Resumen

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

Más información

ID de Registro: 6873
Identificador DC: http://oa.upm.es/6873/
Identificador OAI: oai:oa.upm.es:6873
URL Oficial: http://www.congresocedi.es/2010/contenido.php?apartado=novedades&sub=novedades
Depositado por: Memoria Investigacion
Depositado el: 18 May 2011 12:11
Ultima Modificación: 20 Abr 2016 16:00
  • 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
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM