Avionics

Our track record includes significant contributions to high-integrity systems for major aircraft programs. We have extensive experience in verifying Cabin Control Systems for Airbus civil aircraft and have played a key role in the software verification for defence projects such as M-MMS, LCU, and LMC for the Airbus A400M. Furthermore, our expertise extends to mission-critical equipment like Vincorion’s Electrical Rescue Hoist (ERH) and the Oxygen System Controller Module (OSCM) for the Airbus A350. By combining deep domain knowledge with rigorous process discipline, we help you navigate the path to certification - ensuring your flight-critical systems are fundamentally safe and reliable.

We design and execute testing projects for safety- and mission-critical avionics embedded real-time systems, including black-box test benches with real I/O, timing realism, fault injection, and robustness testing. We manage full test campaigns from design to analysis across unit, integration, and HIL levels using RT-Tester tools, supporting DO-178 compliance, certification, and tool qualification. We also integrate with existing customer test environments where this is needed or requested.

We develop custom GUI-based environment simulations for early avionics development when real systems are unavailable or costly. These simulations can use real I/O interfaces, combine multiple subsystems in one control interface, and emulate complex environments like aircraft cabins. They enable early robustness testing and can serve as reference implementations for protocol and supplier software development.

We provide embedded system analysis tools for DO-178C avionics verification, including code instrumentation for per-test coverage tracking, Test-on-Target grey-box testing with internal state access, and WCET analysis using RTT-EXTA. We also support lifecycle reviews (requirements, code, verification) and integrate with existing customer toolchains or required COTS analysis tools.