2.- Lenguajes de Programacion para Sistemas de Tiempo Real

Actividad 4

Trabajo Individual

Lenguajes para sistemas de tiempo
real
Lenguajes sin soporte para programación de tiempo real
        • requieren la programación a través de los servicios del sistema
          operativo, por ejemplo POSIX
        • C/C++
Lenguajes con soporte para programación de tiempo real
        • Ada: soportado por instrucciones del propio lenguaje
        • Java: soportado mediante una API

Ada
El lenguaje Ada se caracteriza por hacer énfasis en la fiabilidad
      • Es el lenguaje mayoritario en sistemas de seguridad crítica
               - por ejemplo, aviones, trenes, vehículos espaciales
Es uno de los pocos lenguajes que tiene soporte directo para
programar sistemas de tiempo real
     • en los sistemas de tiempo real el software debe responder a
       tiempo a sucesos que ocurren en el mundo real
     • muchos sistemas basados en computador son sistemas de
       tiempo real
                  - vehículos, robots, televisión y vídeo, telecomunicaciones, ...
Es un lenguaje moderno que soporta la programación orientada a
objetos, la programación concurrente, ...

UNIVERSIDAD
DJava
También es un lenguaje moderno que soporta la programación
orientada a objetos, la programación concurrente, ...
Java tiene soporte opcional para sistemas de tiempo real
           • RTSJ: Real-time specification for Java
Soporta threads con características de tiempo real
           • planificación por prioridades fijas o EDF
Tiene una dificultad importante en la gestión de la memoria
           • La memoria automática de Java no es apta para sistemas de
              tiempo real; RTSJ define otras formas de gestión de memoria
Existe mucho interés en RTSJ pero escasas aplicaciones, aún
http://www.ctr.unican.es/asignaturas/lenguajes_str/programa-3en1.pdf
POSIX es el acrónimo de Portable Operating System Interface; la X viene de UNIX como seña de identidad de la API.
El término fue sugerido por Richard Stallman en respuesta a la demanda de la IEEE, que buscaba un nombre fácil de recordar. Una traducción aproximada del acrónimo podría ser "Interfaz de sistema operativo portable".


  • POSIX.1b, extensiones para tiempo real:
    • Planificación (scheduling) con prioridad.
    • Señales de tiempo real.
    • Temporizadores.
    • Semáforos.
    • Intercambio de mensajes (message passing).
    • Memoria compartida.
    • Entrada/salida síncrona y asíncrona.
    • Bloqueos de memoria.



    • http://es.wikipedia.org/wiki/POSIX

    Comentarios

    1. PTR23 de junio de 2011, 10:30

      Ok Jesus. Falto dar formato y mejorar la organización a los textos que pegaste. Recuerda que no solo es copiar-pegar. Hay que leer, comprender y explicar, para que sea un trabajo tuyo.

      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 conclusiones . El pa
    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

    Hubo un problema pero puedes intentarlo de nuevo Windows error OOBEEULA

    Imagen
      Hubo un problema, pero puedes intentarlo de nuevo - Windows Error OOBEEULA Fig. Hubo un problema, pero puedes intentarlo de nuevo OOBEEULA. Hola, amigos del Blog, en esta ocasión les voy a comentar sobre un error que me paso cuando restablecí varios equipos ha estado de fábrica, no todos presentaron este problema, fueron como 5 equipos en los que ocurrió este error. Los equipos eran de la marca Dell, Latitude 3590, con Windows 10 Pro, 8 Gb en RAM y 250 GB en disco estado sólido, para todos ellos se usó la herramienta de Restablecer este equipo que viene en Windows 10, les comento que el proceso de restauración finalizaba de forma correcta, pero al comentar las opciones de configuración inicial se presentaba la siguiente pantalla con la leyenda: Hubo un problema, pero puedes intentarlo de nuevo Error OOBEEULA. Fig. Restablecer este equipo Ahora, revisando en el Blog de Microsoft y algunos videos en YouTube, encontré una serie de comandos con los que pude darle solución a este error, p
    Leer más