Schedulability analysis for real-time mobile systems (S)