Auditar el aislamiento de un sistema OS para automoción funcional

Recibes una documentación de partición del hipervisor (memoria asignada, slots temporales, canales IPC permitidos) y acceso a una placa de evaluación equivalente. Define 6 propiedades de aislamiento verificables (por ejemplo: una partición no puede escribir fuera de su rango, su jitter no supera X μs bajo presión de la otra, los canales IPC respetan el rate-limit). Diseña pruebas de instrumentación para cada propiedad usando código en la partición no crítica que intente violarlas. Documenta resultados, anota cada hallazgo con su severidad y recomienda mitigaciones. Entrega el plan de pruebas, los resultados ejecutados y un informe de 12 páginas en formato compatible con un anexo al safety case.