Autor: URUEÑA PASCUAL, Santiago
Título: Arquitectura software de comunicaciones para sistemas distribuidos críticos con requisitos de tiempo real estrictos.
Fecha: 2011
Materia: Sin materia definida
Escuela: FACULTAD DE INFORMATICA
Departamento: ARQUITECTURA Y TECNOLOGIA DE SISTEMAS INFORMATICOS
Director/a(s):
- Director/a: ZAMORANO FLORES, Juan
Resumen: El perfil de Ravenscar - Un subconjunto del lenguaje de programación Ada - supuso un salto cualitativo en el desarrollo de software para sistemas críticos. Diseñado por expertos en certificación y sistemas de tiempo real, tanto de la industria como del mundo académico, permitió abordar la creciente complejidad del software de control de estos sistemas, reduciendo los costes de desarrollo, mantenimiento, y la obligatoria etapa de certificación de este software de alta integridad. Ahora que el perfil de Ravenscar está empezando a ser usado por la industria, principalmente en la aeroespacial y de transportes es necesario actualizar el perfil para adaptarlo a los requisitos de los sistemas de nueva generación, incorporando los nuevos avances en teoría de planificabilidad. Principalmente es necesario adaptarlo a los sistemas distribuidos y a la segregación de criticidades, y así poder ofrecer herramientas adecuadas para implementar las nuevas funcionalidades exigidas a los sistemas críticos del futuro.