Analysis techniques for supporting hard real-time sporadic gang task systems