Efficient Feasibility Analysis of DAG Scheduling with Real-Time Constraints in the Presence of Faults