Onboard Safety-Critical Firmware and Software Engineer

• Skills

For such purposes the following skills are required:

• High level of knowledge of VHDL hardware description language.
• High level of knowledge of FPGAs and CPLDs, mainly Xilinx and Altera devices.
• High level of knowledge of C/C++ programming language.
• High level of knowledge of modelling languages and environments as UML and SysML, Matlab/Simulink and SCADE Suite/Display.
• High level of knowledge of DO-254 Model Based Design:
  • Requirements Specification with Simulink Requirements (RMI)
  • Model-Based Design workflow for DO-254
  • VHDL code generation with HDL Coder.
  • VHDL code testing with HDL Verifier
  • Other Mathworks tools: Fixed Point Designer, Simulink Design Verifier, Simulink Coverage and Simulink Test
  • Knowledge on Matlab language and Matlab scripting shall be valued positively.
• High level of knowledge and demonstrated previous experience in Hardware Certification Processes applying the RTCA DO-254 up to DAL A/B.
• High level of knowledge on HW Verification Techniques considering:
  • ModelSim simulations definition and execution (Register-transfer level and Post-layout).
  • Xilinx ISim simulations definition and execution
  • Knowledge on Xilinx Integrated Logic Analyzer IP (ILA).
  • Veristand and Labview frameworks knowledge shall be valued positively
• High level of knowledge on Firmware Structural Coverage Analysis Techniques for DAL A/B Firmware.
• High level of knowledge on Static Timing Analysis and optimization techniques.
• High level of knowledge on Design Constraints and optimization techniques.
• Knowledge on Code Static Analysis techniques including such based on abstract interpretation.
• Knowledge in Software Certification Processes (RTCA DO-178B/C up to DAL A/B).
• Knowledge on SW Verification Techniques considering Software Hardware/Software Integration and Software Integration Testing, and Formal Review of Software Requirements, Software Architectures and Design, Source Code and Test Cases Definitions and Results.
• Knowledge on Software Structural Coverage Analysis Techniques for DAL A/B.
• Knowledge on Worst-Case Execution Time Analysis techniques
• Knowledge and demonstrated previous experience in continuous integration environments:
  • GIT
  • Bitbucket

• Additional valuable skills
  • Demonstrated previous experience in Software Certification Processes applying the RTCA DO-178B/C up to DAL A/B.
  • High knowledge of Real Time Operating Systems.
  • High knowledge of Partitioning Architectures and ARINC653 Standard.
  • High knowledge of Python and scripting.
  • Demonstrated previous experience in AGILE frameworks.
  • It shall be valuated positively HW/SW Codesign for SoC.

The duties and responsibilities of the Onboard Safety-Critical Senior Firmware and Software Engineer for the Department of Air Refueling & Cargo Loading Software will be the following:

• To be responsible for the Firmware Requirements Specification for the Onboard Safety Critical Computing Platforms developed inside the AR Domain.
• To be responsible for the Software Requirements Specification for the Onboard Safety Critical Computing Platforms developed inside the AR Domain.
• To be responsible for the Hardware/Firmware/Software Integration Testing for the Onboard Safety Critical Computers developed inside the AR Domain.
• To be responsible for the development of the Firmware DO-254 DAL A/B for the Onboard Computers developed under the responsibility of the Air Refueling domain, and to be involved in its verification (testing, reviews and analysis).
• To share the responsibility of the Hardware Certification Process of such Firmware in front of the Certification Authorities in order to demonstrate the compliance with the RTCA DO-254 DAL A/B Objectives.
• To be involved in the development of the Software DO-178B/C DAL A/B for the Onboard Computers developed under the responsibility of the Air Refueling domain, and to be involved in its verification (testing, reviews and analysis).
• To share the responsibility of the Software Certification Process of such Software in front of the Certification Authorities in order to demonstrate the compliance with the RTCA DO-178B/C DAL A/B Objectives.

Permanent

-------

Professional