Sistema de Tiempo Real Duro y Suave

Actividad 1

           Sistemas de tiempo real duro
Es duro cuando el incumplimiento de un deadline implica un
funcionamiento incorrecto
 • Ejemplos:
    – El sistema ABS (anti-lock breaking system) de un auto
    – Un marcapasos

Características orientadas a hacerlo resistente a fallos:
   • En condiciones operativas normales:
   • Comportamiento predecible en sobrecargas
          Hay que asegurar los plazos de respuesta críticos.
          • Comportamiento temporal garantizado analíticamente (guarantee
              response systems).
   •   Deben ser ultrafiables respecto a averías malignas.
   •   Deben disponer de mecanismos que reduzcan el coste de una
       avería:
          De tolerancia a fallos --> sistema con degradación aceptable.
          De detección de fallos --> sistemas con parada segura.



           SSTR firmes y SSTR blandos
 Es suave cuando el incumplimiento de un deadline no implica
funcionamiento incorrecto pero sí una degradación en la
calidad de servicio
 •  Ejemplos:
     – Procesamiento de video
        » Porque es aceptable que se pierda algún que otro cuadro
     – Un reproductor de DVD
     – Interfaces al usuario en general

Características más comunes:
   • No existen plazos de respuesta críticos.
          No tienen comportamiento temporal garantizado
          analíticamente.
          Sistemas que hacen lo que pueden: best-effort systems.
          • Comportamiento degradado en sobrecargas.
   •   No se tratan las averías malignas.
   •   No se hace caracterización precisa de carga y fallos.
   •   Tienen mecanismo de tolerancia a fallos si son justificables
       económicamente.
          Si coste de reparar la avería > coste del mecanismo de
          tolerancia.


Concepto de "Determinista" 
 
 En sistemas de tiempo real casi todas las peticiones de servicio (o interrupciones) se generan por eventos externos al sistema. Por tanto, es fundamental que el sistema tenga un comportamiento determinista, o sea, previsible. El determinismo es una cualidad clave del sistema porque refiere a su capacidad para establecer con
una alta probabilidad cuanto es el tiempo que se toma una tarea en iniciarse. Esto es esencial porque los sistemas de tiempo real necesitan que ciertas tareas se ejecuten antes de que otras tareas se puedan iniciar.


www.indicart.com.ar/seminario-embebidos/Sistemas-de-Tiempo-Real.pdf
www.atc.us.es/asignaturas/astr/Ts/ASTRTema1.pdf - Similares
 https://cursos.fie.umich.mx/mod/resource/view.php?inpopup=true&id=4068

Comentarios

  1. PTR23 de junio de 2011, 10:52

    Muy bien Jesus. Bueno, el nombre "duro" y "suave" es algo raro. Prefiero llamarlos Hard y Soft.

    ResponderEliminar

Publicar un comentario

Entradas populares de este blog

Introducción a la lógica matemática - Cap. 2 Reglas de Inferencia.

Imagen
Reglas de Inferencia En el capitulo uno, hemos aprendido a dividir las proposiciones en sus partes lógicas y de este modo se ha llegado a conocer algo sobre la forma lógica  de las proposiciones. La idea de  forma  se puede ilustrar con alguno de los resultados del capítulo anterior.  La proposición P -> Q es la misma, en cuanto a la forma lógica se refiere, cualesquiera que sean las proposiciones en castellano que sustituyan a la P y a la Q . Los términos de enlace determinan la forma de la proposición. Las reglas de inferencia que rigen el uso de los términos de enlace son muy simples. Se pueden aprender estas reglas y su uso, como se aprenden las reglas de un juego. El Juego se juega con proposiciones , o fórmulas lógicas, nombre que se dará a las proposiciones simbolizadas. Se empieza con conjuntos de fórmulas que se denominan premisas . el objetivo del juego es utilizar las reglas de inferencia de manera que conduzcan a otras formulas que se denominan c...
Leer más

Introducción a la lógica matemática - Cap. 4 Tablas de certeza

Imagen
Tablas de certeza Así como un diagrama de certeza, presentar los valores de certeza de una fórmula para una sola combinación de asignaciones de certeza para sus proposiciones atómicas, la tabla de certeza muestra los valores de certeza de la fórmula para todas las combinaciones posibles de asignaciones de certeza. Incluso con una tabla de certeza se puede hacer simultáneamente para varias fórmulas diferentes. Para construir una tabla de certeza que dé todas las combinaciones posibles de asignaciones de certeza a n letras atómicas distintas, son necesarias 2^n líneas. Para cada letra atómica distinta se necesita una columna, y también se necesita una columna por cada término de enlace que se presente. Una tautologia es una proposicion molecular cuya columna en una tabla de certeza no posee ninguna F. Hay dos maneras de utilizar una tabla de certeza para determinar si un razonamiento es valido. El primero consiste en construir una tabla de certeza con una columna para cada premisa...
Leer más

Introducción a la lógica matemática - Cap. 3 Certeza y Validez

Imagen
Certeza y Validez Hemos aprendido a demostrar la validez de inferencia casi de forma análoga a como se aprende a jugar un juego. Se parte de premisas dadas y el objetivo es alcanzar una conclusión particular. El camino que se sigue para ello es seguir proposiciones, de otras proposiciones que ya se han obtenido utilizando las reglas de inferencia. Cada movimiento que se realiza ha de estar permitido por una regla. En una demostración formal se ha de justificar cada paso que se dé haciendo referencia a una regla de inferencia. También se ha de justificar las proposiciones de las que se ha deducido la nueva proposición. Las reglas permiten hacer muchos movimientos, pero la estrategia estriba en hacer aquellos que conducen al objetivo, la conclusión deseada. La idea de inferencia se resume en esta forma: De premisas ciertas se obtienen sólo conclusiones ciertas Puesto que las reglas de inferencia válida, permiten deducir sólo consecuencias ciertas de premisas ciertas, si se encu...
Leer más