Ingeniero de Software y Firmware de Seguridad Crítica a Bordo

• Habilidades

Para tales fines se requieren las siguientes habilidades:

• Alto nivel de conocimiento del lenguaje de descripción de hardware VHDL.
• Alto nivel de conocimiento de FPGAs y CPLDs, principalmente dispositivos Xilinx y Altera.
• Alto nivel de conocimiento del lenguaje de programación C/C++.
• Alto nivel de conocimiento de lenguajes y entornos de modelado como UML y SysML, Matlab/Simulink y SCADE Suite/Display.
• Alto nivel de conocimiento de "DO-254 Model Based Design":
  • Especificación de requisitos con Simulink Requirements (RMI)
  • Flujo de trabajo de "Model-Based Design" para DO-254
  • Generación de código VHDL con HDL Coder.
  • Pruebas de código VHDL con HDL Verifier
  • Otras herramientas de Mathworks: Fixed Point Designer, Simulink Design Verifier, Simulink Coverage y Simulink Test
  • Se valorará positivamente el conocimiento del lenguaje Matlab y el scripting en Matlab.
• Alto nivel de conocimiento y experiencia previa demostrada en Procesos de Certificación de Hardware aplicando la norma RTCA DO-254 hasta DAL A/B.
• Alto nivel de conocimiento en Técnicas de Verificación de HW considerando:
  • Definición y ejecución de simulaciones ModelSim (nivel de transferencia de registros y post-layout).
  • Definición y ejecución de simulaciones Xilinx ISim
  • Conocimiento de Xilinx Integrated Logic Analyzer IP (ILA).
  • Se valorará positivamente el conocimiento de los frameworks Veristand y Labview
• Alto nivel de conocimiento en Técnicas de Análisis de Cobertura Estructural de Firmware para Firmware DAL A/B.
• Alto nivel de conocimiento en Análisis de Tiempos Estáticos y técnicas de optimización.
• Alto nivel de conocimiento en Restricciones de Diseño y técnicas de optimización.
• Conocimientos en técnicas de Análisis Estático de Código, incluyendo aquellas basadas en interpretación abstracta.
• Conocimiento en Procesos de Certificación de Software (RTCA DO-178B/C hasta DAL A/B).
• Conocimientos en Técnicas de Verificación de SW considerando la Integración Software Hardware/Software y Pruebas de Integración de Software, así como la Revisión Formal de Requisitos de Software, Arquitecturas y Diseño de Software, Código Fuente y Definiciones y Resultados de Casos de Prueba.
• Conocimientos en Técnicas de Análisis de Cobertura Estructural de Software para DAL A/B.
• Conocimientos en técnicas de Análisis del Tiempo de Ejecución en el Peor Caso (Worst-Case Execution Time Analysis)
• Conocimiento y experiencia previa demostrada en entornos de integración continua:
  • GIT
  • Bitbucket

• Cualificaciones adicionales valorables
  • Experiencia previa demostrada en procesos de certificación de software aplicando la RTCA DO-178B/C hasta DAL A/B.
  • Conocimientos avanzados de sistemas operativos en tiempo real.
  • Conocimientos avanzados de arquitecturas de particionado y del estándar ARINC653.
  • Conocimientos avanzados de Python y scripting.
  • Experiencia previa demostrada en marcos de trabajo AGILE.
  • Se valorará positivamente el códiseño HW/SW para SoC.

Las funciones y responsabilidades del "Onboard Safety-Critical Senior Firmware and Software Engineer" para el departamento de "Air Refueling & Cargo Loading Software" serán las siguientes:

• Ser responsable de la Especificación de Requisitos de Firmware para las plataformas de computación críticas para la seguridad a bordo ("Onboard Safety Critical Computing Platforms") desarrolladas dentro del dominio AR.
• Ser responsable de la Especificación de Requisitos de Software para las plataformas de computación críticas para la seguridad a bordo ("Onboard Safety Critical Computing Platforms") desarrolladas dentro del dominio AR.
• Ser responsable de las Pruebas de Integración de Hardware/Firmware/Software para los ordenadores críticos para la seguridad a bordo ("Onboard Safety Critical Computers") desarrollados dentro del dominio AR.
• Ser responsable del desarrollo del Firmware DO-254 DAL A/B para los ordenadores de a bordo desarrollados bajo la responsabilidad del dominio de "Air Refueling", y participar en su verificación (pruebas, revisiones y análisis).
• Compartir la responsabilidad del Proceso de Certificación de Hardware de dicho Firmware ante las Autoridades de Certificación con el fin de demostrar el cumplimiento de los objetivos RTCA DO-254 DAL A/B.
• Participar en el desarrollo del Software DO-178B/C DAL A/B para los ordenadores de a bordo desarrollados bajo la responsabilidad del dominio de "Air Refueling", y participar en su verificación (pruebas, revisiones y análisis).
• Compartir la responsabilidad del Proceso de Certificación de Software de dicho software ante las Autoridades de Certificación con el fin de demostrar el cumplimiento de los objetivos RTCA DO-178B/C DAL A/B.

Permanente

-------

Profesional