Voskhod JSC
ADC SW/HW Verification
Air Data Computer.
Development of:
  • System level requirements;
  • Software high level requirements;
  • Software low level requirements

Verification of:

  • ADC Software (in accordance with DO-178C, DAL A);
  • ADC Hardware including FPGA verification (in accordance with DO-254, DAL A).

Technology highlights:
C, Python, VHDL/Verilog, FPGA verification, requirements development, Testwell CTC++

Size and duration:
9 engineers, 1,5 years.

Success statement:
System and software requirements were developed. Software testing environment was successfully developed and delivered to the customer. Software and hardware were verified in accordance with DO-178C and DO-254 and SOI #1-3 were successfully passed.