Feasibility analysis in the sporadic DAG task model