15. The testbed of claim 12 , wherein the resource modeler mimics a lower level operating system and scheduler functions that manage the avionics software when deployed on the hardware.
12. The testbed of claim 1 , wherein the testbed simulates a flight control computer of an aircraft.