18. The testbed of claim 12 , wherein the resource modeler is configured to estimate effects on the avionics software of conditions of the other software modules.
12. The testbed of claim 1 , wherein the testbed simulates a flight control computer of an aircraft.