PED 1 Sistemas Tiempo Real

Nombre: César Ramírez Ruiz. D.N.I: 50543482-Q

Sistemas de Tiempo real
Ejercicio 1 Curso 2013-14
Este ejercicio resuelto debe enviárselo al profesor tutor, y si no tiene profesor
tutor a losprofesores de la sede central.
Se recomienda que se realicen próximos a la semana que se proponen. En todo caso
para podérselo considerar en la calificación final debe enviarse antes del 16 de Junio.A) ¿ Es fiable un programa que es conforme a una especificación errónea de su
comportamiento?.
Sí. La fiabilidad trata de cómo es de íntegro el sistema resultante conforme a su
especificación,sin entrar a valorar si la especificación es errónea o no. Si las
especificaciones de la funcionalidad del sistema fueron erróneas, y a pesar de ellos el
comportamiento es el esperado según esaespecificación, el sistema será fiable.

B) Proporcione ejemplos de:
1) Una excepción síncrona detectada por la aplicación.
Por ejemplo, en las comprobaciones de expresiones lógicas, puede elevarse
unaexcepción si cierta condición no es correcta. Este levantamiento es inmediato,
sin una demora en el tiempo como para considerarlo asíncrono. En Java, con la
sentencia “Throw” se realiza ellevantamiento síncrono por aplicación.

2) Una excepción asíncrona detectada por la aplicación.
Por ejemplo, envíos de mensajes de notificación de un proceso concurrente
a otro para indicar tiempos deespera excedidos. El mensaje no se transmite de
inmediato, el mensaje se genera pero no se emite. Sólo cuando el otro proceso
susceptible de recibir notificaciones, entra en un ámbito de ejecución quepermita
procesarlos.

3) Una excepción síncrona detectada por el entorno de ejecución.
Por ejemplo, cuando se provoca una excepción IndexOutOfBoundException
en Java. Esto quiere decir que elentorno de ejecución, por cómo ha ido
evolucionando las instrucciones, detecta un intento de acceso a un elemento de un
array desde un índice que no está contenido en el arreglo (índices negativos o...