Modeling of real-time scheduling for distributed embedded systems