Ingeniería de HARA, ASIL & Safety Case Engineering

2.1 Alcance y definición de funciones de seguridad
2.2 Identificación de conceptos ASIL y criterios de clasificación
2.3 Decomposición de sistemas en subsistemas y funciones
2.4 Análisis de dependencias e interfaces entre componentes
2.5 Introducción a GSN y sus patrones de argumento
2.6 Estructuras de Safety Case: claims, goals y strategies
2.7 Trazabilidad de requisitos de seguridad a elementos de diseño
2.8 Recolección de evidencias y su validación
2.9 Taller práctico: construcción de un fragmento de Safety Case
2.10 Revisión, verificación y aceptación por partes interesadas

3.1 Fundamentos de ASIL: clasificación de peligros y asignación de niveles
3.2 Estructura de la decomposición de seguridad: desde funciones hasta requisitos
3.3 GSN: conceptos clave de la argumentación y nodos de soporte
3.4 Enlace entre argumentos y evidencias: claims, proof, contexts
3.5 Trazabilidad y gestión de requisitos de seguridad
3.6 Patrones de descomposición para sistemas complejos
3.7 Integración de normas y estándares (IEC 63508, ISO 26262)
3.8 Diseño de Safety Case: organización de capítulos y evidencias
3.9 Verificación de argumentos: revisión de la coherencia y robustez
3.10 Case clinic: go/no-go con matriz de riesgos

2.1 Fundamentos de Modelado de Rotores: teoría aerodinámica, dinámica de rotor y herramientas de simulación (BEM, dinámica de pala, modelos simplificados)
2.2 Modelado de Rendimiento Aerodinámico: coeficientes lift/drag, distribución de carga en palas, pérdidas por borde y tip y efectos de la velocidad de avance
2.3 Simulación y Verificación: entornos de simulación (MATLAB/Simulink, co-simulación con CFD), calibración y validación frente a datos experimentales
2.4 Configuraciones de Rotor y Control: rotor único, coaxial, tilting, multirotor; impacto en rendimiento, estabilidad y estrategias de control
2.5 Modelado de Fallos y Seguridad: FMEA/FMECA, HARA, identificación de modos de fallo y clasificación ASIL para subsistemas de propulsión y control
2.6 Safety Case y GSN para Modelos de Rotor: decomposición, argumentos y evidencias; construcción de un Safety Case utilizando GSN
2.7 Verificación, Validación y Calidad de Modelos: métricas de rendimiento, comparación con datos experimentales, incertidumbre y sensibilidad
2.8 MBSE/PLM, Trazabilidad y Gestión de Cambios de Modelos: gobernanza de modelos, control de versiones, trazabilidad de decisiones y cambios
2.9 IP, Certificaciones y Time-to-Market: propiedad intelectual de modelos, estrategias de patentes y planificación de certificaciones
2.10 Caso Práctico: go/no-go con matriz de riesgo para un diseño de rotor y su simulación de rendimiento

5.1 Introducción al Análisis ASIL y su importancia en sistemas complejos.
5.2 Decomposición de requerimientos y su relación con los niveles ASIL.
5.3 Metodologías para la asignación de ASIL a elementos del sistema.
5.4 Introducción a la Argumentación GSN (Goal Structuring Notation) y su aplicación.
5.5 Estructura y componentes de una Argumentación GSN para la seguridad.
5.6 Integración de la Decomposición ASIL y la Argumentación GSN en el proceso de ingeniería.
5.7 Ejemplos prácticos y casos de estudio en ingeniería naval.
5.8 Herramientas y software para el análisis ASIL y la argumentación GSN.
5.9 Buenas prácticas y desafíos en la implementación.
5.10 Revisión y mantenimiento de los análisis ASIL y las argumentaciones GSN.

6.1 Introducción al Análisis ASIL (Automotive Safety Integrity Level)
6.2 Decomposición de Requisitos de Seguridad
6.3 Metodología GSN (Goal Structuring Notation) para Argumentación de Seguridad
6.4 Creación de Diagramas GSN: Estructura de Argumentos
6.5 Enlace entre ASIL y GSN: Verificación y Validación
6.6 Ejemplos Prácticos: Aplicación en Casos Reales
6.7 Identificación de Peligros y Evaluación de Riesgos
6.8 Safety Case: Introducción y Componentes
6.9 Documentación de Seguridad y Control de Versiones
6.10 Caso de Estudio: Implementación de ASIL y GSN

7.1 Fundamentos de la Decomposición ASIL: Principios y aplicación en sistemas complejos.
7.2 Identificación y Clasificación de Peligros: Determinación de niveles ASIL.
7.3 Metodologías de Decomposición ASIL: Técnicas para la asignación de requerimientos.
7.4 Argumentación GSN (Goal Structuring Notation): Estructura y elaboración de argumentos de seguridad.
7.5 Integración ASIL y GSN: Creación de Safety Cases robustos.
7.6 Ejemplos Prácticos: Aplicación en escenarios de ingeniería naval.
7.7 Revisión y Validación de la Decomposición ASIL y Argumentación GSN.
7.8 Herramientas y Software: Uso para el análisis y documentación ASIL/GSN.
7.9 Desafíos y Soluciones: Abordaje de problemas comunes en la implementación.
7.10 Caso de Estudio: Aplicación completa desde el análisis de peligros hasta la argumentación GSN.

8.1 Introducción al Análisis ASIL: Conceptos clave y niveles de integridad.
8.2 Metodología para la Decomposición de Requisitos.
8.3 Introducción a la Argumentación GSN (Goal Structuring Notation).
8.4 Aplicación de GSN en Ingeniería de Sistemas.
8.5 Relación entre ASIL y GSN: Asegurando la seguridad.
8.6 Estudios de Caso: Análisis ASIL y GSN en sistemas reales.
8.7 Herramientas y Software para el análisis ASIL y GSN.
8.8 Creación de Safety Cases utilizando GSN.
8.9 Validación y Verificación de los Análisis ASIL y GSN.
8.10 Desafíos y Mejores Prácticas en la aplicación de ASIL y GSN.

9. 1 Introducción al Análisis ASIL (Automotive Safety Integrity Level)
9. 2 Metodología para la Descomposición de Requisitos en Sistemas
9. 3 Principios de la Argumentación GSN (Goal Structuring Notation)
9. 4 Aplicación de GSN en la Ingeniería de Seguridad
9. 5 Identificación y Clasificación de Peligros
9. 6 Evaluación de Riesgos y Asignación de ASIL
9. 7 Desarrollo de Safety Goals y Requisitos de Seguridad
9. 8 Integración ASIL y GSN en el Proceso de Diseño

10.1 Fundamentos del modelado de rotores: Teoría del elemento de pala (BEMT), modelos de vorticidad.
10.2 Simulación numérica de rotores: CFD, métodos de malla, análisis transitorio.
10.3 Análisis del rendimiento del rotor: Empuje, potencia, eficiencia, análisis del ángulo de ataque.
10.4 Modelado del comportamiento aerodinámico: Efectos de suelo, flujo reverso, efectos de punta de pala.
10.5 Diseño de rotores: Selección de perfiles aerodinámicos, optimización de la geometría.
10.6 Análisis de vibraciones y ruido: Fuentes de ruido, análisis modal, mitigación.
10.7 Simulación de escenarios de vuelo: Despegue, crucero, aterrizaje, maniobras.
10.8 Software de simulación: Herramientas de simulación CFD y BEMT.
10.9 Validación y verificación: Comparación con datos experimentales, validación de modelos.
10.10 Aplicaciones avanzadas: Control de vuelo, modelado de fallos, simulación de sistemas.