Her wages during that time are VA source income. I know of no exception for Federal Civil Service.
References: http://money.cnn.com/2013/06/28/pf/taxes/business-traveler-tax-threat/
https://www.jmu.edu/financeoffice/instructions/763_Instr.pdf (page 4)
