Sheduling analysis real-time systems