Monografias.com > Uncategorized
Descargar Imprimir Comentar Ver trabajos relacionados

Sistemas de Alta Integridad (página 3)




Enviado por Pablo Turmero



Partes: 1, 2, 3

Monografias.com

J. García Martín 15/06/2016
– 35
GUÍA PARA EL USO DE ADA

Selección … – Estructuras Dinámicas

Monografias.com

J. García Martín 15/06/2016
– 36
GUÍA PARA EL USO DE ADA

Selección … Excepciones

Monografias.com

J. García Martín 15/06/2016
– 37
PERFIL DE RAVENSCAR

Introducción

Para Ada95
Los Sistemas de Alta Integridad no utilizaban concurrencia del lenguaje
Define un subconjunto de facilidades de Ada95 (Lenguaje Completo => Muy extenso)
Motivos para definir un modelo restringido:
Incrementa eficiencia, disminuye sobrecarga
Reduce falta de determinismo
Simplifica el run time
Elimina facilidades que impiden análisis temporal

Monografias.com

J. García Martín 15/06/2016
– 38
PERFIL DE RAVENSCAR

Introducción

Adecuado a:
Aplicaciones Safety-Critical que requieren certificación
Sistemas Alta Integridad que requieren determinismo funcional
STR concurrentes que requieren determinismo temporal
STR con restricciones de t. Ejecución que requieren altas prestaciones
STR con restricciones de memoria que requieren utilización de memoria determinista

Monografias.com

J. García Martín 15/06/2016
– 39

Definición del perfil (1)
Tareas a nivel de librerías

No tareas ni objetos protegidos dinámicos

Objetos Protegidos a nivel de librería:
Sin entradas (datos compartidos con exclusión mútua)
Con una sola entrada (para enviar señales de activación)
Barreras consisten en una variable simple (no hay efectos laterales)
Sólo puedeestar 1 tarea en una entrada (fácil verificación)

Tarea = bucle infinito con un punto de activación (delay o entry)

No permite reencolado (fácil análisis funcional y temporal)

No Abort ni ATC (sobrecarga el run-time)

PERFIL DE RAVENSCAR

Monografias.com

J. García Martín 15/06/2016
– 40

Definición del perfil (2)

No instrucción Select (reduce determinismo funcional)

No entradas a tareas (difícil análisis funcional y temporal)

Delay until (No delay)

Paquete Real_Time (No Calendar)

No prioridades dinámicas

Incluye FIFO Within Priority + Ceiling Locking

Contempla planificación cooperativa
PERFIL DE RAVENSCAR

Monografias.com

J. García Martín 15/06/2016
– 41

Implementación

Debe soportar planificación expulsora y no expulsora

Run-time sencillo y con baja sobrecarga

Los algoritmos del run-time deben:
tener un WCET determinista
tiempo medio de ejecución lo mas corto posible
minimizar uso de memoria global
no adquirir memoria dinámica
ser conformes a estándares de seguridad
ser conformes al propio perfil Ravenscar

Comprobaciones en tiempo de compilación

PERFIL DE RAVENSCAR

Monografias.com

J. García Martín 15/06/2016
– 42

Herramientas adicionales

AdaCover
Detecta que se ha ejecutado todo el código (aplicación + run time)
Sigue el estándar DO-178B

PerfoRMAx
Análisis de planificacbilidad
El usr puede elegir entre varias teorías de planificabilidad
Visión gráfica de la carga del procesador
PERFIL DE RAVENSCAR

Partes: 1, 2, 3
 Página anterior Volver al principio del trabajoPágina siguiente 

Nota al lector: es posible que esta página no contenga todos los componentes del trabajo original (pies de página, avanzadas formulas matemáticas, esquemas o tablas complejas, etc.). Recuerde que para ver el trabajo en su versión original completa, puede descargarlo desde el menú superior.

Todos los documentos disponibles en este sitio expresan los puntos de vista de sus respectivos autores y no de Monografias.com. El objetivo de Monografias.com es poner el conocimiento a disposición de toda su comunidad. Queda bajo la responsabilidad de cada lector el eventual uso que se le de a esta información. Asimismo, es obligatoria la cita del autor del contenido y de Monografias.com como fuentes de información.

Categorias
Newsletter