Feasibility analysis of sporadic real-time multiprocessor task systems