Frostbite
These were the later HC3s (ZD576 was HC2) and the s/ware was just the avionics stuff (a la glass cockpit sort of thing).
BUT your post was important for highlighting the MOD's capability with such software - would their evaluation of code as per FADECS etc be any better than accepting the manufacturers stuff as a turn key system anyway and judging on actual performance (as was the case in effect with the first HC2s)?
Back to this HC2 FADEC s/ware - we of course still have no idea of how much flying was done between the crash and significant changes to that code on other HC2s.