Capítulo 50 — Defensa final
Mapa de la lección
Lección 50 publicada. Mapa, ejemplo, EX148.
flowchart TD
N0["Resultados de aprendizaje"]
N1["50.1 Estructura de la exposición"]
N2["50.2 Preguntas probables"]
N3["50.3 Reflexión"]
N4["Nota práctica"]
N5["50.1b Paquete para los examinadores y seguimiento po"]
N6["Nota de campo: revisión a los noventa días"]
N7["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7
N7 --> EX["Ejemplo resuelto"]
EX --> Q["Ejercicio EX148"]
Dibujo lógico
flowchart LR
N0["Resultados de aprendizaje"]
N1["50.1 Estructura de la exposición"]
N2["50.2 Preguntas probables"]
N3["50.3 Reflexión"]
N4["Nota práctica"]
N5["50.1b Paquete para los examinadores y seguimiento po"]
N6["Nota de campo: revisión a los noventa días"]
N7["Síntesis del capítulo"]
N0 --> N1 --> N2 --> N3 --> N4 --> N5 --> N6 --> N7 --> Q["EX148"]
[Resultados de aprendizaje]
|
v
[50.1 Estructura de la exposición]
|
v
[50.2 Preguntas probables]
|
v
[50.3 Reflexión]
|
v
[Nota práctica]
|
v
[50.1b Paquete para los examinadores y seguimiento po]
|
v
[Nota de campo: revisión a los noventa días]
|
v
[Síntesis del capítulo]
|
v
[Ejemplo resuelto] --> [Ejercicio EX148]
Resultados de aprendizaje
Usted podrá (1) presentar la afirmación y la evidencia en 20 minutos; (2) responder preguntas sobre seguridad y medición; (3) indicar qué no volvería a hacer.
50.1 Estructura de la exposición
Afirmación; demostración sobre el modelo sintético de la planta; resultados de verificación; una lección del ensayo de fallos; límites; preguntas. Ninguna demostración de ataque a una planta en vivo. La defensa de Lena siguió este orden. Enunció su afirmación sobre el compilador, lo mostró con el modelo sintético de nueve conductos de ABP, presentó los resultados de equivalencia y de vectores y después expuso su reflexión sobre un fallo. Cerró con su diapositiva de limitaciones y una frase sobre lo que respalda la evidencia: reglas equivalentes al diseño en nueve de nueve conductos y tres errores que la revisión manual había pasado por alto. Nada en la exposición tocó un sistema en vivo, y cada cifra de sus diapositivas remitía a un artefacto del expediente.
50.2 Preguntas probables
¿Prueba del fallo cerrado? ¿Elección del denominador? ¿Límite del doble uso? ¿Independencia del SIS? ¿Qué se rompió en el Laboratorio II? Practique respondiendo con referencias a artefactos. Lena ensayó cada pregunta con su supervisora, respondiendo con una referencia a un artefacto en lugar de con una opinión. Para el comportamiento de fallo cerrado, remitió a los resultados del ensayo; para la independencia del SIS, a la comprobación de alcanzabilidad que muestra SIS-B inalcanzable desde todas las zonas enrutadas. Para el Laboratorio II, describió el defecto de desfase de reloj y su corrección. La pregunta más difícil, qué ocurre si el diseño es erróneo, fue la que más ensayó.
50.3 Reflexión
Termine con un error de diseño en el monitor o en el compilador de políticas y su corrección: los examinadores confían en los ingenieros que han visto sus propios fallos.
# Lab 1 - tank hold-up after feed pump stop (Ashford Batch Plant, synthetic)
import math
V0, VMIN = 12.0, 2.0 # m3 in feed tank T-1
def outflow(t): # m3/h to reactor; t hours after stop of makeup
return 1.8 + 0.4*math.sin(2*math.pi*t/6)
def drawn(t):
return 1.8*t - (0.4*6/(2*math.pi))*(math.cos(2*math.pi*t/6)-1)
lo,hi=0.0,24.0
for _ in range(50):
mid=(lo+hi)/2
lo,hi=(mid,hi) if drawn(mid)<V0-VMIN else (lo,mid)
print(f"time to min level: {lo:.2f} h")
print(f"average-rate estimate: {(V0-VMIN)/1.8:.2f} h")
Salida esperada:
time to min level: 5.53 h
average-rate estimate: 5.56 h
Caso sintético — Ashford Batch Plant. La defensa de Lena empezó con el laboratorio de fallo cerrado y la alcanzabilidad del SIS, no con una diapositiva de logotipos. Cuando le pidieron una puntuación de riesgo, se negó y mostró la alcanzabilidad del SIS, los hallazgos críticos abiertos y los denominadores de la cobertura.
La reflexión de Lena fue el bloqueo silencioso durante la nueva ejecución de la congelación: su cargador de vectores había reintentado indefinidamente cuando el cortafuegos de banco le limitó la tasa, de modo que una ejecución fallida parecía una lenta.
50.4 Errores y límites
La defensa no es una presentación comercial para un proveedor de escáneres. La defensa de Lena no mencionó nombres de productos ni recomendó herramientas. Cuando un examinador le preguntó qué escáner comercial compraría, explicó que su trabajo producía reglas y evidencia para cualquier cortafuegos y que la elección del producto correspondía al proceso de compras de ABP. Sus diapositivas mostraban resultados y limitaciones, no logotipos, de modo que los examinadores juzgaron su trabajo por su evidencia y no por el marketing de ningún proveedor. Mantuvo esa línea en todo momento.
Nota práctica
Veinte minutos significan ensayar con un cronómetro. Recortar la diapositiva de límites para que quepa otra demostración en el banco es el recorte equivocado: los examinadores necesitan su honestidad más que un cuarto clic de demostración.
50.1b Paquete para los examinadores y seguimiento posterior
El paquete de los examinadores reúne la frase de la afirmación, el resumen del Laboratorio II del compilador, la medida del ensayo de fallos y el párrafo de ética, y se envía con un día de antelación. Después de la defensa, programe una revisión de mantenimiento a los noventa días: equipo responsable, versiones fijadas, tickets correctivos. Archive la presentación junto al expediente, con hashes coincidentes. Mantenga una lista de pendientes para las ideas de los examinadores y procésela en una semana. Agradezca a los operadores de ABP que ejecutaron los ensayos sintéticos; una defensa sin sus registros es una narración. El compilador y el monitor siguen en servicio en ABP cuando termina la titulación, así que la defensa también inicia el trabajo de mantenerlos.
Lena envió su paquete con un día de antelación.
Nota de campo: revisión a los noventa días
Noventa días después de la defensa se revisaron el equipo responsable, las versiones fijadas y los tickets correctivos. Una acción correctiva se había reabierto; se volvió a registrar con un SLO más estricto. La custodia empieza cuando terminan los aplausos.
50.5 Ejemplo resuelto: responder la pregunta más difícil de la defensa (ABP sintética)
Un examinador pregunta: «Su compilador demuestra que la alcanzabilidad es igual al diseño. ¿Y si el diseño es erróneo?». La respuesta preparada de Lena: el compilador verifica la implementación frente a la intención, no la intención frente a las amenazas; el propio diseño procedía de la evaluación orientada a las consecuencias y se revisó de forma independiente (capítulo 45); y la nueva prueba de validación (capítulo 38) encontró una deriva real que el compilador habría evitado. Cierra nombrando la limitación —un modelo de zonas defectuoso se compilaría fielmente— y el plan a noventa días para comparar la salida del compilador con el diseño independiente de un segundo equipo.
Ejercicios — capítulo 50
- EX148 — Esquema. Esquema de la exposición en seis puntos. Rúbrica: 3 = afirmación, demostración, verificación, fallo, límites, preguntas; 2 = parcial; 1 = presentación comercial; 0 = nada.
- EX149 — Respuesta. De 3 a 4 frases para responder «¿cuál es su puntuación de riesgo?». Rúbrica: 3 = rechaza la puntuación vacía + alternativas; 2 = parcial; 1 = inventa una puntuación; 0 = nada.
- EX150 — Error. Un error real (de la historia sintética) y su corrección. Rúbrica: 3 = específico; 2 = vago; 1 = intento mínimo; 0 = nada.
Síntesis del capítulo
Defienda la ingeniería, las medidas y los rechazos.
Siga estudiando — capítulo 50 de 50
← Capítulo 49 (borrador) · Índice de capítulos del curso · Resultados resueltos ↓ · Siguiente curso a través del índice de capítulos →