| Gráfico | Descripción |
Guía de Modificaciones Realizadas
Nota: Este es un sumario de los cambios, correcciones y aclaraciones realizados luego de la primera entrega de la presente documentación. Cada punto lleva al lugar donde la modificación tuvo lugar.
| Justificación y fundamento de la decisión de incluír la tarea de temporización en el módulo RELOJ. | ||
| Reemplazo del botón de cambio de modo por una llave de
seguridad.
| ||
| Definición de la escala de probabilidad en los cambio posibles. | ||
| Redefinición completa de los conjuntos e incrementos minimales. | ||
| Fundamentación de cómo las estructura de uso soporta los incrementos minimales. | ||
| Aclaración del tipo Referencia para SENSOR y ACTUADOR. | ||
| Inlcusión de la función quitar_temporizador en la interface del módulo RELOJ. | ||
| Aclaración del significado de los valores del tipo Estado_op (ej.: va_cos) del ADMINISTRADOR_ESTADO. | ||
| Comentarios informales y reparaciones (de las funciones "cortadas") en diversas especificaciones Z. | ||
| Tabla de referencias de eventos y estados para la especificación de procesar_ult_ent. |