Embedded Software Engineer Consultant

5/2023 – 11/2023

Project: spacecraft carrying cargo to Earth orbit.

• UML architectural and detailed design, MISRA-compliant embedded C development of software that collects data from different sensors and sends commands to actuators. Employed socat library.
• Unit and integration in a Docker environment. System tests on a Zynq UltraScale+ XCZU9EG MPSoC hardware platform. Employed Petalinux for Linux filesystem customisation and Github Actions for static analysis and cross-compilation.

Project: control system with Triple Modular Redundancy (TMR)

• Object-oriented design and C coding of a framework for simulating flight control laws. Employed the Linux inter-process-comms APIs.
• Unit and integration tests executed in a Docker environment.

C (Programmiersprache), Agile Methodologie, Docker, Git, Linux Entwicklung, Linux (Kernel)

5/2022 – 12/2022

Project: embedded software for military airplane

• ADA development for the DO-178-compliant DAL-A software controlling the flaps of the wings. Design and XML development of black/grey box test cases. Performed requirement reviews, regression tests execution on simulation and HW target. Employed the Modified Condition/Decision (MC/DC) coverage criteria.
• Manual inspection of intermediate object code, M68K and MIPS assembler to spot potential safety hazards.

Project: GNSS synchronisation & bistatic passive radar

• Design and VHDL coding of the system searching for the strongest Doppler frequency among a given set of visible satellites.
• Object-oriented design, embedded C development of Board Support Package (BSP) and Linux device drivers.
• Design and C coding of tests for the Xilinx Zynq-7010 SoC.

C (Programmiersprache), Ada, Assemblersprache, Linux Entwicklung, Linux (Kernel)

5/2020 – 10/2021

Project: FPGA image acquisition system

• ECSS-Q-ST-60-02C compliant UML architectural and detailed design, VHDL development of an FPGA firmware for controlling a set of cameras for image acquisition. Integrated ECSS-E-ST-50-52C RMAP, SpaceWire, AMBA 3 AHB-Lite IP Cores.
• Design and VHDL development of unit tests, integration tests and system tests for Microsemi proASIC3e and RTAX-S/SL platforms.

Project: COTS on-board computer for satellites

• UML architectural and detailed design, VHDL and C development of FPGA firmware and software for the platform controlling the entire satellite. Working with the CCSDS 133.0-B-2 protocol.
• Design and VHDL development of unit tests, integration tests and system tests for Zynq UltraScale+ XCZU9EG MPSoC and Microsemi PolarFire FPGA.

C (Programmiersprache), FPGA, UML, Firmware, Git