Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (701kB) | Preview |
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.
Title: | Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos. |
---|---|
Author/s: |
|
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 |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (701kB) | Preview |
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
Item ID: | 6873 |
---|---|
DC Identifier: | https://oa.upm.es/6873/ |
OAI Identifier: | oai:oa.upm.es:6873 |
Official URL: | http://www.congresocedi.es/2010/contenido.php?apar... |
Deposited by: | Memoria Investigacion |
Deposited on: | 18 May 2011 12:11 |
Last Modified: | 20 Apr 2016 16:00 |