Memorias de investigación
Ponencias en congresos:
Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos
Año:2010
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones
Datos
Descripción
El presente documento describe la integraci¿on de herramientas para el an¿alisis temporal en el conjunto de herramientas ASSERT. El proceso de desarrollo, el conjunto de herramientas y la m¿aquina 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¿nos heterog¿eneos realizados por el hombre en software homog¿eneo generado autom¿aticamente¿. Para ello utiliza el modelo computacional de Ravenscar, que es un modelo de concurrencia que permite el an¿alisis est¿atico del comportamiento de tiempo real. Por lo tanto, el uso de herramientas para el an¿alisis de la planificabilidad y el c¿alculo del tiempo de c¿omputo en el peor caso es de importancia primordial. En este documento se detalla la adecuaci¿on de distintas herramientas a los sistemas distribuidos empotrados de tiempo real cr¿¿ticos, para su posterior integraci ¿on en el proceso de desarrollo.
Internacional
No
Nombre congreso
III Simposio de Sistemas de Tiempo Real CEDI 2010.
Tipo de participación
960
Lugar del congreso
Valencia
Revisores
Si
ISBN o ISSN
978-84-92812-64-6
DOI
Fecha inicio congreso
07/09/2010
Fecha fin congreso
10/09/2010
Desde la página
0
Hasta la página
0
Título de las actas
Actas del III Simposio de Sistemas de Tiempo Real CEDI 2010.
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos