8. The program product of claim 7 , wherein the resources modeler further comprises a recorder.
7. The program product of claim 5 , wherein the resources modeler comprises a resources unit configured to at least facilitate estimating the effects on the avionics software of an allocation of one or more resources of a computer device.