Static task scheduling of real-time embedded systems