The design and manufacture of a new commercial aircraft is extremely complicated, expensive, and risky. The development can cost billions of dollars and last up to ten years before the new plane enters service. Increasing electro-mechanical complexity and density makes aircraft design especially challenging and resource intensive. Electronics govern a majority of the critical systems in next generation planes, like