Static priority scheduling of event-triggered real-time embedded systems