Sistemas de Tiempo real

Ejercicio 1
Este ejercicio resuelto debe envirselo al profesor tutor, y si no tiene profesor tutor a
los profesores de la sede central.

Se recomienda que se realicen en la semana que se proponen. En todo caso para

podrselo considerar en la calificacin final debe enviarse antes del 16 de Junio.

Para la programacin de las N-versiones (N-versin programming), contestar a las

siguientes preguntas:

a) Explicar en que suposicin se basa, cuando deja de ser vlida y que hay que realizar
para que la suposicin sea cierta.

b) De qu es responsable el proceso director (driver process)?

c) Qu se entiende por votacin inexacta (inexact voting)? Como se puede resolver y

en que consiste el problema de la comparacin consistente (consistent comparison
problema).

d) Enumerar y comentar los tres factores (aspectos= issues) principales del xito de la
programacin de las N-versiones.