All airside but 40 minutes doesn't give you much time, particularly if you have to switch terminals (for which there is a train). Taxi time at DFW can be insanely long so even if you land on time don't think for one minute you will actually arrive on time.